default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Notes in Theoretical Computer Science (ENTCS)
354Pilar Pozos Parra, José Raymundo Marcial-Romero:
Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2018, Puebla, Mexico, November 15, 2018 & LANMR 2019, Puebla, Mexico, November 15, 2019. Electronic Notes in Theoretical Computer Science 354, Elsevier 2020 [contents]- 353Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas:
Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019. Electronic Notes in Theoretical Computer Science 353, Elsevier 2020 [contents] - 352Patricia Johann:
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020. Electronic Notes in Theoretical Computer Science 352, Elsevier 2020 [contents] - 351Cláudia Nalon, Giselle Reis:
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020 [contents] - 350Ankit Gupta, Tatjana Petrov:
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 [contents] - 349Héctor Cancela, Gabriela Marín, Vladimir Villarreal:
XLV Latin American Computer Conference - Selected Papers, CLEI 2019 Selected Papers, Panama, September 30 - October 4, 2019. Electronic Notes in Theoretical Computer Science 349, Elsevier 2020 [contents] - 348Amy P. Felty, João Marcos:
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Electronic Notes in Theoretical Computer Science 348, Elsevier 2020 [contents] - 347Barbara König:
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Electronic Notes in Theoretical Computer Science 347, Elsevier 2019 [contents] - 346Gabriel Coutinho, Yoshiharu Kohayakawa, Vinícius Fernandes dos Santos, Sebastián Urrutia:
Proceedings of the tenth Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2019, Belo Horizonte, Brazil, June 2-7, 2019. Electronic Notes in Theoretical Computer Science 346, Elsevier 2019 [contents] - 345Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang:
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019. Electronic Notes in Theoretical Computer Science 345, Elsevier 2019 [contents] - 344Beniamino Accattoli, Carlos Olarte:
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018. Electronic Notes in Theoretical Computer Science 344, Elsevier 2019 [contents] - 343Ioannis Chatzigiannakis, Fariba Sadri, Sten Hanke, Markus Garschall, Julia Himmelsbach, Aris S. Lalos, Helen C. Leligou, Georgios Mylonas, Katja Neureiter, Antonio F. Skarmeta:
1st Workshop on Behavioral Change and Ambient Intelligence for Sustainability, BRAINS@AmI 2018, and 2nd Workshop on Affective Interaction with Avatars and Robots, WS-AFFIN@AmI 2018, Larnaca, Cyprus, 2018. Electronic Notes in Theoretical Computer Science 343, Elsevier 2019 [contents] - 342Valéria Farinazzo Martins, Adenilso Simão, Héctor Cancela:
XLIV Latin American Computer Conference - Selected Papers, CLEI 2018 Selected Papers, São Paulo, Brazil, October 1-5, 2018. Electronic Notes in Theoretical Computer Science 342, Elsevier 2019 [contents] - 341Sam Staton:
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018. Electronic Notes in Theoretical Computer Science 341, Elsevier 2018 [contents] - 340Osama Nasser Alrajeh, Nigel Thomas:
Proceedings of the thirty third Annual UK Performance Engineering Workshops, UKPEW 2017, Newcastle upon Tyne, UK, December 2017. Electronic Notes in Theoretical Computer Science 340, Elsevier 2018 [contents] - 339Rodrigo Santos, Héctor Cancela:
XLIII Latin American Computer Conference - Selected Papers, CLEI 2017 Selected Papers, Cordoba, Argentina, September 4-8, 2017. Electronic Notes in Theoretical Computer Science 339, Elsevier 2018 [contents] - 338Sandra Alves, Renata Wasserman:
12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017. Electronic Notes in Theoretical Computer Science 338, Elsevier 2018 [contents] - 337Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter:
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, PASM 2017, Berlin, Germany, September 9, 2017. Electronic Notes in Theoretical Computer Science 337, Elsevier 2018 [contents] - 336Alexandra Silva:
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017. Electronic Notes in Theoretical Computer Science 336, Elsevier 2018 [contents] - 335Guido Sanguinetti, David Safránek:
Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016. Electronic Notes in Theoretical Computer Science 335, Elsevier 2020 [contents] - 334Francesca Scozzari:
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017. Electronic Notes in Theoretical Computer Science 334, Elsevier 2018 [contents] - 333Mao-kang Luo, Achim Jung, Guo-Qiang Zhang:
Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017. Electronic Notes in Theoretical Computer Science 333, Elsevier 2017 [contents] - 332Vivek Nigam, Mário Florido:
11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016. Electronic Notes in Theoretical Computer Science 332, Elsevier 2017 [contents] - 331Isabella Mastroeni:
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016. Electronic Notes in Theoretical Computer Science 331, Elsevier 2017 [contents] - 330Marko C. J. D. van Eekelen, Kerstin Eder:
Resource Aware Computing, RAC@ETAPS 2016, Eindhoven, The Netherlands, April 2, 2016. Electronic Notes in Theoretical Computer Science 330, Elsevier 2016 [contents] - 329Héctor Cancela, Ernesto Cuadros-Vargas, Cristian Rusu:
XLII Latin American Computer Conference - Selected Papers, CLEI 2016 Selected Papers, Valparaiso, Chile, October 10-14, 2016. Electronic Notes in Theoretical Computer Science 329, Elsevier 2016 [contents] - 328José R. Arrazola Ramírez, José Raymundo Marcial-Romero:
Selected Papers of the Tenth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2016, Puebla, Mexico, August 15, 2016. Electronic Notes in Theoretical Computer Science 328, Elsevier 2016 [contents] - 327Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas:
8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016. Electronic Notes in Theoretical Computer Science 327, Elsevier 2016 [contents] - 326Loïc Paulevé, Nathalie Théret:
6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015. Electronic Notes in Theoretical Computer Science 326, Elsevier 2016 [contents] - 325Lars Birkedal:
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016. Electronic Notes in Theoretical Computer Science 325, Elsevier 2016 [contents] - 324Juliana Kaizer Vizzotto:
Third Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, Brazil, October 14-16, 2015. Electronic Notes in Theoretical Computer Science 324, Elsevier 2016 [contents] - 323Mario R. F. Benevides, René Thiemann:
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015. Electronic Notes in Theoretical Computer Science 323, Elsevier 2016 [contents] - 322Pierluigi Crescenzi, Michele Loreti:
Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015. Electronic Notes in Theoretical Computer Science 322, Elsevier 2016 [contents] - 321Héctor Cancela, Alex J. Cuadros-Vargas:
XLI Latin American Computer Conference - Selected Papers, CLEI 2015 Selected Papers, Arequipa, Peru, October 19-23, 2018. Electronic Notes in Theoretical Computer Science 321, Elsevier 2016 [contents] - 320Christophe Gaston, Pascale Le Gall, Alexander K. Petrenko:
1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway, June 23-25, 2015. Electronic Notes in Theoretical Computer Science 320, Elsevier 2016 [contents] - 319Dan R. Ghica:
The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015. Electronic Notes in Theoretical Computer Science 319, Elsevier 2015 [contents] - 318Peter Bull, Lin Guan, Nigel Thomas:
Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, UKPEW 2013, Loughborogh, UK, July 2013 & UKPEW 2014, Newcastle-upon-Tyne, UK, September 2014. Electronic Notes in Theoretical Computer Science 318, Elsevier 2015 [contents] - 317Sergiy Bogomolov, Matthieu Martel:
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015. Electronic Notes in Theoretical Computer Science 317, Elsevier 2015 [contents] - 316Loïc Paulevé, Heinz Koeppl:
5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 316, Elsevier 2015 [contents] - 315Juan Carlos Nieves, José Raymundo Marcial-Romero:
Selected Papers of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, LANMR 2014, Valle de Bravo, Mexico, November 5-7, 2014. Electronic Notes in Theoretical Computer Science 315, Elsevier 2015 [contents] - 314José Aguilar, Héctor Cancela:
XL Latin American Computer Conference - Selected Papers, CLEI 2014 Selected Papers, Montevideo, Uruguay, Septeber 14-18, 2014. Electronic Notes in Theoretical Computer Science 314, Elsevier 2015 [contents] - 313Jérôme Feret, Andre Levchenko:
3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012. Electronic Notes in Theoretical Computer Science 313, Elsevier 2012 [contents] - 312Mauricio Ayala-Rincón, Ian Mackie:
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014. Electronic Notes in Theoretical Computer Science 312, Elsevier 2015 [contents] - 311Bor-Yuh Evan Chang:
Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS 2013, Seattle, Washington, USA, June 19, 2013. Electronic Notes in Theoretical Computer Science 311, Elsevier 2015 [contents] - 310Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas:
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014. Electronic Notes in Theoretical Computer Science 310, Elsevier 2015 [contents] - 309Jinyun Xue, Volker Stolz:
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013. Electronic Notes in Theoretical Computer Science 309, Elsevier 2014 [contents] - 308Bart Jacobs, Alexandra Silva, Sam Staton:
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Electronic Notes in Theoretical Computer Science 308, Elsevier 2014 [contents] - 307Axel Simon, Arnaud Venet:
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 307, Elsevier 2014 [contents] - 306Emanuela Merelli, Ion Petre:
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology, CS2Bio 2014, Berlin, Germany, June 6, 2014. Electronic Notes in Theoretical Computer Science 306, Elsevier 2014 [contents] - 305Maribel Fernández, Marcelo Finger:
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013. Electronic Notes in Theoretical Computer Science 305, Elsevier 2014 [contents] - 304Mark Hills:
Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011. Electronic Notes in Theoretical Computer Science 304, Elsevier 2014 [contents] - 303John Power, Cai Wingfield:
Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013. Electronic Notes in Theoretical Computer Science 303, Elsevier 2014 [contents] - 302José Aguilar, Gabriela Marín:
XXXIX Latin American Computer Conference - Selected Papers, CLEI 2013 Selected Papers, Vargas, Venezuela, October 7-11, 2018. Electronic Notes in Theoretical Computer Science 302, Elsevier 2014 [contents] - 301Ying-ming Liu, Mao-kang Luo, Michael W. Mislove, Guo-Qiang Zhang:
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013. Electronic Notes in Theoretical Computer Science 301, Elsevier 2014 [contents] - 300Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 [contents] - 299Emanuela Merelli, Angelo Troina:
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6, 2013. Electronic Notes in Theoretical Computer Science 299, Elsevier 2013 [contents] - 298Dexter Kozen, Michael W. Mislove:
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013. Electronic Notes in Theoretical Computer Science 298, Elsevier 2013 [contents] - 297Martin Fränzle, Antonios Tsourdos:
Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011. Electronic Notes in Theoretical Computer Science 297, Elsevier 2013 [contents] - 296Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012. Electronic Notes in Theoretical Computer Science 296, Elsevier 2013 [contents] - 295Barbora Buhnova, Lucia Kapová Happe, Jan Kofron:
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012. Electronic Notes in Theoretical Computer Science 295, Elsevier 2013 [contents] - 294Hana Chockler:
Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, VSSE 2013, Rome, Italy, March 16, 2013. Electronic Notes in Theoretical Computer Science 294, Elsevier 2013 [contents] - 293Paola Giannini, Erik P. de Vink:
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, CS2Bio 2012, Stockholm, Sweden, June 16, 2012. Electronic Notes in Theoretical Computer Science 293, Elsevier 2013 [contents] - 292Yezid Donoso, Rodrigo M. Santos:
XXXVIII Latin American Computer Conference - Selected Papers, CLEI 2012 Selected Papers, Medellin, Columbia, October 1-5, 2012. Electronic Notes in Theoretical Computer Science 292, Elsevier 2013 [contents] - 291Markus Siegle:
Second Workshop on Quantitative Models for Performance and Dependability, QMPD 2012, Vilnius, Lithuania, July 8-11, 2012. Electronic Notes in Theoretical Computer Science 291, Elsevier 2013 [contents] - 290Günter Kniesel, Jorge Sousa Pinto:
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008. Electronic Notes in Theoretical Computer Science 290, Elsevier 2012 [contents] - 289Bertrand Jeannet:
Third Workshop on Tools for Automatic Program Analysis, TAPAS 2012, Deauville, France, September 14, 2012. Electronic Notes in Theoretical Computer Science 289, Elsevier 2012 [contents] - 288Damien Massé, Laurent Mauborgne:
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 288, Elsevier 2012 [contents] - 287Jan Midtgaard, Matthew Might:
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012. Electronic Notes in Theoretical Computer Science 287, Elsevier 2012 [contents] - 286Ulrich Berger, Michael W. Mislove:
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012. Electronic Notes in Theoretical Computer Science 286, Elsevier 2012 [contents] - 285David Aspinall, Claudio Sacerdoti Coen:
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. Electronic Notes in Theoretical Computer Science 285, Elsevier 2012 [contents] - 284Jérôme Feret, Andre Levchenko:
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 284, Elsevier 2012 [contents] - 283Lisbeth Fajstrup, Eric Goubault, Martin Raussen:
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010. Electronic Notes in Theoretical Computer Science 283, Elsevier 2012 [contents] - 282Puri Arenas, Víctor M. Gulías:
Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011. Electronic Notes in Theoretical Computer Science 282, Elsevier 2012 [contents] - 281Ernst L. Leiss, Rodrigo M. Santos:
XXXVII Latin American Computer Conference - Selected Papers, CLEI 2011 Selected Papers, Quito, Ecuador, October 10-14, 2011. Electronic Notes in Theoretical Computer Science 281, Elsevier 2011 [contents] - 280Marie-Laure Potet, Helen Treharne:
Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011. Electronic Notes in Theoretical Computer Science 280, Elsevier 2011 [contents] - 279(3)Zoltán Porkoláb, Norbert Pataki:
Proceedings of the Third Workshop on Generative Technologies, WGT@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279(3), Elsevier 2011 [contents] - 279(2)Barbora Buhnova, Jens Happe:
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011. Electronic Notes in Theoretical Computer Science 279(2), Elsevier 2011 [contents] - 279(1)Pierre Ganty, Mark Marron:
Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011. Electronic Notes in Theoretical Computer Science 279(1), Elsevier 2011 [contents] - 278Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego:
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011. Electronic Notes in Theoretical Computer Science 278, Elsevier 2011 [contents] - 277Paola Giannini, Jean Krivine:
The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June 9, 2011. Electronic Notes in Theoretical Computer Science 277, Elsevier 2011 [contents] - 276Michael W. Mislove, Joël Ouaknine:
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011. Electronic Notes in Theoretical Computer Science 276, Elsevier 2011 [contents] - 275Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig:
Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011. Electronic Notes in Theoretical Computer Science 275, Elsevier 2011 [contents] - 274Min Zhang, Volker Stolz:
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010. Electronic Notes in Theoretical Computer Science 274, Elsevier 2011 [contents] - 273Thomas Bolander, Torben Braüner:
International Workshop on Hybrid Logic and Applications 2010, HyLo@LICS 2010, Edinburgh, Scotland, UK, July 10, 2010. Electronic Notes in Theoretical Computer Science 273, Elsevier 2011 [contents] - 272Jérôme Feret, Andre Levchenko:
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 272, Elsevier 2011 [contents] - 271Víctor M. Gulías, Josep Silva Galiana:
Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010. Electronic Notes in Theoretical Computer Science 271, Elsevier 2011 [contents] - 270(2)Bob Coecke, Prakash Panangaden, Peter Selinger:
Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009. Electronic Notes in Theoretical Computer Science 270(2), Elsevier 2011 [contents] - 270(1)Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents] - 269Edward Hermann Haeusler, Luis Fariñas del Cerro:
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010. Electronic Notes in Theoretical Computer Science 269, Elsevier 2011 [contents] - 268Jean Krivine, Angelo Troina:
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010. Electronic Notes in Theoretical Computer Science 268, Elsevier 2010 [contents] - 267(2)David Delmas, Xavier Rival:
Proceedings of the Tools for Automatic Program AnalysiS, TAPAS@SAS 2010, Perpignan, France, September 17, 2010. Electronic Notes in Theoretical Computer Science 267(2), Elsevier 2010 [contents] - 267(1)Antoine Miné, Enric Rodríguez-Carbonell:
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents] - 266Einar Broch Johnsen, Volker Stolz:
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009. Electronic Notes in Theoretical Computer Science 266, Elsevier 2010 [contents] - 265Michael W. Mislove, Peter Selinger:
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010. Electronic Notes in Theoretical Computer Science 265, Elsevier 2010 [contents] - 264(5)Zoltán Porkoláb, Norbert Pataki:
Proceedings of the Second Workshop on Generative Technologies, WGT@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(5), Elsevier 2011 [contents] - 264(4)David Pichardie:
Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(4), Elsevier 2011 [contents] - 264(3)Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010. Electronic Notes in Theoretical Computer Science 264(3), Elsevier 2010 [contents] - 264(2)Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [contents] - 264(1)Jens Happe, Barbora Buhnova:
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(1), Elsevier 2010 [contents] - 263Sun Meng, Bernhard Schätz:
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009. Electronic Notes in Theoretical Computer Science 263, Elsevier 2010 [contents] - 262Thomas Bolander, Torben Braüner:
Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009. Electronic Notes in Theoretical Computer Science 262, Elsevier 2010 [contents] - 261Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder:
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009. Electronic Notes in Theoretical Computer Science 261, Elsevier 2010 [contents] - 260Carlos Canal, Corina S. Pasareanu:
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008. Electronic Notes in Theoretical Computer Science 260, Elsevier 2010 [contents] - 259Eerke A. Boiten, John Derrick, Steve Reeves:
Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009. Electronic Notes in Theoretical Computer Science 259, Elsevier 2009 [contents] - 258(2)Leo Marcus:
Proceedings of the Workshop on Logical Aspects of Fault Tolerance, LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009. Electronic Notes in Theoretical Computer Science 258(2), Elsevier 2009 [contents] - 258(1)Paqui Lucio, Ginés Moreno, Ricardo Peña:
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009. Electronic Notes in Theoretical Computer Science 258(1), Elsevier 2009 [contents] - 257Yixiang Chen, Ernst-Erich Doberkat, Achim Jung:
Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009. Electronic Notes in Theoretical Computer Science 257, Elsevier 2009 [contents] - 256Mauricio Ayala-Rincón, Fairouz Kamareddine:
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2009, Brasília, Brazil, August 28, 2009. Electronic Notes in Theoretical Computer Science 256, Elsevier 2009 [contents] - 255Gwen Salaün, Marjan Sirjani:
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009. Electronic Notes in Theoretical Computer Science 255, Elsevier 2009 [contents] - 254Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009. Electronic Notes in Theoretical Computer Science 254, Elsevier 2008 [contents] - 253(7)Torbjörn Ekman, Jurgen J. Vinju:
Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, LDTA 2009, York, UK, March 27-28, 2009. Electronic Notes in Theoretical Computer Science 253(7), Elsevier 2010 [contents] - 253(6)Irek Ulidowski:
Proceedings of the Workshop on Reversible Computation, RC@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(6), Elsevier 2009 [contents] - 253(5)Elvira Albert, Samir Genaim:
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Electronic Notes in Theoretical Computer Science 253(5), Elsevier 2009 [contents] - 253(4)Andrea Corradini:
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(4), Elsevier 2009 [contents] - 253(3)Christel Baier, Alessandra Di Pierro:
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009. Electronic Notes in Theoretical Computer Science 253(3), Elsevier 2009 [contents] - 253(2)Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of Fifth Workshop on Model Based Testing, MBT@ETAPS 2009, York, UK, March 22, 2009. Electronic Notes in Theoretical Computer Science 253(2), Elsevier 2009 [contents] - 253(1)Jens Happe, Barbora Zimmerová:
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009. Electronic Notes in Theoretical Computer Science 253(1), Elsevier 2009 [contents] - 252Pedro P. B. de Oliveira, Jarkko Kari:
15th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2009, São Paulo, Brazil, October 10-12, 2009. Electronic Notes in Theoretical Computer Science 252, Elsevier 2009 [contents] - 251Milan Ceska, Zdenek Kotásek, Mojmír Kretínský, Ludek Matyska, Tomás Vojnar:
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2008, Znojmo, Czech Republic, November 14-16, 2008. Electronic Notes in Theoretical Computer Science 251, Elsevier 2009 [contents] - 250(2)Alice Miller, Muffy Calder:
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October 1, 2008. Electronic Notes in Theoretical Computer Science 250(2), Elsevier 2009 [contents] - 250(1)Michael Goldsmith, Bill Roscoe:
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007. Electronic Notes in Theoretical Computer Science 250(1), Elsevier 2009 [contents] - 249Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi:
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009. Electronic Notes in Theoretical Computer Science 249, Elsevier 2009 [contents] - 248Jesús Manuel Almendros-Jiménez:
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008. Electronic Notes in Theoretical Computer Science 248, Elsevier 2009 [contents] - 247Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides:
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008. Electronic Notes in Theoretical Computer Science 247, Elsevier 2009 [contents] - 246Moreno Falaschi:
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008. Electronic Notes in Theoretical Computer Science 246, Elsevier 2009 [contents] - 245Sandeep K. Shukla, Jean-Pierre Talpin:
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, FMGALS@DATE 2009, Nice, France, April 24, 2009. Electronic Notes in Theoretical Computer Science 245, Elsevier 2009 [contents] - 244Theodosis Dimitrakos, Fabio Martinelli:
Proceedings of the 4th International Workshop on Security and Trust Management, STM@IFIPTM 2008, Trondheim, Norway, June 16-17, 2008. Electronic Notes in Theoretical Computer Science 244, Elsevier 2009 [contents] - 243Jianhua Zhao, Volker Stolz:
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008. Electronic Notes in Theoretical Computer Science 243, Elsevier 2009 [contents] - 242(3)Steve Kremer, Prakash Panangaden:
Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(3), Elsevier 2009 [contents] - 242(2)Jens Chr. Godskesen, Massimo Merro:
Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(2), Elsevier 2009 [contents] - 242(1)Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents] - 241Vasco T. Vasconcelos, Nobuko Yoshida:
Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@DisCoTec 2008, Oslo, Norway, June 7, 2008. Electronic Notes in Theoretical Computer Science 241, Elsevier 2009 [contents] - 240Patrícia D. L. Machado:
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008. Electronic Notes in Theoretical Computer Science 240, Elsevier 2009 [contents] - 239Peter Habermehl, Tomás Vojnar:
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 239, Elsevier 2009 [contents] - 238(6)Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 238(6), Elsevier 2010 [contents] - 238(5)Adrian Johnstone, Jurgen J. Vinju:
Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008. Electronic Notes in Theoretical Computer Science 238(5), Elsevier 2009 [contents] - 238(4)Michaela Huhn, Hardi Hungar:
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008. Electronic Notes in Theoretical Computer Science 238(4), Elsevier 2009 [contents] - 238(3)Grigore Rosu:
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 [contents] - 238(2)Zoltán Porkoláb, Norbert Pataki:
Proceedings of the First Workshop on Generative Technologies, WGT@ETAPS 2008, Budapest, Hungary, April 5, 2008. Electronic Notes in Theoretical Computer Science 238(2), Elsevier 2009 [contents] - 238(1)Alain Girault, Éric Rutten:
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 238(1), Elsevier 2009 [contents] - 237Aart Middeldorp:
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008. Electronic Notes in Theoretical Computer Science 237, Elsevier 2009 [contents] - 236Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents] - 235Demis Ballis, Santiago Escobar:
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008. Electronic Notes in Theoretical Computer Science 235, Elsevier 2009 [contents] - 234Daniel J. Dougherty, Santiago Escobar:
Proceedings of the Third International Workshop on Security and Rewriting Techniques, SecReT@LICS/CSF 2008, Pittsburgh, PA, USA, June 22, 2008. Electronic Notes in Theoretical Computer Science 234, Elsevier 2009 [contents] - 233Christos Makris, Joost Visser:
Proceedings of the International Workshop on Software Quality and Maintainability, SQM@CSMR 2008, Athens, Greece, April 1, 2008. Electronic Notes in Theoretical Computer Science 233, Elsevier 2009 [contents] - 232Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt:
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008. Electronic Notes in Theoretical Computer Science 232, Elsevier 2009 [contents] - 231Carlos Areces, Stéphane Demri:
Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007. Electronic Notes in Theoretical Computer Science 231, Elsevier 2009 [contents] - 230Éric Goubault:
Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006. Electronic Notes in Theoretical Computer Science 230, Elsevier 2009 [contents] - 229(5)Venanzio Capretta, Conor McBride:
Proceedings of the Second Workshop on Mathematically Structured Functional Programming, MSFP@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(5), Elsevier 2011 [contents] - 229(4)Matthew Hennessy, Bartek Klin:
Proceedings of the Fifth Workshop on Structural Operational Semantics, SOS@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(4), Elsevier 2009 [contents] - 229(3)Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(3), Elsevier 2009 [contents] - 229(2)Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009 [contents] - 229(1)Nicola Cannata, Emanuela Merelli, Irek Ulidowski:
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008. Electronic Notes in Theoretical Computer Science 229(1), Elsevier 2009 [contents] - 228Andreas Abel, Christian Urban:
Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008. Electronic Notes in Theoretical Computer Science 228, Elsevier 2009 [contents] - 227Gabriel Ciobanu:
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008. Electronic Notes in Theoretical Computer Science 227, Elsevier 2009 [contents] - 226Serge Autexier, Christoph Benzmüller:
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008. Electronic Notes in Theoretical Computer Science 226, Elsevier 2009 [contents] - 225Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong:
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2006, Cork, Ireland, August 1-5, 2006. Electronic Notes in Theoretical Computer Science 225, Elsevier 2009 [contents] - 224Guido Rößling, J. Ángel Velázquez-Iturbide:
Proceedings of the Fifth Program Visualization Workshop, PVW 2008, Madrid, Spain, July 3-4, 2008. Electronic Notes in Theoretical Computer Science 224, Elsevier 2009 [contents] - 223Vesa Halava, Igor Potapov:
Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008. Electronic Notes in Theoretical Computer Science 223, Elsevier 2008 [contents] - 222(Withdrawn) Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science 222, Elsevier 2009, pp. 3-99 [contents]
- 221Vasco Brattka, Ruth Dillhage, Tanja Grubba, Angela Klutsch:
Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, CCA 2008, Hagen, Germany, August 21-24, 2008. Electronic Notes in Theoretical Computer Science 221, Elsevier 2008 [contents] - 220(3)Alessandro Aldini, Christel Baier:
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 220(3), Elsevier 2008 [contents] - 220(2)Ivana Cerná, Gerald Lüttgen:
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 220(2), Elsevier 2008 [contents] - 220(1)Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008. Electronic Notes in Theoretical Computer Science 220(1), Elsevier 2008 [contents] - 219Joost Visser, Victor Winter:
Proceedings of the Eighth International Workshop on Rule Based Programming, RULE@RDP 2007, Paris, France, June 29, 2007. Electronic Notes in Theoretical Computer Science 219, Elsevier 2008 [contents] - 218Andrej Bauer, Michael W. Mislove:
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008. Electronic Notes in Theoretical Computer Science 218, Elsevier 2008 [contents] - 217Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008. Electronic Notes in Theoretical Computer Science 217, Elsevier 2008 [contents] - 216Rachid Echahed:
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, WFLP@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 216, Elsevier 2008 [contents] - 215Markus Lumpe, Eric Madelaine:
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007, Sophia-Antipolis, France, September 19-21, 2007. Electronic Notes in Theoretical Computer Science 215, Elsevier 2008 [contents] - 214Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008. Electronic Notes in Theoretical Computer Science 214, Elsevier 2008 [contents] - 213(1)Barbara König, Arend Rensink, Reiko Heckel:
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 213(1), Elsevier 2008 [contents] - 212Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008. Electronic Notes in Theoretical Computer Science 212, Elsevier 2008 [contents] - 211Roberto Bruni, Dániel Varró:
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 211, Elsevier 2008 [contents] - 210Peter Selinger:
Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006. Electronic Notes in Theoretical Computer Science 210, Elsevier 2008 [contents] - 209Catuscia Palamidessi, Frank Valencia:
Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006. Electronic Notes in Theoretical Computer Science 209, Elsevier 2008 [contents] - 208Antonio Cerone, Paul Curzon:
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007. Electronic Notes in Theoretical Computer Science 208, Elsevier 2008 [contents] - 207Geguang Pu, Volker Stolz:
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007. Electronic Notes in Theoretical Computer Science 207, Elsevier 2008 [contents] - 206Ernesto Pimentel:
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007. Electronic Notes in Theoretical Computer Science 206, Elsevier 2008 [contents] - 205Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007. Electronic Notes in Theoretical Computer Science 205, Elsevier 2008 [contents] - 204Jürgen Giesl:
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 204, Elsevier 2008 [contents] - 203(7)Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007. Electronic Notes in Theoretical Computer Science 203(7), Elsevier 2008 [contents] - 203(6)Hartmut Ehrig, Jochen Pfalzgraf, Ulrike Prange:
Proceedings of the Second Workshop on Applied and Computational Category Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 203(6), Elsevier 2008 [contents] - 203(5)Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008 [contents] - 203(4)Joaquín Aguado, Michael Mendler:
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(4), Elsevier 2008 [contents] - 203(3)Dina Q. Goldin, Farhad Arbab:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(3), Elsevier 2008 [contents] - 203(2)Anthony Sloane, Adrian Johnstone:
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 203(2), Elsevier 2008 [contents] - 203(1)Ian Mackie, Detlef Plump:
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(1), Elsevier 2008 [contents] - 202Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong:
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007. Electronic Notes in Theoretical Computer Science 202, Elsevier 2008 [contents] - 201Eerke A. Boiten, John Derrick, Graeme Smith:
Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007. Electronic Notes in Theoretical Computer Science 201, Elsevier 2008 [contents] - 200(3)Demis Ballis, Santiago Escobar, Massimo Marchiori:
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007. Electronic Notes in Theoretical Computer Science 200(3), Elsevier 2008 [contents] - 200(2)Arnd Poetzsch-Heffter, Klaus Schneider:
Proceedings of the First Workshop on Verification of Adaptive Systems, VerAS@TPHOLs 2007, Kaiserslautern, Germany, September 14, 2007. Electronic Notes in Theoretical Computer Science 200(2), Elsevier 2008 [contents] - 200(1)Alain Girault, Robert de Simone:
Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS@MEMOCODE 2007, Nice, France, May 29, 2007. Electronic Notes in Theoretical Computer Science 200(1), Elsevier 2008 [contents] - 199Carsten Schürmann:
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004. Electronic Notes in Theoretical Computer Science 199, Elsevier 2008 [contents] - 198(2)Sava Krstic, Albert Oliveras:
Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007. Electronic Notes in Theoretical Computer Science 198(2), Elsevier 2008 [contents] - 198(1)Ivana Cerná, Boudewijn R. Haverkort:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007. Electronic Notes in Theoretical Computer Science 198(1), Elsevier 2008 [contents] - 197(2)Luca Compagna, Volkmar Lotz, Fabio Massacci:
Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007. Electronic Notes in Theoretical Computer Science 197(2), Elsevier 2008 [contents] - 197(1)Fabio Massacci, Frank Piessens:
Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, REM@ESORICS 2007, Dresden, Germany, September 27, 2007. Electronic Notes in Theoretical Computer Science 197(1), Elsevier 2008 [contents] - 196Brigitte Pientka, Carsten Schürmann:
Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007. Electronic Notes in Theoretical Computer Science 196, Elsevier 2008 [contents] - 195Anamaria Martins Moreira, Leila Ribeiro:
Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006. Electronic Notes in Theoretical Computer Science 195, Elsevier 2008 [contents] - 194(4)Carlos Canal, Pascal Poizat, Mirko Viroli:
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents] - 194(3)Nicola Cannata, Emanuela Merelli:
Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(3), Elsevier 2008 [contents] - 194(2)Roberto M. Amadio, Thomas T. Hildebrandt:
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(2), Elsevier 2008 [contents] - 194(1)Daniele Gorla, Catuscia Palamidessi:
Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(1), Elsevier 2007 [contents] - 193Ganesh Gopalakrishnan:
Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007. Electronic Notes in Theoretical Computer Science 193, Elsevier 2007 [contents] - 192(3)Vincent Danos, Mariangiola Dezani:
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007. Electronic Notes in Theoretical Computer Science 192(3), Elsevier 2008 [contents] - 192(2)Giovanni Di Crescenzo, Refik Molva:
Proceedings of theThird Workshop on Cryptography for Ad-hoc Networks, WCAN@ICALP 2007, Wroclaw, Poland, July 8, 2007. Electronic Notes in Theoretical Computer Science 192(2), Elsevier 2008 [contents] - 192(1)Rob van Glabbeek, Matthew Hennessy:
Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007. Electronic Notes in Theoretical Computer Science 192(1), Elsevier 2007 [contents] - 191Judi Romijn, Graeme Smith, Jaco van de Pol:
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005. Electronic Notes in Theoretical Computer Science 191, Elsevier 2007 [contents] - 190(4)Sabine Glesner, Jens Knoop, Rolf Drechsler:
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 190(4), Elsevier 2007 [contents] - 190(3)Alessandro Aldini, Franck van Breugel:
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007. Electronic Notes in Theoretical Computer Science 190(3), Elsevier 2007 [contents] - 190(2)Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Third Workshop on Model Based Testing, MBT 2007, Braga, Portugal, March 31 - April 1, 2007. Electronic Notes in Theoretical Computer Science 190(2), Elsevier 2007 [contents] - 190(1)Marieke Huisman, Fausto Spoto:
Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 190(1), Elsevier 2007 [contents] - 189Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006. Electronic Notes in Theoretical Computer Science 189, Elsevier 2007 [contents] - 188Paqui Lucio, Fernando Orejas:
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006. Electronic Notes in Theoretical Computer Science 188, Elsevier 2007 [contents] - 187Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves:
Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 187, Elsevier 2007 [contents] - 186Catalin Dima, Marius Minea, Ferucio Laurentiu Tiplea:
Proceedings of the First Workshop in Information and Computer Security, ICS@SYNASC 2006, Timisoara, Romania, September 30, 2006. Electronic Notes in Theoretical Computer Science 186, Elsevier 2007 [contents] - 185Stephan Merz, Tobias Nipkow:
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006. Electronic Notes in Theoretical Computer Science 185, Elsevier 2007 [contents] - 184Augusto Sampaio:
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005. Electronic Notes in Theoretical Computer Science 184, Elsevier 2007 [contents] - 183Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 2007 [contents] - 182Vladimir Mencl, Frank S. de Boer:
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006. Electronic Notes in Theoretical Computer Science 182, Elsevier 2007 [contents] - 181Guido Boella, Mehdi Dastani, Andrea Omicini, Leon van der Torre, Ivana Cerná, Isabelle Linden:
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Bologna, Italy, June 13, 2006. Electronic Notes in Theoretical Computer Science 181, Elsevier 2007 [contents] - 180(3)Vincent Danos, Cosimo Laneve:
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 180(3), Elsevier 2007 [contents] - 180(2)Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 180(2), Elsevier 2007 [contents] - 180(1)Michael Backes, Andre Scedrov:
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 180(1), Elsevier 2007 [contents] - 179Sandro Etalle, Pierangela Samarati:
Proceedings of the Second International Workshop on Security and Trust Management, STM 2006, Hamburg, Germany, September 20-21, 2006. Electronic Notes in Theoretical Computer Science 179, Elsevier 2007 [contents] - 178Guido Rößling:
Proceedings of the Fourth Program Visualization Workshop, PVW 2006, Florence, Italy, June 28-29, 2006. Electronic Notes in Theoretical Computer Science 178, Elsevier 2007 [contents] - 177Francisco Javier López-Fraguas:
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006. Electronic Notes in Theoretical Computer Science 177, Elsevier 2007 [contents] - 176(4)Grit Denker, Carolyn L. Talcott:
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 176(4), Elsevier 2007 [contents] - 176(3)Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006. Electronic Notes in Theoretical Computer Science 176(3), Elsevier 2007 [contents] - 176(2)Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 [contents] - 176(1)Ian Mackie:
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006. Electronic Notes in Theoretical Computer Science 176(1), Elsevier 2007 [contents] - 175(4)Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(4), Elsevier 2007 [contents] - 175(3)Roberto M. Amadio, Iain Phillips:
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(3), Elsevier 2007 [contents] - 175(2)Carlos Canal, Mirko Viroli:
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2006, Bonn, Germany, August 31, 2006. Electronic Notes in Theoretical Computer Science 175(2), Elsevier 2007 [contents] - 175(1)Rob van Glabbeek, Peter D. Mosses:
Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(1), Elsevier 2007 [contents] - 174(11)Myla Archer, Thierry Boy de la Tour, César A. Muñoz:
Proceedings of the 6th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2006, Part of PLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(11), Elsevier 2007 [contents] - 174(10)Sergio Antoy:
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(10), Elsevier 2007 [contents] - 174(9)Ganesh Gopalakrishnan, John O'Leary:
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006. Electronic Notes in Theoretical Computer Science 174(9), Elsevier 2007 [contents] - 174(8)Michael W. Mislove:
Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006. Electronic Notes in Theoretical Computer Science 174(8), Elsevier 2007 [contents] - 174(7)Aaron Stump, Hongwei Xi:
Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(7), Elsevier 2007 [contents] - 174(6)Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents] - 174(5)Alberto Momigliano, Brigitte Pientka:
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174(5), Elsevier 2007 [contents] - 174(4)Roderick Bloem, Marco Roveri, Fabio Somenzi:
Proceedings of the Workshop on Verification and Debugging, V&D@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(4), Elsevier 2007 [contents] - 174(3)Ofer Strichman, Armin Biere:
Proceedings of the Fourth International Workshop on Bounded Model Checking, BMC@FLoC 2006, Seattle, WA, USA, August 15, 2006. Electronic Notes in Theoretical Computer Science 174(3), Elsevier 2007 [contents] - 174(2)Serge Autexier, Christoph Benzmüller:
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(2), Elsevier 2007 [contents] - 174(1)Maribel Fernández, Ralf Lämmel:
Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(1), Elsevier 2007 [contents] - 173Marcelo Fiore:
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007. Electronic Notes in Theoretical Computer Science 173, Elsevier 2007 [contents] - 172Luca Cardelli, Marcelo Fiore, Glynn Winskel:
Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science 172, Elsevier 2007 [contents] - 171(4)Maribel Fernández, Claude Kirchner:
Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006. Electronic Notes in Theoretical Computer Science 171(4), Elsevier 2007 [contents] - 171(3)Jean-Pierre Jouannaud, Ian Mackie:
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006. Electronic Notes in Theoretical Computer Science 171(3), Elsevier 2007 [contents] - 171(2)Nadia Busi, Claudio Zandron:
Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC@ICALP 2006, Venice, Italy, July 9, 2006. Electronic Notes in Theoretical Computer Science 171(2), Elsevier 2007 [contents] - 171(1)Giovanni Di Crescenzo, Luigi V. Mancini:
Proceedings of the Second Workshop on Cryptography for Ad-hoc Networks, WCAN@ICALP 2006, Venice, Italy, July 16, 2006. Electronic Notes in Theoretical Computer Science 171(1), Elsevier 2007 [contents] - 170Peter Selinger:
Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005. Electronic Notes in Theoretical Computer Science 170, Elsevier 2007 [contents] - 169Flavio Corradini, Carlo Toffalori:
Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006. Electronic Notes in Theoretical Computer Science 169, Elsevier 2007 [contents] - 168Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier 2007 [contents] - 167Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch:
Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA. Electronic Notes in Theoretical Computer Science 167, Elsevier 2007 [contents] - 166Tom Mens, Maja D'Hondt:
Selected Papers of the ERCIM Working Group on Software Evolution, EVOL 2006, Lille, France, April 6-7, 2006. Electronic Notes in Theoretical Computer Science 166, Elsevier 2007 [contents] - 165Grigori Mints, Ruy J. G. B. de Queiroz:
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006. Electronic Notes in Theoretical Computer Science 165, Elsevier 2006 [contents] - 164(4)Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006. Electronic Notes in Theoretical Computer Science 164(4), Elsevier 2006 [contents] - 164(3)Alessandra Di Pierro, Herbert Wiklicky:
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 164(3), Elsevier 2006 [contents] - 164(2)John Boyland, Anthony Sloane:
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006. Electronic Notes in Theoretical Computer Science 164(2), Elsevier 2006 [contents] - 164(1)Neil Ghani, John Power:
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006. Electronic Notes in Theoretical Computer Science 164(1), Elsevier 2006 [contents] - 163(2)Ella E. Roubtsova:
Proceedings of the Second International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, ABMB 2006, Bilbao, Spain, July 10, 2006. Electronic Notes in Theoretical Computer Science 163(2), Elsevier 2006 [contents] - 163(1)Mehmet Aksit, Ella E. Roubtsova:
Proceedings of the First Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems, ABMB 2005, Nuremberg, Germany, November 7, 2005. Electronic Notes in Theoretical Computer Science 163(1), Elsevier 2006 [contents] - 162Luca Aceto, Andrew D. Gordon:
Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005. Electronic Notes in Theoretical Computer Science 162, Elsevier 2006 [contents] - 161Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong:
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2004, Dublin, Ireland, July 22-23, 2004. Electronic Notes in Theoretical Computer Science 161, Elsevier 2006 [contents] - 160Zhiming Liu, Luís Soares Barbosa:
Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005. Electronic Notes in Theoretical Computer Science 160, Elsevier 2006 [contents] - 159Farhad Arbab, Marjan Sirjani:
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005. Electronic Notes in Theoretical Computer Science 159, Elsevier 2006 [contents] - 158Stephen D. Brookes, Michael W. Mislove:
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006. Electronic Notes in Theoretical Computer Science 158, Elsevier 2006 [contents] - 157(4)Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2005, Edinburgh, Scotland, UK, August 1, 2005. Electronic Notes in Theoretical Computer Science 157(4), Elsevier 2006 [contents] - 157(3)Sjouke Mauw, Valérie Issarny, Cas Cremers:
Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005. Electronic Notes in Theoretical Computer Science 157(3), Elsevier 2006 [contents] - 157(2)María Alpuente, Santiago Escobar, Moreno Falaschi:
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005. Electronic Notes in Theoretical Computer Science 157(2), Elsevier 2006 [contents] - 157(1)Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang:
Proceedings of the Third International Workshop on Software Verification and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005. Electronic Notes in Theoretical Computer Science 157(1), Elsevier 2006 [contents] - 156(1)Peter D. Mosses, Irek Ulidowski:
Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 156(1), Elsevier 2006 [contents] - 155Martín Hötzel Escardó, Achim Jung, Michael W. Mislove:
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005. Electronic Notes in Theoretical Computer Science 155, Elsevier 2006 [contents] - 154(3)Jos C. M. Baeten, Iain C. C. Phillips:
Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(3), Elsevier 2006 [contents] - 154(2)Arend Rensink, Reiko Heckel, Barbara König:
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005. Electronic Notes in Theoretical Computer Science 154(2), Elsevier 2006 [contents] - 154(1)Carlos Canal, Mirko Viroli:
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(1), Elsevier 2006 [contents] - 153(4)Florence Maraninchi, Alain Girault, Marc Pouzet:
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs, SLAP 2004, Satellite Event of ETAPS 2004, Barcelona, Spain, March 28, 2004. Electronic Notes in Theoretical Computer Science 153(4), Elsevier 2006 [contents] - 153(3)Oded Maler:
Proceedings of the First Workshop on Formal Verification of Analog Circuits, FAC 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(3), Elsevier 2006 [contents] - 153(2)Antonio Cerone, Herbert Wiklicky:
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005. Electronic Notes in Theoretical Computer Science 153(2), Elsevier 2006 [contents] - 153(1)Stuart Allen, John N. Crossley, Kung-Kiu Lau, Iman Poernomo:
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, CLASE 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 153(1), Elsevier 2006 [contents] - 152Gabor Karsai, Gabriele Taentzer:
Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005. Electronic Notes in Theoretical Computer Science 152, Elsevier 2006 [contents] - 151(3)Nigel Thomas:
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne, UK, July 18, 2005. Electronic Notes in Theoretical Computer Science 151(3), Elsevier 2006 [contents] - 151(2)Alvaro Arenas, Jin Song Dong, Andrew Martin, Brian Matthews:
Proceedings of the International Workshop on Web Languages and Formal Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005. Electronic Notes in Theoretical Computer Science 151(2), Elsevier 2006 [contents] - 151(1)Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006 [contents] - 150(3)Guido Boella, Leendert van der Torre:
Proceedings of the First International Workshop on Coordination and Organisation, CoOrg@COORDINATION 2005, Namur, Belgium, April 23, 2005. Electronic Notes in Theoretical Computer Science 150(3), Elsevier 2006 [contents] - 150(2)Philippe Thiran, Tore Risch, Djamal Benslimane:
Proceedings of the International Workshop on Database Interoperability, InterDB@COORDINATION 2005, Namur, Belgium, April 23, 2005. Electronic Notes in Theoretical Computer Science 150(2), Elsevier 2006 [contents] - 150(1)Lubos Brim, Isabelle Linden:
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005. Electronic Notes in Theoretical Computer Science 150(1), Elsevier 2006 [contents] - 149(2)Charles Pecheur, Brian Williams:
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(2), Elsevier 2006 [contents] - 149(1)Jirí Srba, Scott A. Smolka:
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(1), Elsevier 2006 [contents] - 148(2)Nick Benton, Xavier Leroy:
Proceedings of the ACM-SIGPLAN Workshop on ML, ML 2005, Tallinn, Estonia, September 29, 2005. Electronic Notes in Theoretical Computer Science 148(2), Elsevier 2006 [contents] - 148(1)Reiko Heckel:
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl, Germany, May 3-7, 2004. Electronic Notes in Theoretical Computer Science 148(1), Elsevier 2006 [contents] - 147(1)Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents] - 146(2)Montek Singh, Jean-Pierre Talpin:
Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, FMGALS@MEMOCODE 2005, Verona, Italy, July 15, 2005. Electronic Notes in Theoretical Computer Science 146(2), Elsevier 2006 [contents] - 146(1)Djamal Benslimane, Chirine Ghedira, Zakaria Maamar:
Proceedings of the First International Workshop on Context for Web Services, CWS@CONTEXT 2005, Paris, France, July 5, 2005. Electronic Notes in Theoretical Computer Science 146(1), Elsevier 2006 [contents] - 145Ranko Lazic, Rajagopal Nagarajan:
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, University of Warwick, UK, September 12-13, 2005. Electronic Notes in Theoretical Computer Science 145, Elsevier 2006 [contents] - 144(4)Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 [contents] - 144(3)Byron Cook, Scott D. Stoller, Willem Visser:
Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005. Electronic Notes in Theoretical Computer Science 144(3), Elsevier 2006 [contents] - 144(2)Alessandro Armando, Alessandro Cimatti:
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(2), Elsevier 2006 [contents] - 144(1)Armin Biere, Ofer Strichman:
Proceedings of the Third International Workshop on Bounded Model Checking, BMC@CAV 2005, Edinburgh, UK, July 11, 2005. Electronic Notes in Theoretical Computer Science 144(1), Elsevier 2006 [contents] - 143Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt:
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005. Electronic Notes in Theoretical Computer Science 143, Elsevier 2006 [contents] - 142Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier 2006 [contents] - 141(5)Dina Q. Goldin, Mirko Viroli:
Proceedings of the Workshop on the Foundations of Interactive Computation, FInCo@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(5), Elsevier 2005 [contents] - 141(4)John Boyland, Görel Hedin:
Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2005, Edinburgh, UK, April 3, 2005. Electronic Notes in Theoretical Computer Science 141(4), Elsevier 2005 [contents] - 141(3)Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(3), Elsevier 2005 [contents] - 141(2)Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005. Electronic Notes in Theoretical Computer Science 141(2), Elsevier 2005 [contents] - 141(1)Fausto Spoto:
Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(1), Elsevier 2005 [contents] - 140Pierre Lescanne, René David, Marek Zaionc:
Proceedings of the Second Workshop on Computational Logic and Applications, CLA 2004, Lyon, France, June 17-18, 2004. Electronic Notes in Theoretical Computer Science 140, Elsevier 2005 [contents] - 139(1)Irek Ulidowski:
Proceedings of the 6th AMAST Workshop on Real-Time Systems, ARTS 2004, Stirling, UK, July 12, 2004. Electronic Notes in Theoretical Computer Science 139(1), Elsevier 2005 [contents] - 138(3)Julian C. Bradfield, Faron Moller:
Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 138(3), Elsevier 2005 [contents] - 138(2)Viviana Bono, Michele Bugliesi, Sophia Drossopoulou:
Proceedings of the Second Workshop on Object Oriented Developments, WOOD 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 138(2), Elsevier 2005 [contents] - 138(1)Julian Rathke:
Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, FGUC 2004, London, UK, September 3-4, 2004. Electronic Notes in Theoretical Computer Science 138(1), Elsevier 2005 [contents] - 137(3)Jean-Marie Favre, Michael W. Godfrey, Andreas Winter:
Proceedings of the 2nd International Workshop on Metamodels, Schemas, and Grammars for Reverse Engineering, ateM 2004, Delft, The Netherlands, November 12, 2004. Electronic Notes in Theoretical Computer Science 137(3), Elsevier 2004 [contents] - 137(2)John Derrick, Eerke A. Boiten:
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005. Electronic Notes in Theoretical Computer Science 137(2), Elsevier 2005 [contents] - 137(1)Salvador Lucas:
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004. Electronic Notes in Theoretical Computer Science 137(1), Elsevier 2005 [contents] - 136Mario Coppo, Ferruccio Damiani:
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents] - 135(3)Maribel Fernández, Ian Mackie:
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(3), Elsevier 2006 [contents] - 135(2)Martin Leucker, Jaco van de Pol:
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(2), Elsevier 2006 [contents] - 135(1)Pierpaolo Degano, Luca Viganò:
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005. Electronic Notes in Theoretical Computer Science 135(1), Elsevier 2005 [contents] - 134Peter Rodgers:
Proceedings of the First International Workshop on Euler Diagrams, Euler 2004, Brighton, UK, September 22-23, 2004. Electronic Notes in Theoretical Computer Science 134, Elsevier 2005 [contents] - 133Juan Bicarregui, Andrew Butterfield, Alvaro Arenas:
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Electronic Notes in Theoretical Computer Science 133, Elsevier 2005 [contents] - 132(1)Jens Knoop, George C. Necula, Wolf Zimmermann:
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 132(1), Elsevier 2005 [contents] - 131Agostino Cortesi, Francesco Logozzo:
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005. Electronic Notes in Theoretical Computer Science 131, Elsevier 2005 [contents] - 130Alexandre Mota, Arnaldo V. Moura:
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004. Electronic Notes in Theoretical Computer Science 130, Elsevier 2005 [contents] - 129(Withdrawn) Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science 129, Elsevier 2005, pp. 1-104
- 128(6)Michael Huth:
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(6), Elsevier 2005 [contents] - 128(5)Riccardo Focardi, Gianluigi Zavattaro:
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(5), Elsevier 2005 [contents] - 128(4)Jeremy T. Bradley, William J. Knottenbelt:
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(4), Elsevier 2005 [contents] - 128(3)Lubos Brim, Martin Leucker:
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(3), Elsevier 2005 [contents] - 128(2)Jos C. M. Baeten, Flavio Corradini:
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(2), Elsevier 2005 [contents] - 128(1)Luca Aceto, Wan J. Fokkink, Irek Ulidowski:
Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(1), Elsevier 2005 [contents] - 127(5)Maribel Fernández:
Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(5), Elsevier 2005 [contents] - 127(4)Mark Minas:
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004. Electronic Notes in Theoretical Computer Science 127(4), Elsevier 2005 [contents] - 127(3)Reiko Heckel, Tom Mens:
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, SETra@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(3), Elsevier 2005 [contents] - 127(2)Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(2), Elsevier 2005 [contents] - 127(1)Tom Mens, Andy Schürr, Gabriele Taentzer:
Proceedings of the 2nd International Workshop on Graph-Based Tools, GraBaTs 2004, Rome, Italy, October 2, 2004. Electronic Notes in Theoretical Computer Science 127(1), Elsevier 2005 [contents] - 126Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2004, Nancy, France, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 126, Elsevier 2004 [contents] - 125(3)Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli:
Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004. Electronic Notes in Theoretical Computer Science 125(3), Elsevier 2005 [contents] - 125(2)Maria Paola Bonacina, Thierry Boy de la Tour:
Proceedings of the 5th International Workshop on Strategies in Automated Deduction, STRATEGIES@IJCAR 2004, Cork, Ireland, July 4, 2004. Electronic Notes in Theoretical Computer Science 125(2), Elsevier 2005 [contents] - 125(1)Alessandro Armando, Luca Viganò:
Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004. Electronic Notes in Theoretical Computer Science 125(1), Elsevier 2005 [contents] - 124(2)Sergio Antoy, Yoshihito Toyama:
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2004, Aachen, Germany, June 2, 2004. Electronic Notes in Theoretical Computer Science 124(2), Elsevier 2005 [contents] - 124(1)Slim Abdennadher, Christophe Ringeissen:
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004. Electronic Notes in Theoretical Computer Science 124(1), Elsevier 2005 [contents] - 123Ruy J. G. B. de Queiroz, Patrick Cégielski:
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004. Electronic Notes in Theoretical Computer Science 123, Elsevier 2005 [contents] - 122Lars Birkedal:
Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004. Electronic Notes in Theoretical Computer Science 122, Elsevier 2005 [contents] - 121Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 2005 [contents] - 120Vasco Brattka, Ludwig Staiger, Klaus Weihrauch:
Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 120, Elsevier 2005 [contents] - 119(2)Armin Biere, Ofer Strichman:
Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004. Electronic Notes in Theoretical Computer Science 119(2), Elsevier 2005 [contents] - 119(1)Luca de Alfaro:
Proceedings of the Workshop on Games in Design and Verification, GDV@CAV 2004, Boston, MA, USA, June 18, 2004. Electronic Notes in Theoretical Computer Science 119(1), Elsevier 2005 [contents] - 118Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury:
Proceedings of the International Workshop on Software Verification and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003. Electronic Notes in Theoretical Computer Science 118, Elsevier 2005 [contents] - 117Narciso Martí-Oliet:
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents] - 116Mauro Pezzè:
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 116, Elsevier 2005 [contents] - 115Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, SFEDL@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 115, Elsevier 2005 [contents] - 114Uwe Aßmann:
Proceedings of the Software Composition Workshop, SC 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 114, Elsevier 2005 [contents] - 113Klaus Havelund, Grigore Rosu:
Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 113, Elsevier 2005 [contents] - 112Antonio Cerone, Alessandra Di Pierro:
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 112, Elsevier 2005 [contents] - 111Yuri Gurevich, Alexander K. Petrenko:
Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 111, Elsevier 2005 [contents] - 110Görel Hedin, Eric Van Wyk:
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, LDTA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 110, Elsevier 2004 [contents] - 109Reiko Heckel:
Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 109, Elsevier 2004 [contents] - 108Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 108, Elsevier 2004 [contents] - 107Brian M. Barry, Oege de Moor:
Proceedings of the Second Eclipse Technology Exchange: eTX and the Eclipse Phenomenon, eTX 2004, Barcelona, Spain, March 30, 2004. Electronic Notes in Theoretical Computer Science 107, Elsevier 2004 [contents] - 106Jirí Adámek, Stefan Milius:
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004. Electronic Notes in Theoretical Computer Science 106, Elsevier 2004 [contents] - 105Mario Bravetti, Gianluigi Zavattaro:
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004. Electronic Notes in Theoretical Computer Science 105, Elsevier 2004 [contents] - 104Furio Honsell, Marina Lenisa, Marino Miculan:
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003. Electronic Notes in Theoretical Computer Science 104, Elsevier 2004 [contents] - 103David Aspinall, Christoph Lüth:
Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003. Electronic Notes in Theoretical Computer Science 103, Elsevier 2004 [contents] - 102Peter H. Schmitt:
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, OCL 2.0, San Francisco, CA, USA, October 21, 2003. Electronic Notes in Theoretical Computer Science 102, Elsevier 2004 [contents] - 101Frank S. de Boer, Marcello M. Bonsangue:
Proceedings of the Workshop on the Compositional Verification of UML Models, CVUML 2003, San Francisco, CA, USA, October 21, 2003. Electronic Notes in Theoretical Computer Science 101, Elsevier 2004 [contents] - 100Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 [contents] - 99Mario Bravetti, Roberto Gorrieri:
Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003. Electronic Notes in Theoretical Computer Science 99, Elsevier 2004 [contents] - 98Philippe Schnoebelen:
Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 98, Elsevier 2004 [contents] - 97Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 [contents] - 96Flavio Corradini, Uwe Nestmann:
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 96, Elsevier 2004 [contents] - 95Ana Cavalcanti, Patrícia D. L. Machado:
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 [contents] - 94Jean-Marie Favre, Michael W. Godfrey, Andreas Winter:
Proceedings of the International Workshop on Meta-Models and Schemas for Reverse Engineering, ateM 2003, Victoria, Canada, November 13, 2003. Electronic Notes in Theoretical Computer Science 94, Elsevier 2004 [contents] - 93Fairouz Kamareddine:
Proceedings of the Mathematical Knowledge Management Symposium, MKM Symposium 2003, Edinburgh, UK, November 25-29, 2003. Electronic Notes in Theoretical Computer Science 93, Elsevier 2004 [contents] - 92Bert Gerards:
Algorithmic MeThods and Models for Optimization of RailwayS, ATMOS 2003, Budapest, Hungary, September 15-20, 2003. Electronic Notes in Theoretical Computer Science 92, Elsevier 2004 [contents] - 91Mike D. Atkinson:
Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004. Electronic Notes in Theoretical Computer Science 91, Elsevier 2004 [contents] - 90Anuj Dawar:
Proceedings of the Fifth International Workshop on Implicit Computational Complexity, ICC@LICS 2003, Ottawa, Canada, June 26-27, 2003. Electronic Notes in Theoretical Computer Science 90, Elsevier 2003 [contents] - 89(4)Ofer Strichman, Armin Biere:
First International Workshop on Bounded Model Checking, BMC@CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(4), Elsevier 2003 [contents] - 89(3)Byron Cook, Scott D. Stoller, Willem Visser:
2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(3), Elsevier 2003 [contents] - 89(2)Oleg Sokolsky, Mahesh Viswanathan:
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(2), Elsevier 2003 [contents] - 89(1)Lubos Brim, Orna Grumberg:
2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(1), Elsevier 2003 [contents] - 88Florence Maraninchi, Alain Girault, Éric Rutten:
Synchronous Languages, Applications and Programming, SLAP 2003, A Satellite Workshop of ECRTS 2003, Porto, Portugal, July 1, 2003. Electronic Notes in Theoretical Computer Science 88, Elsevier 2004 [contents] - 87Josée Desharnais, Prakash Panangaden:
Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, DTMPP 2003, Barbados, April 21-25, 2003. Electronic Notes in Theoretical Computer Science 87, Elsevier 2004 [contents] - 86(4)Bernhard Gramlich, Salvador Lucas:
3rd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2003, Valencia, Spain, June 8, 2003, Final Proceedings. Electronic Notes in Theoretical Computer Science 86(4), Elsevier 2003 [contents] - 86(3)Lubos Brim, Orna Grumberg:
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 86(3), Elsevier 2003 [contents] - 86(2)Jean-Louis Giavitto, Pierre-Etienne Moreau:
4th International Workshop on Rule-Based Programming, RULE 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-13, 2003. Electronic Notes in Theoretical Computer Science 86(2), Elsevier 2003 [contents] - 86(1)Ingo Dahn, Laurent Vigneron:
4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003. Electronic Notes in Theoretical Computer Science 86(1), Elsevier 2003 [contents] - 85(7)Herman Geuvers, Fairouz Kamareddine:
Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003. Electronic Notes in Theoretical Computer Science 85(7), Elsevier 2003 [contents] - 85(3)Riccardo Focardi, Gianluigi Zavattaro:
First International Workshop on Security Issues in Coordination Models, Languages, and Systems, SecCo 2003, Satellite Event for ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003. Electronic Notes in Theoretical Computer Science 85(3), Elsevier 2003 [contents] - 85(2)Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael J. Wooldridge:
1st International Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, The Netherlands, June 29, 2003. Electronic Notes in Theoretical Computer Science 85(2), Elsevier 2004 [contents] - 85(1)Riccardo Focardi, Gianluigi Zavattaro:
2nd EATCS Workshop on Foundations of Global Computing, FGC 2003, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003. Electronic Notes in Theoretical Computer Science 85(1), Elsevier 2003 [contents] - 84Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo:
10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003. Electronic Notes in Theoretical Computer Science 84, Elsevier 2003 [contents] - 83Stephen D. Brookes, Prakash Panangaden:
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Electronic Notes in Theoretical Computer Science 83, Elsevier 2003 [contents] - 82(8)Viviana Bono, Michele Bugliesi:
Workshop on Object Oriented Developments, WOOD 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 13, 2003. Electronic Notes in Theoretical Computer Science 82(8), Elsevier 2003 [contents] - 82(7)Roswitha Bardohl, Hartmut Ehrig:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(7), Elsevier 2003 [contents] - 82(6)Mauro Pezzè:
International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(6), Elsevier 2003 [contents] - 82(5)Uwe Assmann, Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe:
2003 Workshop on Software Composition, SC 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 6, 2003. Electronic Notes in Theoretical Computer Science 82(5), Elsevier 2003 [contents] - 82(4)Andrzej Skowron, Marcin S. Szczuka:
International Workshop on Rough Sets in Knowledge Discovery and Soft Computing, RSKD 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 12-13, 2003. Electronic Notes in Theoretical Computer Science 82(4), Elsevier 2003 [contents] - 82(3)Barrett R. Bryant, João Saraiva:
Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003. Electronic Notes in Theoretical Computer Science 82(3), Elsevier 2003 [contents] - 82(2)Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003. Electronic Notes in Theoretical Computer Science 82(2), Elsevier 2004 [contents] - 82(1)H. Peter Gumm:
6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(1), Elsevier 2003 [contents] - 81Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Electronic Notes in Theoretical Computer Science 81, Elsevier 2003 [contents] - 80Thomas Arts, Wan J. Fokkink:
Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003. Electronic Notes in Theoretical Computer Science 80, Elsevier 2003 [contents] - 79Thierry Vallée:
"Map Theory" et Antifondation. Electronic Notes in Theoretical Computer Science 79, Elsevier 2003, pp. 1-259 - 78James Harland:
Computing: the Australasian Theory Symposiumm, CATS 2003, Adelaide, SA, Australia, February 4-7, 2003. Electronic Notes in Theoretical Computer Science 78, Elsevier 2003 [contents] - 77(was never published).
- 76Marco Comini, Moreno Falaschi:
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002. Electronic Notes in Theoretical Computer Science 76, Elsevier 2002 [contents] - 75Gilles Barthe, Peter Thiemann:
International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002. Electronic Notes in Theoretical Computer Science 75, Elsevier 2003 [contents] - 74Sharon Flynn, Ted Hurley, Mícheál Mac an Airchinnigh, Niall Madden, Michael McGettrick, Michel P. Schellekens, Anthony Karel Seda:
Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2002, Galway, Ireland, July 18-19, 2002. Electronic Notes in Theoretical Computer Science 74, Elsevier 2003 [contents] - 73Martín Escardó, Achim Jung:
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002. Electronic Notes in Theoretical Computer Science 73, Elsevier 2004 [contents] - 72(4)Reiko Heckel, Tom Mens, Michel Wermelinger:
Workshop on Software Evolution Through Transformations 2002 - Toward Uniform Support Throughout the Software Life-Cycle, Barcelona, Spain, 2002. Electronic Notes in Theoretical Computer Science 72(4), Elsevier 2003 [contents] - 72(3)Paolo Bottoni, Mark Minas:
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002. Electronic Notes in Theoretical Computer Science 72(3), Elsevier 2003 [contents] - 72(2)Tom Mens, Andy Schürr, Gabriele Taentzer:
International Workshop on Graph-Based Tools, GraBaTs@ICGT 2002, Barcelona, Spain, October 7-8, 2002. Electronic Notes in Theoretical Computer Science 72(2), Elsevier 2002 [contents] - 72(1)Ian Mackie, Detlef Plump:
Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002. Electronic Notes in Theoretical Computer Science 72(1), Elsevier 2007 [contents] - 71Fabio Gadducci, Ugo Montanari:
Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002. Electronic Notes in Theoretical Computer Science 71, Elsevier 2004 [contents] - 70(6)Bernhard Gramlich, Salvador Lucas:
2nd International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 21, 2002, Final Proceedings. Electronic Notes in Theoretical Computer Science 70(6), Elsevier 2002 [contents] - 70(5)Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents] - 70(4)Klaus Havelund, Grigore Rosu:
Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(4), Elsevier 2002 [contents] - 70(3)John Derrick, Eerke A. Boiten, Jim Woodcock, Joakim von Wright:
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science 70(3), Elsevier 2002 [contents] - 70(2)Frank Pfenning:
International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(2), Elsevier 2002 [contents] - 70(1)Steffen van Bakel:
Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(1), Elsevier 2003 [contents] - 69Richard Blute, Peter Selinger:
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002. Electronic Notes in Theoretical Computer Science 69, Elsevier 2002 [contents] - 68(6)Antonín Kucera, Richard Mayr:
4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(6), Elsevier 2003 [contents] - 68(5)Walter Vogler, Kim Larsen:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(5), Elsevier 2003 [contents] - 68(4)Lubos Brim, Orna Grumberg:
Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(4), Elsevier 2002 [contents] - 68(3)Antonio Brogi, Jean-Marie Jacquet:
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(3), Elsevier 2003 [contents] - 68(2)Uwe Nestmann, Prakash Panangaden:
9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(2), Elsevier 2002 [contents] - 68(1)Alexander Kurz:
Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(1), Elsevier 2002 [contents] - 67Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 [contents] - 66(6)Dorothea Wagner:
Algorithmic Methods and Models for Optimization of Railways, ATMOS 2002, ICALP 2002 Satellite Workshop, Malaga, Spain, July 13, 2002. Electronic Notes in Theoretical Computer Science 66(6), Elsevier 2002 [contents] - 66(5)Patrik Eklund, Manuel Ojeda-Aciego:
Unification in Non-Classical Logics, UNCL 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(5), Elsevier 2002 [contents] - 66(4)Antonio Brogi, Ernesto Pimentel:
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002. Electronic Notes in Theoretical Computer Science 66(4), Elsevier 2002 [contents] - 66(3)Vladimiro Sassone:
Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(3), Elsevier 2002 [contents] - 66(2)Rance Cleaveland, Hubert Garavel:
7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, FMICS 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(2), Elsevier 2002 [contents] - 66(1)Vasco Brattka, Matthias Schröder, Klaus Weihrauch:
Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(1), Elsevier 2002 [contents] - 65(7)Benoît Caillaud, Anca Muscholl:
Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002. Electronic Notes in Theoretical Computer Science 65(7), Elsevier 2002 [contents] - 65(6)Eugene Asarin, Oded Maler, Sergio Yovine:
Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(6), Elsevier 2002 [contents] - 65(5)Florence Maraninchi, Alain Girault, Éric Rutten:
Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(5), Elsevier 2002 [contents] - 65(4)Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe, Uwe Assmann:
Workshop on Software Composition, SC 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 7, 2002. Electronic Notes in Theoretical Computer Science 65(4), Elsevier 2002 [contents] - 65(3)Mark van den Brand, Ralf Lämmel:
Second Workshop on Language Descriptions, Tools and Applications, LDTA 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(3), Elsevier 2002 [contents] - 65(2)Jens Knoop, Wolf Zimmermann:
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. Electronic Notes in Theoretical Computer Science 65(2), Elsevier 2002 [contents] - 65(1)Lawrence S. Moss:
Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(1), Elsevier 2002 [contents] - 64Michael Hanus:
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 64, Elsevier 2002 [contents] - 63Klaus Fischer, Dieter Hutter:
First International Workshop on Security of Mobile Multiagent Systems, SEMAS 2001, Montreal, Canada, May 29, 2001. Electronic Notes in Theoretical Computer Science 63, Elsevier 2002 [contents] - 62Marina Lenisa, Marino Miculan:
Theory of Concurrency, Higher Order Languages and Types, TOSCA 2001, Udine, Italy, November 19-21, 2001. Electronic Notes in Theoretical Computer Science 62, Elsevier 2002 [contents] - 61James Harland:
Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia. Electronic Notes in Theoretical Computer Science 61, Elsevier 2002 [contents] - 60Claudio V. Russo:
Types for Modules. Electronic Notes in Theoretical Computer Science 60, Elsevier 2004, pp. 1-421 - 59(4)Mark van den Brand, Rakesh M. Verma:
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001. Electronic Notes in Theoretical Computer Science 59(4), Elsevier 2001 [contents] - 59(3)Alessandra Di Pierro, Herbert Wiklicky:
Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001. Electronic Notes in Theoretical Computer Science 59(3), Elsevier 2002 [contents] - 59(2)(was never published).
- 59(1)Nick Benton, Andrew Kennedy:
First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001. Electronic Notes in Theoretical Computer Science 59(1), Elsevier 2001 [contents] - 58(2)Maria Paola Bonacina, Bernhard Gramlich:
4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 58(2), Elsevier 2001 [contents] - 58(1)Simon Ambler, Roy L. Crole, Alberto Momigliano:
Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001. Electronic Notes in Theoretical Computer Science 58(1), Elsevier 2001 [contents] - 57Bernhard Gramlich, Salvador Lucas:
1st International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2001, Utrecht, The Netherlands, May 26, 2001. Electronic Notes in Theoretical Computer Science 57, Elsevier 2001 [contents] - 56Poul Frederick Williams:
Formal Verification based on Boolean Expression Diagrams. Electronic Notes in Theoretical Computer Science 56, Elsevier 2001, pp. i-xx, 1-190 - 55(3)Scott D. Stoller, Willem Visser:
Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(3), Elsevier 2001 [contents] - 55(2)Klaus Havelund, Grigore Rosu:
Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(2), Elsevier 2001 [contents] - 55(1)Jean Goubault-Larrecq:
Logical Aspects of Cryptographic Protocol Verification, LACPV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(1), Elsevier 2003 [contents] - 54Ugo Montanari, Vladimiro Sassone:
International Workshop on Concurrency and Coordination, ConCoord 2001, associated to the 13th Lipari School, Lipari Island, Italy, July 6-8, 2001. Electronic Notes in Theoretical Computer Science 54, Elsevier 2001 [contents] - 53Lawrence S. Moss, Richard T. Oehrle:
Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), FGMOL 2001, Helsinki, Finland, August 10-12, 2001. Electronic Notes in Theoretical Computer Science 53, Elsevier 2004 [contents] - 52(3)Flavio Corradini, Walter Vogler:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(3), Elsevier 2002 [contents] - 52(2)Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents] - 52(1)Luca Aceto, Prakash Panangaden:
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 [contents] - 51Michel Bauderon, Andrea Corradini:
GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001. Electronic Notes in Theoretical Computer Science 51, Elsevier 2001 [contents] - 50(4)Richard Mayr:
Verification of Parameterized Systems, VEPAS 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001. Electronic Notes in Theoretical Computer Science 50(4), Elsevier 2001 [contents] - 50(3)Luciano Baresi, Mauro Pezzè, Gabriele Taentzer:
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 12-13, 2001. Electronic Notes in Theoretical Computer Science 50(3), Elsevier 2001 [contents] - 50(2)Jean-Jacques Lévy:
Bohm's theorem: applications to Computer Science Theory, BOTH 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001. Electronic Notes in Theoretical Computer Science 50(2), Elsevier 2001 [contents] - 50(1)Christos D. Zaroliagis:
Workshop on Algorithmic MeThods and Models for Optimization of RailwayS, ATMOS 2001, Satellite Workshop of ICALP 2001, Crete, Greece, July 13, 2001. Electronic Notes in Theoretical Computer Science 50(1), Elsevier 2001 [contents] - 49Mathias Kegelmann:
Continuous Domains in Logical Form. Electronic Notes in Theoretical Computer Science 49, Elsevier 2002, pp. 1-166 - 48Agostino Dovier, Maria Chiara Meo, Andrea Omicini:
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000. Electronic Notes in Theoretical Computer Science 48, Elsevier 2000 [contents] - 47(was never published).
- 46Sébastien Fourey, Gabor T. Herman, T. Yung Kong:
8th International Workshop on Combinatorial Image Analysis, IWCIA 2001, Philadelphia, PA, USA, August 23-24, 2001. Electronic Notes in Theoretical Computer Science 46, Elsevier 2001 [contents] - 45Stephen D. Brookes, Michael W. Mislove:
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001. Electronic Notes in Theoretical Computer Science 45, Elsevier 2001 [contents] - 44(4)Hartmut Ehrig, Claudia Ermel, Julia Padberg:
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001. Electronic Notes in Theoretical Computer Science 44(4), Elsevier 2001 [contents] - 44(3)Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 [contents] - 44(2)Mark van den Brand, Didier Parigot:
First Workshop on Language Descriptions, Tools and Applications, LDTA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7, 2001. Electronic Notes in Theoretical Computer Science 44(2), Elsevier 2001 [contents] - 44(1)Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 [contents] - 43Howard Bowman:
Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000. Electronic Notes in Theoretical Computer Science 43, Elsevier 2001 [contents] - 42Colin J. Fidge:
Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001. Electronic Notes in Theoretical Computer Science 42, Elsevier 2001 [contents] - 41(3)Alan Jeffrey:
4th International Workshop on Higher Order Operational Techniques in Semantics, HOOTS 2000, Satellite to PLI 2000, Montreal, Canada, September 22, 2000. Electronic Notes in Theoretical Computer Science 41(3), Elsevier 2000 [contents] - 41(2)John H. Reppy, Peter Sewell:
4th International Workshop on High-Level Concurrent Languages, HLCL 2000, Satellite to PLI 2000, Montreal, Canada, September 20, 2000. Electronic Notes in Theoretical Computer Science 41(2), Elsevier 2000 [contents] - 41(1)Graham Hutton:
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000. Electronic Notes in Theoretical Computer Science 41(1), Elsevier 2000 [contents] - 40Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Anthony Karel Seda:
First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000. Electronic Notes in Theoretical Computer Science 40, Elsevier 2000 [contents] - 39(3)Flavio Corradini, Paola Inverardi:
Proceedings of the International Workshop on Models for Time-Critical Systems, MTCS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 26, 2000. Electronic Notes in Theoretical Computer Science 39(3), Elsevier 2000 [contents] - 39(2)Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents] - 39(1)Luca Aceto, Björn Victor:
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(1), Elsevier 2003 [contents] - 38(was never published).
- 37Didier Galmiche:
Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000. Electronic Notes in Theoretical Computer Science 37, Elsevier 2000 [contents] - 36Kokichi Futatsugi:
The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000. Electronic Notes in Theoretical Computer Science 36, Elsevier 2000 [contents] - 35Dieter Spreen, Ralf Greb, Holger Schulz, Michel P. Schellekens:
Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998. Electronic Notes in Theoretical Computer Science 35, Elsevier 2000 [contents] - 34Lars Birkedal:
Developing Theories of Types and Computability via Realizability. Electronic Notes in Theoretical Computer Science 34, Elsevier 2000, pp. 1-282 - 33Horst Reichel:
Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000. Electronic Notes in Theoretical Computer Science 33, Elsevier 2000 [contents] - 32Steve A. Schneider, Peter Ryan:
Workshop on Secure Architectures and Information Flow 1999, Royal Holloway, London, UK, December 1-3, 1999. Electronic Notes in Theoretical Computer Science 32, Elsevier 2000 [contents] - 31David A. Wolfram:
Computing: the Australasian Theory Symposium, CATS 2000, Canberra, Australia, January 1-2, 2000. Electronic Notes in Theoretical Computer Science 31, Elsevier 2000 [contents] - 30(4)Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999. Electronic Notes in Theoretical Computer Science 30(4), Elsevier 1999 [contents] - 30(3)Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 [contents] - 30(2)Michael Leuschel:
Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999. Electronic Notes in Theoretical Computer Science 30(2), Elsevier 1999 [contents] - 30(1)Sandro Etalle, Jan-Georg Smaus:
Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(1), Elsevier 1999 [contents] - 29Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999. Electronic Notes in Theoretical Computer Science 29, Elsevier 1999 [contents] - 28Gheorghe Stefanescu:
Workshop on Distributed Systems, WDS 1999, A satellite workshop to FCT 1999, Iassy, Romania, September 2-3, 1999. Electronic Notes in Theoretical Computer Science 28, Elsevier 1999 [contents] - 27Ilaria Castellani, Björn Victor:
6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999. Electronic Notes in Theoretical Computer Science 27, Elsevier 1999 [contents] - 26Andrew D. Gordon, Andrew M. Pitts:
Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999. Electronic Notes in Theoretical Computer Science 26, Elsevier 1999 [contents] - 25Luqi, Manfred Broy:
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998. Electronic Notes in Theoretical Computer Science 25, Elsevier 1999 [contents] - 24Abbas Edalat, David W. Matula, Philipp Sünderhauf:
Workshop on Real Number Computation, RealComp 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 24, Elsevier 1999 [contents] - 23(3)Alessandro Armando, Tudor Jebelean:
Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999. Electronic Notes in Theoretical Computer Science 23(3), Elsevier 1999 [contents] - 23(2)Alessandro Cimatti, Orna Grumberg:
First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999. Electronic Notes in Theoretical Computer Science 23(2), Elsevier 1999 [contents] - 23(1)Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott:
Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999. Electronic Notes in Theoretical Computer Science 23(1), Elsevier 1999 [contents] - 22Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan:
First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998. Electronic Notes in Theoretical Computer Science 22, Elsevier 1999 [contents] - 21Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend:
Algebraic Specification in Action. Electronic Notes in Theoretical Computer Science 21, Elsevier 1999 [contents] - 20Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999. Electronic Notes in Theoretical Computer Science 20, Elsevier 1999 [contents] - 19Bart Jacobs, Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999. Electronic Notes in Theoretical Computer Science 19, Elsevier 1999 [contents] - 18Petr Jancar, Mojmír Kretínský:
Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998. Electronic Notes in Theoretical Computer Science 18, Elsevier 1998 [contents] - 17Didier Galmiche:
Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998. Electronic Notes in Theoretical Computer Science 17, Elsevier 1998 [contents] - 16(3)Uwe Nestmann, Benjamin C. Pierce:
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science 16(3), Elsevier 1998 [contents] - 16(2)Ilaria Castellani, Catuscia Palamidessi:
Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 [contents] - 16(1)Frank S. de Boer, Maurizio Gabbrielli:
Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, COTIC 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(1), Elsevier 1998 [contents] - 15Claude Kirchner, Hélène Kirchner:
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998. Electronic Notes in Theoretical Computer Science 15, Elsevier 1998 [contents] - 14Rance Cleaveland, Michael W. Mislove, Philip S. Mulry:
US-Brazil Joint Workshops on the Formal Foundations of Software Systems, Rio de Janeiro, Brazil, May 5-9, 1997 & New Orleans, LA, USA, November 13-16, 1997. Electronic Notes in Theoretical Computer Science 14, Elsevier 1998 [contents] - 13Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska:
Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997. Electronic Notes in Theoretical Computer Science 13, Elsevier 1997 [contents] - 12Andrew Solomon:
Concrete Monoids, Automata and the Catalan Construction. Electronic Notes in Theoretical Computer Science 12, Elsevier 1998, pp. 1-86 - 11Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998. Electronic Notes in Theoretical Computer Science 11, Elsevier 1998 [contents] - 10Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott:
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997. Electronic Notes in Theoretical Computer Science 10, Elsevier 1997 [contents] - 9Faron Moller:
Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997. Electronic Notes in Theoretical Computer Science 9, Elsevier 1997 [contents] - 8Marcello M. Bonsangue:
Topological Duality in Semantics. Electronic Notes in Theoretical Computer Science 8, 1998, pp. 1-274 - 7Catuscia Palamidessi, Joachim Parrow:
International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997. Electronic Notes in Theoretical Computer Science 7, Elsevier 1997 [contents] - 6Stephen D. Brookes, Michael W. Mislove:
Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997. Electronic Notes in Theoretical Computer Science 6, Elsevier 1997 [contents] - 5Bernhard Steffen, Didier Caucal:
First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996. Electronic Notes in Theoretical Computer Science 5, Elsevier 1997 [contents] - 4José Meseguer:
First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Electronic Notes in Theoretical Computer Science 4, Elsevier 1996 [contents] - 3Jean-Yves Girard, Mitsuhiro Okada, Andre Scedrov:
Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996. Electronic Notes in Theoretical Computer Science 3, Elsevier 1996 [contents] - 2Andrea Corradini, Ugo Montanari:
Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, SEGRAGRA 1995, Volterra, Italy, August 28 - September 1, 1995. Electronic Notes in Theoretical Computer Science 2, Elsevier 1995 [contents] - 1Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove:
Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995. Electronic Notes in Theoretical Computer Science 1, Elsevier 1995 [contents]
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-11-11 21:14 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:
