Enrico Tassi

发表

Natural Deduction Environment for Matita

Claudio Sacerdoti Coen, Enrico Tassi, 2009, Calculemus/MKM.

A Modular Formalisation of Finite Group Theory

Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2007, TPHOLs.

Asynchronous processing of formal documents in Coq: Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers

Enrico Tassi, 2014 .

An Interactive Driver for Goal-directed Proof Strategies

Andrea Asperti, Enrico Tassi, A. Asperti, 2008, UITP@TPHOLs.

A Content Based Mathematical Search Engine: Whelp

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2004, TYPES.

ELPI: Fast, Embeddable, λProlog Interpreter

Claudio Sacerdoti Coen, Enrico Tassi, Ferruccio Guidi, 2015, LPAR.

User Interaction with the Matita Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2007, Journal of Automated Reasoning.

Technical Design Report for the Phase-I Upgrade of the ATLAS TDAQ System

Matthew Shaun Twomey, Sahal Yacoob, Christian Gumpert, 2013 .

A Small Scale Reflection Extension for the Coq system

Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2008 .

Regular Expressions, au point pdf

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2010, ArXiv.

Smart matching pdf

Andrea Asperti, Enrico Tassi, 2010, AISC'10/MKM'10/Calculemus'10.

Coq 8.4 Reference Manual

Benjamin Grégoire, Enrico Tassi, Yann Régis-Gianas, 2014 .

ELPI: Fast, Embeddable, \lambda Prolog Interpreter

Claudio Sacerdoti Coen, Enrico Tassi, Ferruccio Guidi, 2015, LPAR.

A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)

Enrico Tassi, Assia Mahboubi, Thomas Sibut-Pinote, 2014, ITP.

A Machine-Checked Proof of the Odd Order Theorem

Jeremy Avigad, Andrea Asperti, Enrico Tassi, 2013, ITP.

A new type for tactics

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2009 .

Hints in Unification

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2009, TPHOLs.

A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita

Claudio Sacerdoti Coen, Enrico Tassi, E. Tassi, 2008, J. Formaliz. Reason..

A Language of Patterns for Subterm Selection

Enrico Tassi, Georges Gonthier, 2012, ITP.

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2011, Journal of Automated Reasoning.

Elpi: an extension language for Coq (Metaprogramming Coq in the Elpi λProlog dialect)

Enrico Tassi, 2018 .

Coqoon

Enrico Tassi, Jesper Bengtson, Carst Tankink, 2016, International Journal on Software Tools for Technology Transfer.

Recent Results from the ZEUS Experiment

Enrico Tassi, 2009 .

Canonical Structures for the Working Coq User

Enrico Tassi, Assia Mahboubi, 2013, ITP.

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Burkhart Wolff, Enrico Tassi, Yann Régis-Gianas, 2013, MKM/Calculemus/DML.

Implementing type theory in higher order constraint logic programming

Claudio Sacerdoti Coen, Enrico Tassi, Ferruccio Guidi, 2019, Mathematical Structures in Computer Science.

Performance of the upgraded PreProcessor of the ATLAS Level-1 Calorimeter Trigger

Vincent W. S. Wong, Sahal Yacoob, Marcia Begalli, 2020 .

Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface

Enrico Tassi, Bruno Barras, Carst Tankink, 2015, ITP.

A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2012, Log. Methods Comput. Sci..

Formalising Overlap Algebras in Matita†

Claudio Sacerdoti Coen, Enrico Tassi, C. Coen, 2011, Mathematical Structures in Computer Science.

Coqoon - An IDE for interactive proof development in Coq

Enrico Tassi, Jesper Bengtson, Carst Tankink, 2018, Int. J. Softw. Tools Technol. Transf..

Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case

Andrea Asperti, Enrico Tassi, E. Tassi, 2007, Calculemus/MKM.

High Performance Scientific Computing Using Distributed Infrastructures

Roberto Bellotti, Enrico Tassi, Giuliano Laccetti, 2017 .

Implementing HOL in an Higher Order Logic Programming Language

Claudio Sacerdoti Coen, Enrico Tassi, Tsvetan Dunchev, 2016, LFMTP.

New Results - A book on mathematical components

Enrico Tassi, Assia Mahboubi, Georges Gonthier, 2016 .

Latest results on top production from the CMS and ATLAS collaborations: inclusive and differential measurements

Enrico Tassi, 2015 .

Event Indexing Systems for Efficient Selection and Analysis of HERA Data

Enrico Tassi, Tobias Haas, Stefan Stonjek, 2001, ArXiv.

Superposition as a logical glue

Andrea Asperti, Enrico Tassi, E. Tassi, 2011, TYPES.

Working with Mathematical Structures in Type Theory

Claudio Sacerdoti Coen, Enrico Tassi, 2007, TYPES.

The Matita Interactive Theorem Prover

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2011, CADE.

Interactive theorem provers: issues faced as a user and tackled as a developer

Enrico Tassi, E. Tassi, Enrico Tassi, 2008 .

Tinycals: Step by Step Tacticals

Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli, 2007, UITP@FLoC.

Nonuniform Coercions via Unification Hints

Claudio Sacerdoti Coen, Enrico Tassi, 2009, TYPES.

Crafting a Proof Assistant

Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, 2006, TYPES.

Combined HERA-I inclusive DIS cross sections

Enrico Tassi, 2009 .

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021

Elaine Pimentel, Enrico Tassi, 2021, LFMTP.

Searches for Higgs boson pair production in the hh →bbττ, γγWW∗, γγbb, bbbb channels with the ATLAS detector

Sahal Yacoob, J. Jentzsch, Christian Gumpert, 2015 .

Combination of searches for heavy resonances decaying into bosonic and leptonic final states using 36 fb − 1 of proton proton collision data at s = 13 TeV with the ATLAS detector

Sahal Yacoob, Marcia Begalli, Christian Gumpert, 2019 .

UvA-DARE (Digital Centrality and rapidity dependence of inclusive jet production in √sNN = 5.02 TeV proton-lead collisions with the ATLAS detector

Sahal Yacoob, Christian Gumpert, Elmar Ritsch, 2015 .

Search for high-mass dilepton resonances using 139 fb−1 of pp collision data collected at √s = 13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019, 1903.06248.

Combined search for the Standard Model Higgs boson using up to 4.9 fb[superscript −1] of pp collision data at √s = 7 TeV with the ATLAS detector at the LHC

T. Koi, David Miller, Farid Ould-Saada, 2012 .

Evidence for single top-quark production in the s-channel in proton–proton collisions at s=8 TeV with the ATLAS detector using the Matrix Element Method

Sahal Yacoob, Christian Gumpert, Elmar Ritsch, 2015, 1511.05980.

Search for pair-produced third-generation squarks decaying via charm quarks or in compressed supersymmetric scenarios in pp collisions at √s = 8 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2014 .

Search for new phenomena in final states with large jet multiplicities and missing transverse momentum with ATLAS using √s=13 TeV proton-proton collisions

Sahal Yacoob, J. Jentzsch, Christian Gumpert, 2016 .

Search for new particles in events with one lepton and missing transverse momentum in pp collisions at s\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsid

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2014, Journal of High Energy Physics.

Measurement of the production cross section for Z/γ* in association with jets in pp collisions at s√=7 TeV with the ATLAS detector

Pavel Strachota, Yasuyuki Okumura, Farid Ould-Saada, 2012 .

Search for the electroweak production of supersymmetric particles in √ s = 8 TeV pp collisions with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2016 .

Search for the standard model Higgs boson produced in association with top quarks and decaying into a bb¯ pair in pp collisions at √s=13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2018 .

Search for new phenomena with the monojet and missing transverse momentum signature using the ATLAS detector in s=7TeV proton–proton collisions

Pavel Strachota, Yasuyuki Okumura, Paolo Valente, 2011 .

Measurement of hard double-parton interactions in W(→lν) + 2-jet events at √s=7 TeV with the ATLAS detector

Bruce Yabsley, Pavel Strachota, Sahal Yacoob, 2013 .

Measurement of the inclusive W± and Z/γ∗ cross sections in the e and μ decay channels in pp collisions at √s=7TeV with the ATLAS detector

Pavel Strachota, Yasuyuki Okumura, Farid Ould-Saada, 2012 .

Measurement with the ATLAS detector of multi-particle azimuthal correlations in p plus Pb collisions at root s(NN)=5.02 TeV

Sahal Yacoob, R. Van Berg, Elmar Ritsch, 2013 .

Study of jet shapes in inclusive jet production in p p collisions at s = 7 _ _ TeV using the ATLAS detector

Pavel Strachota, Farid Ould-Saada, Michael Henke, 2011 .

Measurement of the azimuthal anisotropy for charged particle production in √ sNN = 2.76 TeV lead-lead collisions with the ATLAS detector

Pavel Strachota, Ian Watson, John Taylor Childers, 2012 .

A search for new physics in dijet mass and angular distributions in ppcollisions at √s=7 TeV measured with the ATLAS detector

Pavel Strachota, Yasuyuki Okumura, Farid Ould-Saada, 2011 .

Measurements of W±Z production cross sections in pp collisions at s =8 TeV with the ATLAS detector and limits on anomalous gauge boson self-couplings

Sahal Yacoob, Christian Gumpert, Elmar Ritsch, 2016 .

Search for dark matter produced in association with a Higgs boson decaying to two bottom quarks in pp collisions at √s = 8 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2016 .

Search for squarks and gluinos using final states with jets and missing transverse momentum with the ATLAS detector in $\sqrt{s}=7$ TeV proton-proton collisions

Bruce Yabsley, B. Koblitz, David Miller, 2011 .

Observation of Higgs boson production in association with a top quark pair at the LHC with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2018, Physics Letters B.

Searches for electroweak production of supersymmetric particles with compressed mass spectra in √s = 13 TeV pp collisions with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2020 .

Search for direct stau production in events with two hadronic τ-leptons in s =13 TeV pp collisions with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2020 .

Search for squarks and gluinos in final states with hadronically decaying τ -leptons, jets, and missing transverse momentum using pp collisions at s =13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Measurement of inclusive jet charged-particle fragmentation functions in Pb+Pb collisions at √sNN = 2.76 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2014 .

Measurement of the differential cross-sections of inclusive, prompt and non-prompt J/Ψ production in proton-proton collisions at √s=7 TeV

Pavel Strachota, Yasuyuki Okumura, Paolo Valente, 2011 .

Search for long-lived, massive particles in events with displaced vertices and missing transverse momentum in s=13 TeV pp collisions with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2018 .

Measurement of D *± meson production in jets from pp collisions at √s=7TeV with the ATLAS detector

Pavel Strachota, Yasuyuki Okumura, Paolo Valente, 2012 .

A measurement of material in the ATLAS tracker using secondary hadronic interactions in 7 TeV pp collisions

Sahal Yacoob, Christian Gumpert, Elmar Ritsch, 2016 .

MULTIJET PRODUCTION IN NEUTRAL CURRENT DEEP INELASTIC SCATTERING AT HERA AND DETERMINATION OF αs

Dorian Kcira, Enrico Tassi, Krzysztof Piotrzkowski, 2005 .

Search for dark matter candidates and large extra dimensions in events with a photon and missing transverse momentum in pp collision data at √s=7 TeV with the ATLAS detector

Pavel Strachota, Sahal Yacoob, R. Van Berg, 2013 .

Search for heavy particles decaying into a top-quark pair in the fully hadronic final state in pp collisions at √s = 13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Study of the material of the ATLAS inner detector for Run 2 of the LHC

Sahal Yacoob, Marcia Begalli, Christian Gumpert, 2017 .

Measurement of jet-substructure observables in top quark, W boson and light jet production in proton-proton collisions at √s = 13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Search for scalar leptoquarks in pp collisions at s = 13 TeV with the ATLAS experiment

Bruce Yabsley, Sahal Yacoob, Christian Gumpert, 2016 .

A neural network clustering algorithm for the ATLAS silicon pixel detector

Sahal Yacoob, J. Jentzsch, Christian Gumpert, 2014 .

Search for chargino and neutralino production in final states with a Higgs boson and missing transverse momentum at √s=13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

ATLAS b-jet identification performance and efficiency measurement with tt¯ events in pp collisions at √s = 13 TeV

Sahal Yacoob, Marcia Begalli, Ourania Sidiropoulou, 2019 .

Measurement of the cross-section for b-jets produced in association with a Z boson at √s = 7 TeV with the ATLAS detector

Pavel Strachota, Yasuyuki Okumura, Paolo Valente, 2011 .

Search for long-lived, multi-charged particles in pp collisions at √s = 7 TeV using the ATLAS detector

Pavel Strachota, Sahal Yacoob, R. Van Berg, 2013 .

Measurements of gluon–gluon fusion and vector-boson fusion Higgs boson production cross-sections in the H → WW⁎ → eνμν decay channel in pp collisions at √s=13TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Measurements of Higgs boson properties in the diphoton decay channel with 36 fb−1 of pp collision data at s=13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2018, Physical Review D.

Search for heavy charged long-lived particles in the ATLAS detector in 36.1 fb−1 of proton-proton collision data at s=13 TeV

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Search for new phenomena in dijet events using 37 fb-1 of pp collision data collected at s =13 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2017 .

Fluctuations of anisotropic flow in Pb+Pb collisions at $ \sqrt{{\mathrm{s}}_{\mathrm{NN}}} $ = 5.02 TeV with the ATLAS detector

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Search for quark contact interactions in dijet angular distributions in pp collisions at √s = 7 TeV measured with the ATLAS detector

Pavel Strachota, R. Van Berg, Yasuyuki Okumura, 2010 .

Search for bottom-squark pair production with the ATLAS detector in final states containing Higgs bosons, b-jets and missing transverse momentum

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019, Journal of High Energy Physics.

Search for massive, long-lived particles using multitrack displaced vertices or displaced lepton pairs in pp collisions at √s = 8 TeV with the ATLAS detector

Sahal Yacoob, Christian Gumpert, Elmar Ritsch, 2015 .

Search for resonant diboson production in the WW/WZ → ℓνjj decay channels with the ATLAS detector at √s = 7 TeV

Bruce Yabsley, Pavel Strachota, Sahal Yacoob, 2013 .

Electron and photon energy calibration with the ATLAS detector using 2015–2016 LHC proton-proton collision data

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2019 .

Searches for heavy long-lived sleptons and R-hadrons with the ATLAS detector in pp collisions at √s=7 TeV

Bruce Yabsley, Pavel Strachota, Sahal Yacoob, 2013 .

Search for WZ resonances in the fully leptonic channel using pp collisions at s=8 TeV with the ATLAS detector

Sahal Yacoob, J. Jentzsch, Christian Gumpert, 2014 .

Measurement of the Lund Jet Plane Using Charged Particles in 13 TeV Proton-Proton Collisions with the ATLAS Detector.

Bruce Yabsley, Sahal Yacoob, Marcia Begalli, 2020, Physical review letters.