dblp.uni-trier.dewww.uni-trier.de

César Muñoz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
32EEMarc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)
2008
31 Otmane Aït Mohamed, César Muñoz, Sofiène Tahar: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings Springer 2008
30EETomás Arredondo, Wolfgang Freund, César Muñoz: Entropy Based Diversity Measures in Evolutionary Mobile Robot Navigation. IEA/AIE 2008: 129-138
2007
29 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
28EECé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
27EETomás Arredondo Vidal, Wolfgang Freund, César Muñoz, Fernando Quirós: Learning Performance in Evolutionary Behavior Based Mobile Robot Navigation. MICAI 2007: 811-820
26EEAndré 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
25EEMarc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
24EEMyla Archer, Thierry Boy de la Tour, César Muñoz: Preface. Electr. Notes Theor. Comput. Sci. 174(11): 1-2 (2007)
23EEFlorent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)
2006
22EESongtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368
21EETomá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
20EEWolfgang 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. MICAI 2006: 101-111
19EECésar Muñoz, Victor Carreño, Gilles Dowek: Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. RODIN Book 2006: 306-325
18EESylvie Boldo, César Muñoz: Provably faithful evaluation of polynomials. SAC 2006: 1328-1332
2005
17EESongtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286
16EEMarc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195
15EECésar Muñoz, David Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
2004
14EECésar Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182
2003
13EERicky 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. Winter Simulation Conference 2003: 906-914
12EECésar Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler: Formal verification of conflict detection algorithms. STTT 4(3): 371-380 (2003)
2002
11 Victor Carreño, César Muñoz, Sofiène Tahar: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings Springer 2002
2001
10EERicky W. Butler, Victor Carreño, Gilles Dowek, César Muñoz: Formal Verification of Conflict Detection Algorithms. CHARME 2001: 403-417
9 César Muñoz: Dependent types and explicit substitutions: a meta-theoretical development. Mathematical Structures in Computer Science 11(1): 91-129 (2001)
8 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)
7EECésar Muñoz: Proof-term synthesis on dependent-type systems via explicit substitutions. Theor. Comput. Sci. 266(1-2): 407-440 (2001)
2000
6EENikolaj Bjørner, César Muñoz: Absolute Explicit Unification. RTA 2000: 31-46
5EEVictor Carreño, César Muñoz: Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105
4EEMauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Comlombiana de Computación 1(1): 47-71 (2000)
1999
3EECésar Muñoz, John M. Rushby: Structural Embeddings: Mechanization with Method. World Congress on Formal Methods 1999: 452-471
1996
2 César Muñoz: Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. LICS 1996: 440-447
1 César Muñoz: Dependent Types with Explicit Substitutiuons: A Meta-theoretical development. TYPES 1996: 294-316

Coauthor Index

1Myla Archer [24]
2Mauricio Ayala-Rincón [4] [26]
3Nikolaj Bjørner [6]
4Sylvie Boldo [18]
5Ricky W. Butler [10] [12] [13]
6Victor Carreño [5] [10] [11] [12] [14] [19]
7Marc Daumas [16] [25] [32]
8Gilles Dowek [10] [12] [14] [19]
9Wolfgang Freund [20] [21] [27] [30]
10André Luiz Galdino [26]
11Alfons Geser [13]
12Florent Kirchner [23]
13David Lester [15] [25] [32]
14Jeffrey Maddalon [13]
15Guillaume Melquiond [16]
16Otmane Aït Mohamed [31]
17Nicolás Navarro [20] [21]
18Jorge Puente [28]
19Fernando Quirós [20] [21] [27]
20Inés González Rodríguez [29]
21John M. Rushby [3]
22María R. Sierra [28] [29]
23Sofiène Tahar [11] [31]
24Thierry Boy de la Tour [24]
25Ramiro Varela [28] [29]
26Camino R. Vela [28]
27Tomás Arredondo Vidal (Tomás Arredondo) [20] [21] [27] [30]
28Ben Di Vito [17] [22]
29Songtao Xia [17] [22]
30Janusz Zalewski [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)