×

zbMATH — the first resource for mathematics

Muñoz, César A.

Compute Distance To:
Author ID: munoz.cesar-a Recent zbMATH articles by "Muñoz, César A."
Published as: Munoz, Cesar; Muñoz, C.; Muñoz, Cesar; Muñoz, César; Muñoz, César A.
External Links: MGP
Documents Indexed: 48 Publications since 1989, including 5 Books

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 119 times in 101 Documents Cited by Year
Aspects of type I string phenomenology. Zbl 0958.81124
Ibáñez, L. E.; Muñoz, C.; Rigolin, S.
21
1999
Soft supersymmetry-breaking terms from supergravity and superstring models. Zbl 1106.81314
Brignole, A.; Ibáñez, L. E.; Muñoz, C.
21
1998
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Formalization of Bernstein polynomials and applications to global optimization. Zbl 1314.68286
Muñoz, César; Narkawicz, Anthony
9
2013
Soft supersymmetry-breaking terms from supergravity and superstring models. Zbl 1202.81107
Brignole, A.; Ibáñez, L. E.; Muñoz, C.
9
2010
Verified real number calculations: a library for interval arithmetic. Zbl 1367.65213
Daumas, Marc; Lester, David; Muñoz, César
9
2009
Real number calculations and theorem proving. Zbl 1152.68527
Muñoz, César; Lester, David
6
2005
Formally-verified decision procedures for univariate polynomial computation based on Sturm’s and Tarski’s theorems. Zbl 1356.68196
Narkawicz, Anthony; Muñoz, César; Dutle, Aaron
4
2015
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
PVS#: streamlined tacticals for PVS. Zbl 1277.68242
Kirchner, Florent; Muñoz, César
3
2007
Aircraft trajectory modeling and alerting algorithm verification. Zbl 0974.68548
Carreño, Víctor; Muñoz, César
3
2000
Reducing the number of candidates to standard model in the \(Z_3\) orbifold. Zbl 1323.81114
Casas, J. A.; Mondragon, M.; Muñoz, C.
3
1989
Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Zbl 1149.68013
Mohamed, Otmane Ait (ed.); Muñoz, César (ed.); Tahar, Sofiène (ed.)
2
2008
Determination of the string scale in D-brane scenarios and dark matter implications. Zbl 0983.81072
Cerdeño, D. G.; Gabrielli, E.; Khalil, S.; Muñoz, C.; Torrente-Lujan, E.
2
2001
An abstract interpretation framework for the round-off error analysis of floating-point programs. Zbl 1446.68036
Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A.
1
2018
A formal analysis of the compact position reporting algorithm. Zbl 1403.68324
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César
1
2017
On a reinterpretation of the Higgs field in supersymmetry and a proposal for new quarks. Zbl 1372.81168
López-Fogliani, D. E.; Muñoz, C.
1
2017
Provably correct conflict prevention bands algorithms. Zbl 1243.68153
Narkawicz, Anthony; Muñoz, César; Dowek, Gilles
1
2012
A formal library of set relations and its application to synchronous languages. Zbl 1229.68051
Rocha, Camilo; Muñoz, César; Dowek, Gilles
1
2011
The proof monad. Zbl 1208.68144
Kirchner, Florent; Muñoz, César
1
2010
Dependent types and explicit substitutions: A meta-theoretical development. Zbl 0976.03014
Muñoz, César
1
2001
Phenomenological viability of string and M-theory scenarios. Zbl 0958.81201
Casas, J. A.; Ibarra, A.; Muñoz, C.
1
1999
Dependent types with explicit substitutions: A meta-theoretical development. Zbl 0927.03032
Muñoz, César
1
1998
An abstract interpretation framework for the round-off error analysis of floating-point programs. Zbl 1446.68036
Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A.
1
2018
Rewriting modulo SMT and open system analysis. Zbl 1353.68156
Rocha, Camilo; Meseguer, José; Muñoz, César
3
2017
A formal analysis of the compact position reporting algorithm. Zbl 1403.68324
Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César
1
2017
On a reinterpretation of the Higgs field in supersymmetry and a proposal for new quarks. Zbl 1372.81168
López-Fogliani, D. E.; Muñoz, C.
1
2017
Formally-verified decision procedures for univariate polynomial computation based on Sturm’s and Tarski’s theorems. Zbl 1356.68196
Narkawicz, Anthony; Muñoz, César; Dutle, Aaron
4
2015
Rewriting modulo SMT and open system analysis. Zbl 1367.68151
Rocha, Camilo; Meseguer, José; Muñoz, César
15
2014
Formalization of Bernstein polynomials and applications to global optimization. Zbl 1314.68286
Muñoz, César; Narkawicz, Anthony
9
2013
Provably correct conflict prevention bands algorithms. Zbl 1243.68153
Narkawicz, Anthony; Muñoz, César; Dowek, Gilles
1
2012
A formal library of set relations and its application to synchronous languages. Zbl 1229.68051
Rocha, Camilo; Muñoz, César; Dowek, Gilles
1
2011
Soft supersymmetry-breaking terms from supergravity and superstring models. Zbl 1202.81107
Brignole, A.; Ibáñez, L. E.; Muñoz, C.
9
2010
The proof monad. Zbl 1208.68144
Kirchner, Florent; Muñoz, César
1
2010
Verified real number calculations: a library for interval arithmetic. Zbl 1367.65213
Daumas, Marc; Lester, David; Muñoz, César
9
2009
Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18–21, 2008. Proceedings. Zbl 1149.68013
Mohamed, Otmane Ait (ed.); Muñoz, César (ed.); Tahar, Sofiène (ed.)
2
2008
PVS#: streamlined tacticals for PVS. Zbl 1277.68242
Kirchner, Florent; Muñoz, César
3
2007
Real number calculations and theorem proving. Zbl 1152.68527
Muñoz, César; Lester, David
6
2005
Determination of the string scale in D-brane scenarios and dark matter implications. Zbl 0983.81072
Cerdeño, D. G.; Gabrielli, E.; Khalil, S.; Muñoz, C.; Torrente-Lujan, E.
2
2001
Dependent types and explicit substitutions: A meta-theoretical development. Zbl 0976.03014
Muñoz, César
1
2001
Aircraft trajectory modeling and alerting algorithm verification. Zbl 0974.68548
Carreño, Víctor; Muñoz, César
3
2000
Aspects of type I string phenomenology. Zbl 0958.81124
Ibáñez, L. E.; Muñoz, C.; Rigolin, S.
21
1999
Phenomenological viability of string and M-theory scenarios. Zbl 0958.81201
Casas, J. A.; Ibarra, A.; Muñoz, C.
1
1999
Soft supersymmetry-breaking terms from supergravity and superstring models. Zbl 1106.81314
Brignole, A.; Ibáñez, L. E.; Muñoz, C.
21
1998
Dependent types with explicit substitutions: A meta-theoretical development. Zbl 0927.03032
Muñoz, César
1
1998
Reducing the number of candidates to standard model in the \(Z_3\) orbifold. Zbl 1323.81114
Casas, J. A.; Mondragon, M.; Muñoz, C.
3
1989
all top 5

