Results and Analysis of SyGuS-Comp'15

JOURNAL ARTICLE published 2 February 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Rajeev Alur | Dana Fisman | Rishabh Singh | Armando Solar-Lezama

JOURNAL ISSUE published 11 February 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Rachid Echahed

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

JOURNAL ARTICLE published 3 December 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Nils Weidmann | Anthony Anjorin | James Cheney

JOURNAL ISSUE published 17 February 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Eduardo Bonelli

Universality of One-Dimensional Reversible and Number-Conserving Cellular Automata

JOURNAL ARTICLE published 13 August 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: Kenichi Morita

JOURNAL ISSUE published 16 March 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Tom Hirschowitz

Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems

JOURNAL ARTICLE published 10 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Laura Kovacs | Rosario Pugliese | Francesco Tiezzi

On the reaction time of some synchronous systems

JOURNAL ARTICLE published 31 July 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Ilias Garnier | Christophe Aussaguès | Vincent David | Guy Vidal-Naquet

Negative Translations of Orthomodular Lattices and Their Logic

JOURNAL ARTICLE published 18 September 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Wesley Fussner | Gavin St. John

Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems

JOURNAL ARTICLE published 22 January 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Sebastian S. Bauer | Rolf Hennicker | Stephan Janisch

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

JOURNAL ARTICLE published 6 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Marco Bernardo | Rocco De Nicola | Michele Loreti

Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

JOURNAL ARTICLE published 11 November 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Laurent Fribourg | Bertrand Revol | Romain Soulat

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

JOURNAL ARTICLE published 11 November 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Christian Krause | Holger Giese

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

JOURNAL ARTICLE published 30 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Martin Gebser | Roland Kaminski | Torsten Schaub

The Magic Number Problem for Subregular Language Families

JOURNAL ARTICLE published 7 August 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Markus Holzer | Sebastian Jakobi | Martin Kutrib

Categorification of Negative Information using Enrichment

JOURNAL ARTICLE published 7 August 2023 in Electronic Proceedings in Theoretical Computer Science

Authors: Andrea Censi | Emilio Frazzoli | Jonathan Lorand | Gioele Zardini

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

JOURNAL ARTICLE published 8 September 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: L. Brim | J. Fabriková | S. Dražan | D. Šafránek

Detecting Temporal Correlation via Quantum Random Number Generation

JOURNAL ARTICLE published 3 April 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Yutaka Shikano | Kentaro Tamura | Rudy Raymond

JOURNAL ISSUE published 18 October 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Kohei Honda | Alan Mycroft

JOURNAL ISSUE published 22 January 2011 in Electronic Proceedings in Theoretical Computer Science

Editors: Axel Legay | Benoît Caillaud