Indexed in Journament

electronic proceedings in theoretical computer science

EN

Certificate of Indexing
Login or register to claim ownership or editorship of this journal.
5
Articles Indexed

About This Journal

Short Name electronic proceedings in theoretical computer science
Abbreviated Name electronic proceedings in theoretical computer science

Indexings

doaj

Tools & Certificate of Indexing

Certificate of Indexing

Publications Per Year

Articles (5)

2014
From Orchestration to Choreography through Contract Automata
Basile, Davide;Degano, Pierpaolo;Ferrari, Gian-Luigi;Tuosto, Emilio;
Vol. 166 , No. Proc. ICE 2014 , pp. 67-85
434 views Abstract
2016
Parallel Monitors for Self-adaptive Sessions
Coppo, Mario;Dezani-Ciancaglini, Mariangiola;Venneri, Betti;
Vol. 211 , No. Proc. PLACES 2016 , pp. 25-36
349 views Abstract
2019
Quantum Field Theory in Categorical Quantum Mechanics
Gogioso, Stefano;Genovese, Fabrizio;
Vol. 287 , No. Proc. QPL 2018 , pp. 163-177
301 views Abstract
2012
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Palamidessi, Catuscia;Stronati, Marco;
Vol. 85 , No. Proc. QAPL 2012 , pp. 92-105
293 views Abstract
2019
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Olson, Craig;Lierler, Yuliya;
Vol. 306 , No. Proc. ICLP 2019 , pp. 87-100
260 views Abstract
2019
Quantum Field Theory in Categorical Quantum Mechanics
Gogioso, Stefano;Genovese, Fabrizio;
Vol. 287 , No. Proc. QPL 2018 , pp. 163-177
301 views Abstract
2019
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions
Olson, Craig;Lierler, Yuliya;
Vol. 306 , No. Proc. ICLP 2019 , pp. 87-100
260 views Abstract
2016
Parallel Monitors for Self-adaptive Sessions
Coppo, Mario;Dezani-Ciancaglini, Mariangiola;Venneri, Betti;
Vol. 211 , No. Proc. PLACES 2016 , pp. 25-36
349 views Abstract
2014
From Orchestration to Choreography through Contract Automata
Basile, Davide;Degano, Pierpaolo;Ferrari, Gian-Luigi;Tuosto, Emilio;
Vol. 166 , No. Proc. ICE 2014 , pp. 67-85
434 views Abstract
2012
Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems
Palamidessi, Catuscia;Stronati, Marco;
Vol. 85 , No. Proc. QAPL 2012 , pp. 92-105
293 views Abstract
0
Overall
Not Rated
0
0
0
0
0
0
0
0
0
0
0
Journament