Cited by 216 Authors

8 Muñoz, César A.
6 Meseguer Guaita, José
4 Arusoaie, Andrei
4 Ibáñez, Luis E.
4 Kobayashi, Tatsuo
4 Melquiond, Guillaume
4 Rusu, Vlad
3 Cámara, Pablo G.
3 Conlon, Joseph Patrick
3 De Alwis, Senarath P.
3 Lucanu, Dorel
3 Marchesano, Fernando
3 Martí-Oliet, Narciso
3 Paulson, Lawrence Charles
2 Acharya, Bobby Samir
2 Alpuente, María
2 Aransay, Jesús
2 Ballis, Demis
2 Berg, Marcus
2 Boldo, Sylvie
2 Brümmer, Felix
2 Divasón, Jose
2 Durán, Francisco
2 Dutle, Aaron
2 Eker, Steven
2 Escobar, Santiago
2 Frechina, Francisco
2 Körs, Boris
2 Lebedev, Oleg V.
2 Lelay, Catherine
2 Lester, David R
2 Li, Wenda
2 Magron, Victor
2 Nakai, Yuichiro
2 Narkawicz, Anthony Joseph
2 Nelson, Brent D.
2 Passmore, Grant Olney
2 Ratz, Michael
2 Rocha, Camilo
2 Roşu, Grigore
2 Sapiña, Julia
2 Şerbănuţă, Traian Florin
2 Shiu, Gary
2 Ştefănescu, Andrei
2 Takahashi, Ryo
2 Talcott, Carolyn L.
2 Uranga, Angel M.
2 Witkowski, Lukas T.
1 Aguirre, Luis Antonio
1 Akbarpour, Behzad
1 Akita, Kensuke
1 Akrami, Yashar
1 Allamigeon, Xavier
1 Altunkaynak, Baris
1 Anderson, Gregory W.
1 Antoniadis, Ignatios
1 Aspinall, David
1 Avgoustidis, A.
1 Basagiannis, Stylianos
1 Bergström, Lars B.
1 Bernardeschi, Cinzia
1 Blumenhagen, Ralph
1 Bobkov, Konstantin
1 Bobot, François
1 Brax, Philippe
1 Bridges, Michael
1 Buchmüller, Wilfried
1 Burgess, Clifford P.
1 Cavalcanti, Ana
1 Cerdeño, David G.
1 Chakravarty, Girish Kumar
1 Chamoun, Nidal
1 Chankowski, Piotr H.
1 Ciobâcă, Ştefan
1 Clavel, Manuel
1 Conrad, Jan O.
1 Cranmer, Kyle
1 Cremades, D.
1 Davis, Anne-Christine
1 De Austri, Roberto Ruiz
1 de Moura, Leonardo
1 Denney, Ewen
1 Domenici, Andrea
1 Dudas, Emilian
1 Edsjö, Joakim
1 Everett, Lisa L.
1 Feroz, Farhan
1 Fichet, Sylvain
1 Font, Anamaría
1 Fridlender, Daniel
1 Fuchs, Michael
1 Futatsugi, Kokichi
1 Gabrielli, Emidio
1 Gaillard, Mary K.
1 Gallego, Diego
1 Garloff, Jürgen
1 Gato-Rivera, Beatriz
1 Gaubert, Stéphane
1 Gauthier, Thibault
1 Giantamidis, Georgios
...and 116 more Authors

Citations by Year