Electronic Proceedings in Theoretical Computer Science
115John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 16th International Refinement Workshop. 2013 [ contents ]- 114Ruben Gamboa, Jared Davis (Eds.): Proceedings International Workshop on the ACL2 Theorem Prover and its Applications. 2013 [ contents ]
- 113Delia Kesner, Petrucio Viana (Eds.): Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications. 2012 [ contents ]
- 112Fabio Mogavero, Aniello Murano, Moshe Y. Vardi (Eds.): Proceedings 1st International Workshop on Strategic Reasoning. 2013 [ contents ]
- 111Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings Eighth Workshop on Model-Based Testing. 2013 [ contents ]
- 110Rachid Echahed, Detlef Plump (Eds.): Proceedings 7th International Workshop on Computing with Terms and Graphs. 2013 [ contents ]
- 109Simon Gay, Paul Kelly (Eds.): Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. 2012 [ contents ]
- 108Barbora Buhnova, Lucia Happe, Jan Kofron (Eds.): Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures. 2013 [ contents ]
- 107Mohamed Faouzi Atig, Ahmed Rezine (Eds.): Proceedings 14th International Workshop on Verification of Infinite-State Systems. 2012 [ contents ]
- 106Marco T. Morazán, Peter Achten (Eds.): Proceedings First International Workshop on Trends in Functional Programming in Education. 2012 [ contents ]
- 105Peter Csaba Ölveczky, Cyrille Artho (Eds.): Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems. 2012 [ contents ]
- 104Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. 2012 [ contents ]
- 103Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. 2012 [ contents ]
- 102Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (Eds.): Proceedings Seventh Conference on Systems Software Verification. 2012 [ contents ]
- 101Sandra Alves, Ian Mackie (Eds.): Proceedings 2nd International Workshop on Linearity. 2012 [ contents ]
- 100Gabriel Ciobanu (Ed.): Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi. 2012 [ contents ]
- 99Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.): Proceedings First Workshop on GRAPH Inspection and Traversal Engineering. 2012 [ contents ]
- 98Josep Silva, Francesco Tiezzi (Eds.): Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 2012 [ contents ]
- 97Herman Geuvers, Ugo de'Liguoro (Eds.): Proceedings Fourth Workshop on Classical Logic and Computation. 2012 [ contents ]
- 96Marco Faella, Aniello Murano (Eds.): Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. 2012 [ contents ]
- 95Bart Jacobs, Peter Selinger, Bas Spitters (Eds.): Proceedings 8th International Workshop on Quantum Physics and Logic. 2011 [ contents ]
- 94Gordon J. Pace, Anders P. Ravn (Eds.): Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software. 2012 [ contents ]
- 93Ulrike Golas, Thomas Soboll (Eds.): Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory. 2012 [ contents ]
- 92Ezio Bartocci, Luca Bortolussi (Eds.): Proceedings First International Workshop on Hybrid Systems and Biology. 2012 [ contents ]
- 91Natallia Kokash, António Ravara (Eds.): Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation. 2012 [ contents ]
- 90Enrico Formenti (Ed.): Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires. 2012 [ contents ]
- 89Bas Luttik, Michel A. Reniers (Eds.): Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics. 2012 [ contents ]
- 88Elham Kashefi, Jean Krivine, Femke van Raamsdonk (Eds.): Proceedings 7th International Workshop on Developments of Computational Methods. 2011 [ contents ]
- 87Sebastian S. Bauer, Jean-Baptiste Raclet (Eds.): Proceedings Fourth Workshop on Foundations of Interface Technologies. 2012 [ contents ]
- 86César Andrés, Luis Llana (Eds.): Proceedings 2nd Workshop on Formal Methods in the Development of Software. 2012 [ contents ]
- 85Herbert Wiklicky, Mieke Massink (Eds.): Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. 2012 [ contents ]
- 84
- 83Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Third Workshop on Formal Aspects of Virtual Organisations. 2011 [ contents ]
- 82Santiago Escobar (Ed.): Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming. 2011 [ contents ]
- 81Simona Ronchi Della Rocca, Elaine Pimentel (Eds.): Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications. 2011 [ contents ]
- 80Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings 7th Workshop on Model-Based Testing. 2012 [ contents ]
- 79Pedro Quaresma, Ralph-Johan Back (Eds.): Proceedings First Workshop on CTP Components for Educational Software. 2011 [ contents ]
- 78Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings Second International Workshop on Interactions, Games and Protocols. 2012 [ contents ]
- 77Dale Miller, Zoltán Ésik (Eds.): Proceedings 8th Workshop on Fixed Points in Computer Science. 2012 [ contents ]
- 76James Chapman, Paul Blain Levy (Eds.): Proceedings Fourth Workshop on Mathematically Structured Functional Programming. 2012 [ contents ]
- 75Jean-Yves Marion (Ed.): Proceedings Second Workshop on Developments in Implicit Computational Complexity. 2011 [ contents ]
- 74Pieter Van Gorp, Steffen Mazanek, Louis M. Rose (Eds.): Proceedings Fifth Transformation Tool Contest. 2011 [ contents ]
- 73
- 72Jiri Barnat, Keijo Heljanko (Eds.): Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. 2011 [ contents ]
- 71Herman Geuvers, Gopalan Nadathur (Eds.): Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2011 [ contents ]
- 70David Hardin, Julien Schmaltz (Eds.): Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications. 2011 [ contents ]
- 69Kohei Honda, Alan Mycroft (Eds.): Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software. 2010 [ contents ]
- 68Ernesto Pimentel, Valentin Valero (Eds.): Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software. 2011 [ contents ]
- 67Ion Petre, Erik P. de Vink (Eds.): Proceedings Third International Workshop on Computational Models for Cell Processes. 2011 [ contents ]
- 66Olivier Danvy, Chung-chieh Shan (Eds.): Proceedings IFIP Working Conference on Domain-Specific Languages. 2011 [ contents ]
- 65Conrad Drescher, Inês Lynce, Ralf Treinen (Eds.): Proceedings Second Workshop on Logics for Component Configuration. 2011 [ contents ]
- 64Bas Luttik, Frank Valencia (Eds.): Proceedings 18th International Workshop on Expressiveness in Concurrency. 2011 [ contents ]
- 63Petr Ambroz, Stepan Holub, Zuzana Masáková (Eds.): Proceedings 8th International Conference Words 2011. 2011 [ contents ]
- 62Michel A. Reniers, Pawel Sobocinski (Eds.): Proceedings Eight Workshop on Structural Operational Semantics 2011. 2011 [ contents ]
- 61Laura Kovács, Rosario Pugliese, Francesco Tiezzi (Eds.): Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems. 2011 [ contents ]
- 60Luca Aceto, Mohammad Reza Mousavi (Eds.): Proceedings First International Workshop on Process Algebra and Coordination. 2011 [ contents ]
- 59Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (Eds.): Proceedings Fourth Interaction and Concurrency Experience. 2011 [ contents ]
- 58Mohammad Reza Mousavi, António Ravara (Eds.): Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. 2011 [ contents ]
- 57Mieke Massink, Gethin Norman (Eds.): Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. 2011 [ contents ]
- 56Francisco Durán, Vlad Rusu (Eds.): Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering. 2011 [ contents ]
- 55John Derrick, Eerke A. Boiten, Steve Reeves (Eds.): Proceedings 15th International Refinement Workshop. 2011 [ contents ]
- 54Giovanna D'Agostino, Salvatore La Torre (Eds.): Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification. 2011 [ contents ]
- 53Tom Hirschowitz (Ed.): Proceedings Types for Proofs and Programs, Revised Selected Papers. 2009 [ contents ]
- 52Farid M. Ablayev, Bob Coecke, Alexander Vasiliev (Eds.): Proceedings CSR 2010 Workshop on High Productivity Computations. 2010 [ contents ]
- 51Konstantinos Chatzikokolakis, Véronique Cortier (Eds.): Proceedings 8th International Workshop on Security Issues in Concurrency. 2010 [ contents ]
- 50Johannes Reich, Bernd Finkbeiner (Eds.): Proceedings International Workshop on Interactions, Games and Protocols. 2011 [ contents ]
- 49Eduardo Bonelli (Ed.): Proceedings 5th International Workshop on Higher-Order Rewriting. 2010 [ contents ]
- 48Rachid Echahed (Ed.): Proceedings 6th International Workshop on Computing with Terms and Graphs. 2011 [ contents ]
- 47Steffen van Bakel, Stefano Berardi, Ulrich Berger (Eds.): Proceedings Third International Workshop on Classical Logic and Computation. 2010 [ contents ]
- 46Axel Legay, Benoît Caillaud (Eds.): Proceedings Foundations for Interface Technologies. 2010 [ contents ]
- 45Elaine Pimentel, Betti Venneri, Joe Wells (Eds.): Proceedings Fifth Workshop on Intersection Types and Related Systems. 2010 [ contents ]
- 44Hélène Kirchner, César A. Muñoz (Eds.): Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming. 2010 [ contents ]
- 43Ana Bove, Ekaterina Komendantskaya, Milad Niqui (Eds.): Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers. 2010 [ contents ]
- 42
- 41Sibylle B. Fröschle, Frank D. Valencia (Eds.): Proceedings 17th International Workshop on Expressiveness in Concurrency. 2010 [ contents ]
- 40Gabriel Ciobanu, Maciej Koutny (Eds.): Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010. 2010 [ contents ]
- 39Yu-Fang Chen, Ahmed Rezine (Eds.): Proceedings 12th International Workshop on Verification of Infinite-State Systems. 2010 [ contents ]
- 38Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (Eds.): Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction. 2010 [ contents ]
- 37Javier Cámara, Carlos Canal, Gwen Salaün (Eds.): Proceedings International Workshop on Component and Service Interoperability. 2010 [ contents ]
- 36Peter Csaba Ölveczky (Ed.): Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems. 2010 [ contents ]
- 35Gwen Salaün, Xiang Fu, Sylvain Hallé (Eds.): Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software. 2010 [ contents ]
- 34Karl Crary, Marino Miculan (Eds.): Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. 2010 [ contents ]
- 33Paolo Milazzo, Mario de J. Pérez-Jiménez (Eds.): Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. 2010 [ contents ]
- 32Luca Aceto, Pawel Sobocinski (Eds.): Proceedings Seventh Workshop on Structural Operational Semantics. 2010 [ contents ]
- 31Ian McQuillan, Giovanni Pighizzini (Eds.): Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems. 2010 [ contents ]
- 30Mohammad Reza Mousavi, Gwen Salaün (Eds.): Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. 2010 [ contents ]
- 29Inês Lynce, Ralf Treinen (Eds.): Proceedings First International Workshop on Logics for Component Configuration. 2010 [ contents ]
- 28Alessandra Di Pierro, Gethin Norman (Eds.): Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages. 2010 [ contents ]
- 27Tom Van Cutsem, Mark S. Miller (Eds.): Proceedings First International Workshop on Decentralized Coordination of Distributed Processes. 2010 [ contents ]
- 26S. Barry Cooper, Prakash Panangaden, Elham Kashefi (Eds.): Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics. 2010 [ contents ]
- 25Angelo Montanari, Margherita Napoli, Mimmo Parente (Eds.): Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. 2010 [ contents ]
- 24Xizhong Zheng, Ning Zhong (Eds.): Proceedings Seventh International Conference on Computability and Complexity in Analysis. 2010 [ contents ]
- 23Patrick Baillot (Ed.): Proceedings International Workshop on Developments in Implicit Computational complExity. 2010 [ contents ]
- 22Mário Florido, Ian Mackie (Eds.): Proceedings First International Workshop on Linearity. 2009 [ contents ]
- 21Ian Mackie, Anamaria Martins Moreira (Eds.): Proceedings Tenth International Workshop on Rule-Based Programming. 2009 [ contents ]
- 20Manuela L. Bujorianu, Michael Fisher (Eds.): Proceedings FM-09 Workshop on Formal Methods for Aerospace. 2009 [ contents ]
- 19Emanuela Merelli, Paola Quaglia (Eds.): Proceedings Third Workshop From Biology To Concurrency and back. 2010 [ contents ]
- 18Bartek Klin, Pawel Sobocinski (Eds.): Proceedings Sixth Workshop on Structural Operational Semantics. 2009 [ contents ]
- 17Alastair R. Beresford, Simon J. Gay (Eds.): Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. 2009 [ contents ]
- 16Jeremy Bryans, John S. Fitzgerald (Eds.): Proceedings Second Workshop on Formal Aspects of Virtual Organisations. 2009 [ contents ]
- 15Maribel Fernández (Ed.): Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming. 2009 [ contents ]
- 14Lubos Brim, Jaco van de Pol (Eds.): Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation. 2009 [ contents ]
- 13Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. 2009 [ contents ]
- 12Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (Eds.): Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions. 2009 [ contents ]
- 11Gabriel Ciobanu (Ed.): Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009. 2009 [ contents ]
- 10Axel Legay (Ed.): Proceedings International Workshop on Verification of Infinite-State Systems. 2009 [ contents ]
- 9S. Barry Cooper, Vincent Danos (Eds.): Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature. 2009 [ contents ]
- 8Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. 2009 [ contents ]
- 7Michele Boreale, Steve Kremer (Eds.): Proceedings 7th International Workshop on Security Issues in Concurrency. 2009 [ contents ]
- 6Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Proceedings Second International Workshop on Computational Models for Cell Processes. 2009 [ contents ]
- 5Yves Deville, Christine Solnon (Eds.): Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction. 2009 [ contents ]
- 4Evangelos Markakis, Ioannis Milis (Eds.): Proceedings Fourth Athens Colloquium on Algorithms and Complexity. 2009 [ contents ]
- 3Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe (Eds.): Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems. 2009 [ contents ]
- 2Maurice H. ter Beek (Ed.): Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009. 2009 [ contents ]
- 1Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy (Eds.): Proceedings International Workshop on The Complexity of Simple Programs, Cork, Ireland, 6-7th December 2008. 2009 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team