|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing reachable states for nonlinear biological models.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler |
SpaceEx: Scalable Verification of Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
From Cardiac Cells to Genetic Regulatory Networks. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Colas Le Guernic, Bruce H. Krogh |
Reachable set computation for uncertain time-varying linear systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler |
Approximating the Pareto Front of Multi-criteria Optimization Problems. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Colas Le Guernic, Oded Maler |
Computing Reachable States for Nonlinear Biological Models. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Colas Le Guernic, Antoine Girard |
Reachability Analysis of Hybrid Systems Using Support Functions. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, Colas Le Guernic |
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, Colas Le Guernic, Oded Maler |
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")