Academic Journals Database
Disseminating quality controlled scientific knowledge

Electronic Proceedings in Theoretical Computer Science

ISSN: 2075--2180
Publisher: Open Publishing Association


ADD TO MY LIST
 
Lex-Partitioning: A New Option for BDD Search

Author(s): Stefan Edelkamp | Peter Kissmann | Álvaro Torralba
Volume: 99
Issue: Proc. GRAPHITE 2012
Year: 2012
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

Author(s): Elise Cormie-Bowins
Volume: 99
Issue: Proc. GRAPHITE 2012
Year: 2012
Graph Subsumption in Abstract State Space Exploration

Author(s): Eduardo Zambon | Arend Rensink
Volume: 99
Issue: Proc. GRAPHITE 2012
Year: 2012
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Author(s): Gijs Kant | Jaco van de Pol
Volume: 99
Issue: Proc. GRAPHITE 2012
Year: 2012
A structural analysis of the A5/1 state transition graph

Author(s): Andreas Beckmann | Jaroslaw Fedorowicz | Jörg Keller | Ulrich Meyer
Volume: 99
Issue: Proc. GRAPHITE 2012
Year: 2012
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

Author(s): Leonidas Lampropoulos | Konstantinos Sagonas
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Using the DOM Tree for Content Extraction

Author(s): Sergio López | Josep Silva | David Insa
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Adding Sessions to BPEL

Author(s): Jonathan Michaux | Elie Najm | Alessandro Fantechi
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming

Author(s): James Smith
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Model Validation in Ontology Based Transformations

Author(s): Jesús M. Almendros-Jiménez | Luis Iribarne
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Analyzing Consistency of Behavioral REST Web Service Interfaces

Author(s): Irum Rauf | Ali Hanzala Khan | Ivan Porres
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic

Author(s): Federico Aschieri | Margherita Zorzi
Volume: 97
Issue: Proc. CL
Year: 2012
Extensional Models of Untyped Lambda-mu Calculus

Author(s): Koji Nakazawa | Shin-ya Katsumata
Volume: 97
Issue: Proc. CL
Year: 2012
Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma

Author(s): Thomas Powell
Volume: 97
Issue: Proc. CL
Year: 2012
A call-by-value lambda-calculus with lists and control

Author(s): Robbert Krebbers
Volume: 97
Issue: Proc. CL
Year: 2012
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Author(s): Davide Bresolin | Dario Della Monica | Angelo Montanari | Pietro Sala | Guido Sciavicco
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
A Myhill-Nerode theorem for automata with advice

Author(s): Alex Kruckman | Sasha Rubin | John Sheridan | Ben Zax
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Automata-based Static Analysis of XML Document Adaptation

Author(s): Alessandro Solimando | Giorgio Delzanno | Giovanna Guerrini
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Down the Borel Hierarchy: Solving Muller Games via Safety Games

Author(s): Daniel Neider | Roman Rabinovich | Martin Zimmermann
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Learn with SAT to Minimize Büchi Automata

Author(s): Stephan Barth | Martin Hofmann
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

Author(s): Jakub Michaliszyn | Jan Otop | Piotr Witkowski
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

Author(s): Felix Canavoi | Erich Grädel | Roman Rabinovich
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

Author(s): Julian Gutierrez | Felix Klaedtke | Martin Lange
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

Author(s): Domenico Cantone | Cristiano Longo
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Can Nondeterminism Help Complementation?

Author(s): Yang Cai | Ting Zhang
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Deciding KAT and Hoare Logic with Derivatives

Author(s): Ricardo Almeida | Sabine Broda | Nelma Moreira
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Rapid Recovery for Systems with Scarce Faults

Author(s): Chung-Hao Huang | Doron Peled | Sven Schewe | Farn Wang
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Symbolic Representation of Algorithmic Game Semantics

Author(s): Aleksandar S. Dimovski
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Interface Simulation Distances

Author(s): Pavol Černý | Martin Chmelík | Thomas A. Henzinger | Arjun Radhakrishna
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata

Author(s): Marta Capiluppi | Roberto Segala
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Model-Checking Process Equivalences

Author(s): Martin Lange | Etienne Lozes | Manuel Vargas Guzmán
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Higher-Order Pushdown Systems with Data

Author(s): Paweł Parys
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Playing Pushdown Parity Games in a Hurry

Author(s): Wladimir Fridman | Martin Zimmermann
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones

Author(s): Szczepan Hummel
Volume: 96
Issue: Proc. GandALF 2012
Year: 2012
No-go theorems for functorial localic spectra of noncommutative rings

Author(s): Benno van den Berg | Chris Heunen
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Completely positive classical structures and sequentializable quantum protocols

Author(s): Chris Heunen | Sergio Boixo
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Born rule as structure of spectral bundles (extended abstract)

Author(s): Bertfried Fauser | Guillaume Raynaud | Steven Vickers
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
A Topos Theory Foundation for Quantum Mechanics

Author(s): John V Corbett
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
On the Automation of Encoding Processes in the Quantum IO Monad

Author(s): James Barratt
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Bohrification of local nets

Author(s): Joost Nuiten
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Graphical Classification of Entangled Qutrits

Author(s): Kentaro Honda
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
On Multiplicative Linear Logic, Modality and Quantum Circuits

Author(s): Ugo Dal Lago | Claudia Faggian
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Turing machines based on unsharp quantum logic

Author(s): Yun Shang | Xian Lu | Ruqian Lu
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Symmetry constraints on temporal order in measurement-based quantum computation

Author(s): R. Raussendorf | P. Sarvepalli | T.-C. Wei | P. Haghnegahdar
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Cohomology of Non-Locality and Contextuality

Author(s): Samson Abramsky | Shane Mansfield | Rui Soares Barbosa
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
A Framework for Heterotic Computing

Author(s): Susan Stepney | Viv Kendon | Peter Hines | Angelika Sebald
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Generalizations of Boxworld

Author(s): Peter Janotta
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Trichromatic Open Digraphs for Understanding Qubits

Author(s): Alex Lang | Bob Coecke
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Pictures of complete positivity in arbitrary dimension

Author(s): Bob Coecke | Chris Heunen
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Expectation Monad in Quantum Foundations

Author(s): Bart Jacobs | Jorik Mandemaker
Volume: 95
Issue: Proc. QPL 2011
Year: 2012

Tango Jona
Tangokurs Rapperswil-Jona

    
RPA Switzerland

RPA Switzerland

Robotic process automation