default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• MS Academic
• CiteSeerX
• ORCID

Old ENTCS page

• 
  351
  Cláudia Nalon:
  Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2019. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020 [contents]
• 
  350
  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]
• 
  349
  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]
• 
  348
  Amy 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]
• 
  347
  Barbara 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]
• 
  346
  Gabriel 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]
• 
  345
  Achim 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]
• 
  344
  Beniamino 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]
• 
  343
  Ioannis 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]
• 
  342
  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]
• 
  341
  Sam 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]
• 
  ...
  ….
• 
  339
  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]
• 
  338
  Sandra 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]
• 
  ...
  ….
• 
  336
  Alexandra 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]
• 
  335
  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]
• 
  ...
  ….
• 
  333
  Mao-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]
• 
  332
  Vivek 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]
• 
  ...
  ….
• 
  329
  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]
• 
  ...
  ….
• 
  325
  Lars 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]
• 
  ...
  ….
• 
  323
  Mario 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]
• 
  ...
  ….
• 
  321
  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]
• 
  ...
  ….
• 
  319
  Dan 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]
• 
  ...
  ….
• 
  314
  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]
• 
  ...
  ….
• 
  312
  Mauricio 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]
• 
  ...
  ….
• 
  308
  Bart 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]
• 
  ...
  ….
• 
  305
  Maribel 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]
• 
  ...
  ….
• 
  302
  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]
• 
  301
  Ying-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]
• 
  ...
  ….
• 
  298
  Dexter 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]
• 
  ...
  ….
• 
  292
  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]
• 
  ...
  ….
• 
  286
  Ulrich 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]
• 
  ...
  ….
• 
  281
  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]
• 
  ...
  ….
• 
  276
  Michael 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]
• 
  ...
  ….
• 
  269
  Edward 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]
• 
  ...
  ….
• 
  265
  Michael 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]
• 
  ...
  ….
• 
  257
  Yixiang 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]
• 
  256
  Mauricio 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]
• 
  ...
  ….
• 
  249
  Samson 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]
• 
  ...
  ….
• 
  247
  Belo 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]
• 
  ...
  ….
• 
  239
  Peter 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]
• 
  ...
  ….
• 
  218
  Andrej 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]
• 
  ...
  ….
• 
  205
  Mauricio 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]
• 
  ...
  ….
• 
  173
  Marcelo 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]
• 
  ...
  ….
• 
  158
  Stephen 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]
• 
  ...
  ….
• 
  155
  Martí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]
• 
  ...
  ….
• 
  122
  Lars 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]
• 
  ...
  ….
• 
  117
  Narciso 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]
• 
  ...
  ….
• 
  106
  Jirí 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]
• 
  ...
  ….
• 
  98
  Philippe 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]
• 
  ...
  ….
• 
  96
  Flavio 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]
• 
  ...
  ….
• 
  83
  Stephen 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]
• 
  ...
  ….
• 
  69
  Richard 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]
• 
  ...
  ….
• 
  45
  Stephen 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]
• 
  ...
  ….
• 
  36
  Kokichi 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]
• 
  ...
  ….
• 
  33
  Horst Reichel:
  Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000. Electronic Notes in Theoretical Computer Science 33, Elsevier 2000 [contents]
• 
  ...
  ….
• 
  29
  Martin 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]
• 
  ...
  ….
• 
  27
  Ilaria