default search action
11th ICTAC 2014: Bucharest, Romania
- Gabriel Ciobanu, Dominique Méry:
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science 8687, Springer 2014, ISBN 978-3-319-10881-0 - Razvan Diaconescu:
From Universal Logic to Computer Science, and Back. 1-16 - Jin Song Dong, Jun Sun, Yang Liu
, Yuan-Fang Li
Event Analytics. 17-24 - Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio:
A Logical Descriptor for Regular Languages via Stone Duality. 25-42 - Peter Bezdek, Nikola Benes
On Clock-Aware LTL Properties of Timed Automata. 43-60 - Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori:
Linguistic Mechanisms for Context-Aware Security. 61-79 - Adilson Luiz Bonifácio, Arnaldo Vieira Moura:
Partial Models and Weak Equivalence. 80-96 - Ugo Dal Lago, Sara Zuppiroli:
Probabilistic Recursion Theory and Implicit Computational Complexity. 97-114 - Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes:
Heterogeneous Timed Machines. 115-132 - Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement of Structured Interactive Systems. 133-150 - Brijesh Dongol
Reasoning Algebraically About Refinement on TSO Architectures. 151-168 - Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez:
Structural Refinement for the Modal nu-Calculus. 169-187 - Manuel Geffken, Hannes Saffrich, Peter Thiemann:
Precise Interprocedural Side-Effect Analysis. 188-205 - Thomas Given-Wilson
Expressiveness via Intensionality and Concurrency. 206-223 - Niels Bjørn Bugge Grathwohl
Optimally Streaming Greedy Regular Expression Parsing. 224-240 - Mircea Marin, Gabriel Istrate:
Learning Cover Context-Free Grammars from Structural Data. 241-258 - Didier Caucal, Marion Le Gonidec:
Context-Free Sequences. 259-276 - Jinjiang Lei, Zongyan Qiu:
Modular Reasoning for Message-Passing Programs. 277-294 - Liyi Li, Elsa L. Gunter, William Mansky:
Symbolic Analysis Tools for CSP. 295-313 - Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. 314-332 - Khushraj Madnani
On Unary Fragments of MTL and TPTL over Timed Words. 333-350 - Luis Fernando Pino, Filippo Bonchi
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. 351-368 - Hernán Ponce de León, Stefan Haar, Delphine Longuet
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. 369-387 - Pedro Ribeiro
UTP Designs for Binary Multirelations. 388-405 - Paul Tarau:
The Arithmetic of Recursively Run-Length Compressed Natural Numbers. 406-423 - Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis:
Synchronous Parallel Composition in a Process Calculus for Ecological Models. 424-441 - Benoît Valiron
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. 442-459 - Kim Guldstrand Larsen
A Decidable Recursive Logic for Weighted Transition Systems. 460-476
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-18 18:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: