electronic proceedings in theoretical computer science

416 views

Indexed In

doaj

Publications

5

Details

Abbreviated Name: electronic proceedings in theoretical computer science
ISSN: —

Publications/Year

Top Clicked Bibliographies from Search

2

From Orchestration to Choreography through Contract Automata

2014 365 clicks

1

Parallel Monitors for Self-adaptive Sessions

2016 270 clicks

5

Quantum Field Theory in Categorical Quantum Mechanics

2019 254 clicks

3

Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems

2012 239 clicks

4

Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions

2019 221 clicks