electronic proceedings in theoretical computer science

480 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 394 clicks

1

Parallel Monitors for Self-adaptive Sessions

2016 296 clicks

5

Quantum Field Theory in Categorical Quantum Mechanics

2019 279 clicks

3

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

2012 264 clicks

4

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

2019 250 clicks