Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(266)
Gilles Dowek
14
Victor A. Carreno (Victor Carreño)
12
Wolfgang Freund Grunewaldt
8
Tomas Arredondo (Tomás Arredondo)
8
Parameswaran Ramanathan
6
Conferences
(28)
TPHOLs
4
DAS
3
IEA/AIE
2
Types for Proofs and Programs
2
WSC
2
Journals
(25)
INTENS CARE MED
3
STTT
2
MSCS
2
RTS
2
TCS
2
Keywords
(251)
Embed
Subscribe
Academic
Authors
Cesar A. Munoz
Cesar A. Munoz (César A. Muñoz),National Aeronautics and Space Administration, United States,Algorithms & Theory,Software Engineering,Hardware & Archi
Edit
Cesar A. Munoz (César A. Muñoz)
National Aeronautics and Space Administration, United States
Publications:
108
|
Citations:
566
Fields:
Algorithms & Theory
,
Software Engineering
,
Hardware & Architecture
View FAQ about top research areas and Fields of study
Collaborated with
266 co-authors
from 1992 to 2011
|
Cited by
863 authors
Cumulative
Annual
Sort by:
Publications
(108)
BibTeX
|
RIS
|
RefWorks
Download
A formal library of set relations and its application to synchronous languages
Camilo Rocha
,
César Muñoz
,
Gilles Dowek
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 37, pp. 4853-4866, 2011
Oval Fiber Posts Do Not Improve Adaptation to Oval-shaped Canal Walls
César Muñoz
,
Carmen Llena
,
Leopoldo Forner
Journal:
Journal of Endodontics - J ENDODONT
, vol. 37, no. 10, pp. 1386-1389, 2011
Preface: special issue on NASA Formal Methods Symposium 2010
César A. Muñoz
Journal:
Innovations in Systems and Software Engineering - ISSE
, vol. 7, no. 2, pp. 71-72, 2011
The proof monad
(
Citations: 1
)
Florent Kirchner
,
César Muñoz
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 79, no. 3-5, pp. 264-277, 2010
Gastritis enfisematosa secundaria a ingesta de cáusticos: reporte de un caso
César Muñoz
,
Rodrigo Fernández
,
Verónica Fonseca
,
Luis Jara
Journal:
Gastroenterology
, vol. 33, no. 2, pp. 106-110, 2010
Sort by:
Citations
(566 times by 481 publications)
Inflammatory Popliteal Aneurysm
Daijirou Akamatsu
,
Fumiyoshi Fujishima
,
Akira Sato
,
Hitoshi Goto
,
Tetsuo Watanabe
,
Munetaka Hashimoto
,
Takuya Shimizu
,
Hirofumi Sugawara
,
Teiji Miura
,
Tsutomu Zukeran
,
Fukashi Serizawa
,
Yow Hamada
http://academic.research.microsoft.com/io.ashx?type=5&id=49409350&selfId1=3320962&selfId2=0&maxNumber=12&query=
Journal:
Annals of Vascular Surgery - ANN VASCULAR SURG
, vol. 25, no. 5, pp. 698.e13-698.e16, 2011
Paleoepidemiology of pre-Columbian and Colonial Panamá Viejo: a preliminary study
C. M. Rojas-Sepúlveda
,
J. Rivera-Sandoval
,
J. G. Martín-Rincón
Published in 2011.
Role of Host Glycosphingolipids on Paracoccidioides brasiliensis Adhesion
Cristina Y. Ywazaki
,
Paloma K. Maza
,
Erika Suzuki
,
Helio K. Takahashi
,
Anita H. Straus
Journal:
Mycopathologia
, vol. 171, no. 5, pp. 325-332, 2011
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
F. L. C. de Moura
,
A. V. Barbosa
,
Mauricio Ayala-Rincón
,
Fairouz Kamareddine
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 269, pp. 41-54, 2011
A tactic language for refinement of state-rich concurrent specifications
Marcel Oliveira
,
Frank Zeyda
,
Ana Cavalcanti
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 9, pp. 792-833, 2011
Comments