Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(64)
Frank D. Valencia
16
Carlos Alberto Olarte
15
Jorge A. Perez (Jorge A. Pérez)
13
Gerard Assayag
7
Juan Francisco Diaz Frias (Juan Francisco Díaz Frías)
7
Conferences
(11)
ICLP(JICSLP)
5
MOZ
3
ASM
1
SARA
1
SCCC
1
Journals
(9)
CONSTRAINTS
2
ENTCS
2
Clei Electronic Journal
2
SOCO
1
RCC
1
Keywords
(144)
Embed
Subscribe
Academic
Authors
Camilo Rueda
Edit
Camilo Rueda
Pontificia Universidad Javeriana Cali
Publications: 48
|
Citations: 235
|
G-Index: 13
|
H-Index: 7
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
64 co-authors
from 1994 to 2011
; Cited by
186 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(48)
BibTeX
|
RIS
|
RefWorks
Download
Verification of JML generic types with Yices
Nestor Catano
,
Camilo Rueda
,
Sorren Hanvey
Conference:
Colombian Computing Congress - CCC
, 2011
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
Néstor Cataño
,
Camilo Rueda
Conference:
Workshops on Abstract State Machines - ASM
, pp. 259-272, 2010
Instrument Interface Standards for Interoperable Ocean Sensor Networks
(
Citations: 7
)
T. C. O'Reilly
,
K. Headley
,
D. R. Edgington
,
C. Rueda
,
K. Lee
,
E. Song
,
J. Zedlitz
,
J. del Rio
,
D. Toma
,
A. Manuel
,
E. Delory
,
C. Waldmann
http://academic.research.microsoft.com/io.ashx?type=5&id=27807003&selfId1=391570&selfId2=0&maxNumber=12&query=
Conference:
OCEANS - Europe - EUROPE
, 2009
Daily reference evapotranspiration for California using satellite imagery and weather station measurement interpolation
(
Citations: 3
)
Q. J. Hart
,
M. Brugnach
,
B. Temesgen
,
C. Rueda
,
S. L. Ustin
,
K. Frame
Journal:
Civil Engineering and Environmental Systems - CIV ENG ENVIRON SYST
, vol. 26, no. 1, pp. 19-33, 2009
A Case Study in JML-Assisted Software Development
(
Citations: 1
)
Néstor Cataño
,
Fernando Barraza
,
Daniel García
,
Pablo Ortega
,
Camilo Rueda
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 240, pp. 5-21, 2009
Order by:
Citations
(235 times by 156 publications)
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson
,
Magnus Johansson
,
Joachim Parrow
,
Björn Victor
Journal:
Computing Research Repository - CORR
, vol. abs/1101.3, 2011
The PLOCAN observatory: A multidisciplinary multiplatform observing system for the central-eastern Atlantic ocean
E. Delory
,
J. Hernandez-Brito
,
O. Llinas
Conference:
OCEANS - Europe - EUROPE
, 2011
Interoperable data management and instrument control experiences at OBSEA
Joaquin del Rio
,
Daniel Mihai Toma
,
Thomas C. O'reilly
,
Arne H. Broring
,
Antoni Manuel
,
Kent L. Headley
,
Duane Edgington
Conference:
OCEANS - Europe - EUROPE
, 2011
Smart sensors for interoperable Smart Ocean Environment
Daniel Mihai Toma
,
Tom O'Reilly
,
Joaquin del Rio
,
Kent Headley
,
Antoni Manuel
,
Arne Broring
,
Duane Edgington
Conference:
OCEANS - Europe - EUROPE
, 2011
Efficient Network Reconfiguration Using Minimum Cost Maximum Flow-Based Branch Exchanges and Random Walks-Based Loss Estimations
Cristinel Ababei
,
Rajesh Kavasseri
Journal:
IEEE Transactions on Power Systems - IEEE TRANS POWER SYST
, vol. 26, no. 1, pp. 30-37, 2011
Comments