Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers edited by Jim Davies, Leila Silva, Adenilso Simao.

Publicado em 2011

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice o... edited by Axel Legay, Tiziana Margaria.

Publicado em 2017

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.

Publicado em 2014

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures edited by Hubert Comon, Claude Marche, Ralf Treinen.

Publicado em 2001

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures edited by Bertrand Meyer, Martin Nordio.

Publicado em 2015

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings edited by Sébastien Destercke, Thierry Denoeux.

Publicado em 2015

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller.

Publicado em 2014

Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Pro... edited by Matthias Baaz, Johann M. Makowsky.

Publicado em 2003

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of... edited by Parosh Aziz Abdulla, K. Rustan M. Leino.

Publicado em 2011

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers edited by Bernhard Beckert, Claude Marché.

Publicado em 2011

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o... edited by Holger Hermanns, Jens Palsberg.

Publicado em 2006

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised S... edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis.

Publicado em 2016

Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedin... edited by Luca de Alfaro, Stephen Gilmore.

Publicado em 2001

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings edited by David Basin, Michael Rusinowitch.

Publicado em 2004

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn.

Publicado em 2005

Theory of Computing and Systems ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings edited by Danny Dolev, Zvi Galil, Michael Rodeh.

Publicado em 1992

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings edited by Xinyu Feng, Sungwoo Park.

Publicado em 2015

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings edited by Sven Koenig, Robert C. Holte.

Publicado em 2002

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings edited by Christian Urban, Xingyuan Zhang.

Publicado em 2015

Principles of Programming Languages by Gilles Dowek.

Por Dowek, Gilles
Publicado em 2009

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.

Publicado em 2013

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings edited by Márcio Cornélio, Bill Roscoe.

Publicado em 2016

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings edited by Mohammad Reza Mousavi, Christian Berger.

Publicado em 2015

Mathematical Foundations of Programming Language Semantics 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings edited by Michael Main, Austin Melton, Michael Mislove, David Schmidt.

Publicado em 1988

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings edited by Michael Douglas Harrison, Mark-Alexander Sujan.

Publicado em 2008

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings edited by Arnaud Carayol, Cyril Nicaud.

Publicado em 2017

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers edited by Dirk van Dalen, Marc Bezem.

Publicado em 1997

Concurrent Reactive Plans Anticipating and Forestalling Execution Failures by Michael Beetz.

Por Beetz, Michael
Publicado em 2000

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue.

Publicado em 2013

The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones edited by Torben Mogensen, David Schmidt, I. Hal Sudborough.

Publicado em 2002

Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings edited by Yukiyoshi Kameyama, Peter J. Stuckey.

Publicado em 2004

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings edited by Rajeev Alur, George Pappas.

Publicado em 2004

On the Shape of Mathematical Arguments by Antonetta J.M. van Gasteren.

Por Gasteren, Antonetta J.M. van
Publicado em 1990

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings edited by Corina S Pasareanu.

Publicado em 2009

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings edited by Susanne Graf, Wenhui Zhang.

Publicado em 2006

Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings edited by Pierre Lescanne.

Publicado em 1987

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings edited by Hans van Ditmarsch, Jerome Lang, Shier Ju.

Publicado em 2011

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers edited by Andrea Corradini, Ugo Montanari.

Publicado em 2009

Application and Theory of Petri Nets 1993 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings edited by Marco Ajmone Marsan.

Publicado em 1993

An Introduction to the PL/CV2 Programming Logic by R. L. Constable, S. D. Johnson, C. D. Eichenlaub.

Por Constable, R. L., Johnson, S. D., Eichenlaub, C. D.
Publicado em 1982

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings edited by Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie.

Publicado em 2007

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings edited by Andrea Corradini, Bartek Klin, Corina Cîrstea.

Publicado em 2011

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings edited by Matthew Flatt, Hai-Feng Guo.

Publicado em 2014

Joint Training for Neural Machine Translation by Yong Cheng.

Por Cheng, Yong
Publicado em 2019

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings edited by Farn Wang.

Publicado em 2005

Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings edited by Frank Pfenning.

Publicado em 2006

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers edited by Olaf Chitil.

Publicado em 2008

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conferenc... edited by Susanne Graf, Mahesh Viswanathan.

Publicado em 2015

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran.

Publicado em 2013

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised S... edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky.

Publicado em 2018