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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 2001

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

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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é.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 2001

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

Опубліковано 2004

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

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 2002

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

Опубліковано 2015

Principles of Programming Languages by Gilles Dowek.

за авторством Dowek, Gilles
Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 1997

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

за авторством Beetz, Michael
Опубліковано 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.

Опубліковано 2013

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

Опубліковано 2002

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

Опубліковано 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.

Опубліковано 2004

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

за авторством Gasteren, Antonetta J.M. van
Опубліковано 1990

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

Опубліковано 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.

Опубліковано 2006

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

Опубліковано 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.

Опубліковано 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.

Опубліковано 2009

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

Опубліковано 1993

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

за авторством Constable, R. L., Johnson, S. D., Eichenlaub, C. D.
Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 2014

Joint Training for Neural Machine Translation by Yong Cheng.

за авторством Cheng, Yong
Опубліковано 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.

Опубліковано 2005

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

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 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.

Опубліковано 2018