Old Web
English
Sign In
Acemap
>
authorDetail
>
Iván García
Iván García
University of Texas at Austin
Computer science
Theoretical computer science
Assertion
Distributed computing
Data integrity
3
Papers
101
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Surface Classification for Road Distress Detection System Enhancement
2011
Lecture Notes in Computer Science
Miguel Gavilán
David Balcones
Miguel Ángel Sotelo
David Fernandez-Llorca
O. Marcos
C. Fernández
Iván García
Raúl Quintero
Show All
Source
Cite
Save
Citations (4)
Assertion-based repair of complex data structures
2007
ASE | Automated Software Engineering
Bassem Elkarablieh
Iván García
Yuk Lai Suen
Sarfraz Khurshid
Show All
Source
Cite
Save
Citations (62)
Repairing structurally complex data
2005
SPIN | International workshop on Model Checking Software
Sarfraz Khurshid
Iván García
Yuk Lai Suen
Show All
Source
Cite
Save
Citations (35)
1