Home Advanced Search

Advanced Search - Page 1

Principles and Practice of Constraint Programming – CP 2011: 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Leonardo de Moura (auth.), Jimmy Lee (eds.)
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
The Courant-Friedrichs-Lewy (CFL) condition : 80 years after its discovery
  • PDF
  • English
  • Year: 2013
  • Author: Carlos A de Moura (eds.)
Reviews of Environmental Contamination and Toxicology Volume 228
  • PDF
  • English
  • Year: 2014
  • Author: Jailson Fulgencio de Moura (auth.), David M. Whitacre (eds.)
The Courant–Friedrichs–Lewy (CFL) Condition: 80 Years After Its Discovery
  • PDF
  • English
  • Year: 2013
  • Author: Peter D. Lax (auth.), Carlos A. de Moura, Carlos S. Kubrusly (eds.)
search