Search the dblp DataBase

Publications of Author

1. Marc Daumas, Guillaume Melquiond, César Muñoz
   Guaranteed Proofs Using Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Computer Arithmetic, 2005, pp:188-195 [Conf]
   
2. Songtao Xia, Ben Di Vito, César Muñoz
   Predicate Abstraction of Programs with Non-linear Computation. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:352-368 [Conf]
   
3. Ricky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz
   Formal Verification of Conflict Detection Algorithms. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:403-417 [Conf]
   
4. César Muñoz, John M. Rushby
   Structural Embeddings: Mechanization with Method. [Citation Graph (0, 0)][DBLP]
   World Congress on Formal Methods, 1999, pp:452-471 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2006, pp:462-471 [Conf]
   
6. César Muñoz, Gilles Dowek, Victor Carreño
   Modeling and verification of an air traffic concept of operations. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2004, pp:175-182 [Conf]
   
7. Songtao Xia, Ben Di Vito, César Muñoz
   Automated test generation for engineering applications. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:283-286 [Conf]
   
8. César Muñoz
   Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. [Citation Graph (0, 0)][DBLP]
   LICS, 1996, pp:440-447 [Conf]
   
9. Wolfgang Freund, Tomás Arredondo Vidal, César Muñoz, Nicolás Navarro, Fernando Quirós
   Real-Time Adaptive Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot. [Citation Graph (0, 0)][DBLP]
   MICAI, 2006, pp:101-111 [Conf]
   
10. Nikolaj Bjørner, César Muñoz
    Absolute Explicit Unification. [Citation Graph (0, 0)][DBLP]
    RTA, 2000, pp:31-46 [Conf]
    
11. Sylvie Boldo, César Muñoz
    Provably faithful evaluation of polynomials. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1328-1332 [Conf]
    
12. Victor Carreño, César Muñoz
    Aircraft Trajectory Modeling and Altering Algorithm Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:90-105 [Conf]
    
13. César Muñoz, David Lester
    Real Number Calculations and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2005, pp:195-210 [Conf]
    
14. César Muñoz
    Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:294-316 [Conf]
    
15. Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz
    Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:906-914 [Conf]
    
16. César Muñoz, Victor Carreño, Gilles Dowek
    Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:306-325 [Conf]
    
17. César Muñoz
    Dependent types and explicit substitutions: a meta-theoretical development. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:1, pp:91-129 [Journal]
    
18. Mauricio Ayala-Rincón, César Muñoz
    Explicit Substitions and All That. [Citation Graph (0, 0)][DBLP]
    Revista Comlombiana de Computación, 2000, v:1, n:1, pp:47-71 [Journal]
    
19. César Muñoz, Janusz Zalewski
    Archictecture and Performance of Java-Based Distributed Object Models: CORBA vs RMI. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2001, v:21, n:1-2, pp:43-75 [Journal]
    
20. César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
    Formal verification of conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:371-380 [Journal]
    
21. César Muñoz
    Proof-term synthesis on dependent-type systems via explicit substitutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:407-440 [Journal]
    
22. César Muñoz, María Sierra, Jorge Puente, Camino R. Vela, Ramiro Varela
    Improving Cutting-Stock Plans with Multi-objective Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    IWINAC (1), 2007, pp:528-537 [Conf]
    
23. Tomás Arredondo Vidal, Wolfgang Freund, César Muñoz, Fernando Quirós
    Learning Performance in Evolutionary Behavior Based Mobile Robot Navigation. [Citation Graph (0, 0)][DBLP]
    MICAI, 2007, pp:811-820 [Conf]
    
24. André L. Galdino, César Muñoz, Mauricio Ayala-Rincón
    Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:177-188 [Conf]
    
25. Marc Daumas, David Lester, César Muñoz
    Verified Real Number Calculations: A Library for Interval Arithmetic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
26. Myla Archer, Thierry Boy de la Tour, César Muñoz
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:1-2 [Journal]
    
27. Florent Kirchner, César Muñoz
    PVS#: Streamlined Tacticals for PVS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:11, pp:47-58 [Journal]
    
28. 
    A Multi-Objective Genetic Algorithm for Cutting-Stock in Plastic Rolls Industry. [Citation Graph (, )][DBLP]
    
    
29. 
    Entropy Based Diversity Measures in Evolutionary Mobile Robot Navigation. [Citation Graph (, )][DBLP]
    
    
30. 
    Rewriting Logic Semantics of a Plan Execution Language [Citation Graph (, )][DBLP]