César Muñoz

2009
32	EE	Marc 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
30	EE	Tomá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
28	EE	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
27	EE	Tomá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
26	EE	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
25	EE	Marc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
24	EE	Myla Archer, Thierry Boy de la Tour, César Muñoz: Preface. Electr. Notes Theor. Comput. Sci. 174(11): 1-2 (2007)
23	EE	Florent Kirchner, César Muñoz: PVS#: Streamlined Tacticals for PVS. Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007)
2006
22	EE	Songtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368
21	EE	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
20	EE	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. MICAI 2006: 101-111
19	EE	Cé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
18	EE	Sylvie Boldo, César Muñoz: Provably faithful evaluation of polynomials. SAC 2006: 1328-1332
2005
17	EE	Songtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286
16	EE	Marc Daumas, Guillaume Melquiond, César Muñoz: Guaranteed Proofs Using Interval Arithmetic. IEEE Symposium on Computer Arithmetic 2005: 188-195
15	EE	César Muñoz, David Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
2004
14	EE	César Muñoz, Gilles Dowek, Victor Carreño: Modeling and verification of an air traffic concept of operations. ISSTA 2004: 175-182
2003
13	EE	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. Winter Simulation Conference 2003: 906-914
12	EE	Cé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
10	EE	Ricky 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)
7	EE	César Muñoz: Proof-term synthesis on dependent-type systems via explicit substitutions. Theor. Comput. Sci. 266(1-2): 407-440 (2001)
2000
6		Nikolaj Bjørner, César Muñoz: Absolute Explicit Unification. RTA 2000: 31-46
5		Victor Carreño, César Muñoz: Aircraft Trajectory Modeling and Altering Algorithm Verification. TPHOLs 2000: 90-105
4	EE	Mauricio Ayala-Rincón, César Muñoz: Explicit Substitions and All That. Revista Comlombiana de Computación 1(1): 47-71 (2000)
1999
3	EE	Cé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

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

Colors in the list of coauthors