


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science (ENTCS)
- 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] - 350Proceedings 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]
- 349XLV 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] - 342XLIV 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] - ...….
- 339XLIII 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] - ...….
- 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] - 335Proceedings 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]
- ...….
- 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] - ...….
- 329XLII 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]
- ...….
- 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] - ...….
- 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] - ...….
- 321XLI 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]
- ...….
- 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] - ...….
- 314XL 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]
- ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 302XXXIX 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] - ...….
- 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] - ...….
- 292XXXVIII 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]
- ...….
- 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] - ...….
- 281XXXVII 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]
- ...….
- 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] - ...….
- 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] - ...….
- 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(2)Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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(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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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 174(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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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(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] - ...….
- 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(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] - ...….
- 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] - ...….
- 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] - ...….
- 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(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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...….
- 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] - ...