Travelled to:1 × Canada
1 × France
1 × Poland
2 × Japan
Collaborated with:B.Accattoli Andrea Condoluci J.Boender L.Padovani S.Zacchiroli O.Al-Hassani Q.Mahesar V.Sorge A.Asperti W.Ricciotti E.Tassi G.Guerrieri
Talks about:kuratowski (1) complement (1) implement (1) algorithm (1) interact (1) document (1) approach (1) abstract (1) theorem (1) problem (1)
Person: Claudio Sacerdoti Coen
DBLP: Coen:Claudio_Sacerdoti
Contributed to:
2015
2014
2012
2011
2004
2019Wrote 7 papers:
- LICS-2015-AccattoliC #on the
- On the Relative Usefulness of Fireballs (BA, CSC), pp. 141–155.
- TACAS-2014-BoenderC #algorithm #branch #correctness #on the
- On the Correctness of a Branch Displacement Algorithm (JB, CSC), pp. 605–619.
- RTA-2012-Al-HassaniMCS #problem #term rewriting
- A Term Rewriting System for Kuratowski’s Closure-Complement Problem (OAH, QaM, CSC, VS), pp. 38–52.
- CADE-2011-AspertiRCT #interactive #proving #theorem proving
- The Matita Interactive Theorem Prover (AA, WR, CSC, ET), pp. 64–69.
- GPCE-2004-PadovaniCZ #approach #documentation #generative #implementation
- A Generative Approach to the Implementation of Language Bindings for the Document Object Model (LP, CSC, SZ), pp. 469–487.
- PPDP-2019-AccattoliCGC #automaton
- Crumbling Abstract Machines (BA, AC, GG, CSC), p. 15.
- PPDP-2019-CondoluciAC #linear #similarity
- Sharing Equality is Linear (AC, BA, CSC), p. 14.