César Muñoz

Florent Kirchner, César Muñoz: The proof monad. J. Log. Algebr. Program. 79(3-5): 264-277 (2010)

César Muñoz (Ed.): Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. NASA Conference Proceedings NASA/CP-2010-216215, 2010

Hélène Kirchner, César Muñoz (Eds.): Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming. EPTCS 44, 2010

Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)

Tomás Arredondo, Wolfgang Freund, César Muñoz: Entropy Based Diversity Measures in Evolutionary Mobile Robot Navigation. IEA/AIE 2008: 129-138

Myla Archer, Thierry Boy de la Tour, César Muñoz: Preface. Electr. Notes Theor. Comput. Sci. 174(11): 1-2 (2007)

Florent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)

Ramiro Varela, César Muñoz, María R. Sierra, Inés González Rodríguez: A Multi-Objective Genetic Algorithm for Cutting-Stock in Plastic Rolls Industry. ICSOFT (PL/DPS/KE/MUSE) 2007: 186-193

César Muñoz, María R. Sierra, Jorge Puente, Camino R. Vela, Ramiro Varela: Improving Cutting-Stock Plans with Multi-objective Genetic Algorithms. IWINAC (1) 2007: 528-537

Tomás Vidal Arredondo, Wolfgang Freund, César Muñoz, Fernando Quirós: Learning Performance in Evolutionary Behavior Based Mobile Robot Navigation. MICAI 2007: 811-820

André Luiz Galdino, César Muñoz, Mauricio Ayala-Rincón: Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188

Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR abs/0708.3721 (2007)

Songtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368

Tomás Arredondo, Wolfgang Freund, César Muñoz, Nicolás Navarro, Fernando Quirós: Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot. IEA/AIE 2006: 462-471

Wolfgang Freund, Tomás Vidal Arredondo, César Muñoz, Nicolás Navarro, Fernando Quirós: Real-Time Adaptive Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot. MICAI 2006: 101-111

Sylvie Boldo, César Muñoz: Provably faithful evaluation of polynomials. SAC 2006: 1328-1332

Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195

Songtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286

César Muñoz, David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210

César Muñoz: Applying Real Options and Game Theory to Information System Decision Making: The Application Software Provider Case. AMCIS 2003: 450

César Muñoz: Dependent types and explicit substitutions: a meta-theoretical development. Mathematical Structures in Computer Science 11(1): 91-129 (2001)

César Muñoz, Janusz Zalewski: Archictecture and Performance of Java-Based Distributed Object Models: CORBA vs RMI. Real-Time Systems 21(1-2): 43-75 (2001)

César Muñoz: Proof-term synthesis on dependent-type systems via explicit substitutions. Theor. Comput. Sci. 266(1-2): 407-440 (2001)

Mauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Colombiana de Computación 1(1): 47-71 (2000)

Nikolaj Bjørner, César Muñoz: Absolute Explicit Unification. RTA 2000: 31-46

César Muñoz, John M. Rushby: Structural Embeddings: Mechanization with Method. World Congress on Formal Methods 1999: 452-471

César Muñoz: Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. LICS 1996: 440-447

César Muñoz: Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. TYPES 1996: 294-316