Product
Help
Pricing
About
Jobs
Log in
Get started
Publisher
Add to collection
Open Publishing Association
Country:
Australia
OpenAlex ID:
P4310318029
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
2011
·
Thomas T. Hildebrandt
, Raghava Rao Mukkamala
·
Electronic Proceedings in Theoretical Computer Science
·
206
PDF
Proceedings 39th International Conference on Logic Programming
2023
·
Jorge Fandinno
, Zachary Hansen
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
162
PyZX: Large Scale Automated Diagrammatic Reasoning
2020
·
Aleks Kissinger
, John van de Wetering
·
Electronic Proceedings in Theoretical Computer Science
·
158
PDF
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
2012
·
Peter Bulychev
, Alexandre David
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
152
PDF
Towards Large-scale Functional Verification of Universal Quantum Circuits
2019
·
Matthew Amy
·
Electronic Proceedings in Theoretical Computer Science
·
119
PDF
Towards Proving the Adversarial Robustness of Deep Neural Networks
2017
·
Guy Katz
, Clark Barrett
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
115
PDF
Koka: Programming with Row Polymorphic Effect Types
2014
·
Daan Leijen
·
Electronic Proceedings in Theoretical Computer Science
·
111
PDF
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
2013
·
Jan Peleska
·
Electronic Proceedings in Theoretical Computer Science
·
109
PDF
Phase Gadget Synthesis for Shallow Circuits
2020
·
Alexander Cowtan
, Silas Dilkes
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
98
PDF
Quantum Natural Language Processing on Near-Term Quantum Computers
2021
·
Konstantinos Meichanetzidis
, Stefano Gogioso
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
88
PDF
Statistical Model Checking for Stochastic Hybrid Systems
2012
·
Alexandre David
, Dehui Du
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
83
PDF
The Cohomology of Non-Locality and Contextuality
2012
·
Samson Abramsky
, Shane Mansfield
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
79
PDF
PKind: A parallel k-induction based model checker
2011
·
Temesghen Kahsai
, Cesare Tinelli
·
Electronic Proceedings in Theoretical Computer Science
·
78
PDF
Quantum Algorithms for Compositional Natural Language Processing
2016
·
William Zeng
, Bob Coecke
·
Electronic Proceedings in Theoretical Computer Science
·
77
PDF
Model-Based Security Testing
2012
·
Ina Schieferdecker
, Juergen Grossmann
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
75
PDF
IoT Architectural Framework: Connection and Integration Framework for IoT Systems
2018
·
Onoriode Uviase
, Gerald Kotonya
·
Electronic Proceedings in Theoretical Computer Science
·
74
PDF
ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
2019
·
Miriam Backens
, Aleks Kissinger
·
Electronic Proceedings in Theoretical Computer Science
·
73
PDF
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
2018
·
Robert Rand
, Jennifer Paykin
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
73
PDF
Binary Voting with Delegable Proxy: An Analysis of Liquid Democracy
2017
·
Zoé Christoff
, Davide Grossi
·
Electronic Proceedings in Theoretical Computer Science
·
65
PDF
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
2014
·
David R. Cok
·
Electronic Proceedings in Theoretical Computer Science
·
65
PDF
A Survey of Runtime Monitoring Instrumentation Techniques
2017
·
Ian Cassar
, Adrian Francalanza
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
62
PDF
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination
2017
·
Thorsten Engesser
, Thomas Bolander
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
62
PDF
MiniAgda: Integrating Sized and Dependent Types
2010
·
Andreas Abel
·
Electronic Proceedings in Theoretical Computer Science
·
62
PDF
Building-Blocks for Performance Oriented DSLs
2011
·
Tiark Rompf
, Arvind K. Sujeeth
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
61
PDF
A Study of Entanglement in a Categorical Framework of Natural Language
2014
·
Dimitri Kartsaklis
, Mehrnoosh Sadrzadeh
·
Electronic Proceedings in Theoretical Computer Science
·
59
PDF
Show more works
View as search
Works count:
5,653
Citation count:
23,390
Year
Topic
Type
