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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2001

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

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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é.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2001

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

Gepubliceerd in 2004

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

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2002

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

Gepubliceerd in 2015

Principles of Programming Languages by Gilles Dowek.

door Dowek, Gilles
Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 1997

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

door Beetz, Michael
Gepubliceerd in 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.

Gepubliceerd in 2013

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

Gepubliceerd in 2002

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

Gepubliceerd in 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.

Gepubliceerd in 2004

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

door Gasteren, Antonetta J.M. van
Gepubliceerd in 1990

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

Gepubliceerd in 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.

Gepubliceerd in 2006

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

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2009

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

Gepubliceerd in 1993

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

door Constable, R. L., Johnson, S. D., Eichenlaub, C. D.
Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2014

Joint Training for Neural Machine Translation by Yong Cheng.

door Cheng, Yong
Gepubliceerd in 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.

Gepubliceerd in 2005

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

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 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.

Gepubliceerd in 2018