The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

César Muñoz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.108secs, Finished in 0.110secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002