11th International Colloquium on Theoretical Aspects of Computing
17-19 September 2014, Bucharest, Romania

Accepted Papers


1. Gabriel Istrate and Mircea Marin. Learning cover context-free grammars from structural data
2. Liyi Li, Elsa Gunter and William Mansky. Symbolic analysis tools for CSP
3. Bingtian Xue, Radu Mardare and Kim Guldstrand Larsen. A decidable recursive logic for weighted transition systems
4. Adilson Bonifacio and Arnaldo Moura. Partial models and weak equivalence
5. Benoit Delahaye, José Luiz Fiadeiro, Axel Legay and Antónia Lopes. Heterogeneous timed machines
6. Stefano Aguzzoli, Denisa Diaconescu and Tommaso Flaminio. A logical descriptor for regular languages via Stone duality
7. Pedro Ribeiro and Ana Cavalcanti. UTP Designs for binary multirelations
8. Jinjiang Lei and Zongyan Qiu. Modular reasoning for message-passing programs
9. Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno Aguirre and Tom S.E. Maibaum. A heterogeneous characterisation of component-based system design in a categorical setting
10. Peter Bezděk, Nikola Beneš, Vojtěch Havel, Jiří Barnat and Ivana Cerná. On Clock-aware LTL properties of timed automata
11. Denisa Diaconescu, Luigia Petre, Kaisa Sere and Gheorghe Stefanescu. Refinement of structured interactive systems
12. Ugo Dal Lago and Sara Zuppiroli. Probabilistic recursion theory and implicit computational complexity
13. Manuel Geffken, Hannes Saffrich and Peter Thiemann. Precise interprocedural side-effect analysis
14. Brijesh Dongol, John Derrick and Graeme Smith. Reasoning algebraically about refinement on TSO architectures
15. Thomas Given-Wilson. Expressiveness via intensionality and concurrency
16. Marion Le Gonidec and Didier Caucal. Context-free sequences
17. Khushraj Madnani, Krishna S and Paritosh Pandya. On unary fragments of MTL and TPTL
18. Hernan Ponce-De-Leon, Stefan Haar and Delphine Longuet. Distributed testing of concurrent systems: vector clocks to the rescue
19. Niels Bjørn Bugge Grathwohl, Fritz Henglein and Ulrik Terp Rasmussen. Optimally streaming greedy regular expression parsing
20. Mauricio Toro-Bermudez, Anna Philippou, Christina Kassara and Spyros Sfendourakis. Synchronous parallel composition in a process calculus for ecological models
21. Uli Fahrenberg, Axel Legay and Louis-Marie Traonouez. Structural refinement for the modal nu-calculus
22. Paul Tarau. The arithmetic of recursively run-length compressed natural numbers
23. Benoît Valiron and Steve Zdancewic. Finite vector spaces as model of simply-typed lambda-calculi
24. Chiara Bodei, Pierpaolo Degano, Letterio Galletta and Francesco Salvatori. Linguistic mechanisms for context-aware security
25. Luis Pino, Filippo Bonchi and Frank Valencia. A behavioral congruence for concurrent constraint programming with non-deterministic choice