| 2014 | A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2014 | A Decidable Recursive Logic for Weighted Transition Systems. Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
| 2014 | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2014 | A Logical Descriptor for Regular Languages via Stone Duality. Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio |
| 2014 | Context-Free Sequences. Didier Caucal, Marion Le Gonidec |
| 2014 | Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. Hernán Ponce de León, Stefan Haar, Delphine Longuet |
| 2014 | Event Analytics. Jin Song Dong, Jun Sun, Yang Liu, Yuan-Fang Li |
| 2014 | Expressiveness via Intensionality and Concurrency. Thomas Given-Wilson |
| 2014 | Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. Benoît Valiron, Steve Zdancewic |
| 2014 | From Universal Logic to Computer Science, and Back. Razvan Diaconescu |
| 2014 | Heterogeneous Timed Machines. Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes |
| 2014 | Learning Cover Context-Free Grammars from Structural Data. Mircea Marin, Gabriel Istrate |
| 2014 | Linguistic Mechanisms for Context-Aware Security. Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
| 2014 | Modular Reasoning for Message-Passing Programs. Jinjiang Lei, Zongyan Qiu |
| 2014 | On Clock-Aware LTL Properties of Timed Automata. Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná |
| 2014 | On Unary Fragments of MTL and TPTL over Timed Words. Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | Optimally Streaming Greedy Regular Expression Parsing. Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen |
| 2014 | Partial Models and Weak Equivalence. Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
| 2014 | Precise Interprocedural Side-Effect Analysis. Manuel Geffken, Hannes Saffrich, Peter Thiemann |
| 2014 | Probabilistic Recursion Theory and Implicit Computational Complexity. Ugo Dal Lago, Sara Zuppiroli |
| 2014 | Reasoning Algebraically About Refinement on TSO Architectures. Brijesh Dongol, John Derrick, Graeme Smith |
| 2014 | Refinement of Structured Interactive Systems. Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2014 | Structural Refinement for the Modal nu-Calculus. Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
| 2014 | Symbolic Analysis Tools for CSP. Liyi Li, Elsa L. Gunter, William Mansky |
| 2014 | Synchronous Parallel Composition in a Process Calculus for Ecological Models. Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis |
| 2014 | The Arithmetic of Recursively Run-Length Compressed Natural Numbers. Paul Tarau |
| 2014 | Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings Gabriel Ciobanu, Dominique Méry |
| 2014 | UTP Designs for Binary Multirelations. Pedro Ribeiro, Ana Cavalcanti |