Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1850 Publications
2003 |Published| Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.” Proceedings of the 15th International Conference on Computer Aided Verification, vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. “Counterexample-Guided Control.” Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. “Schedule-Carrying Code.” Proceedings of the 3rd International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4256
Barton, Nicholas H., and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology, vol. 13, no. 16, Cell Press, 2003, pp. R649–51, doi:10.1016/S0960-9822(03)00573-6.
[Published Version]
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4169
Montero, Juan, et al. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology, vol. 13, no. 15, Cell Press, 2003, pp. 1279–89, doi:10.1016/S0960-9822(03)00505-0.
View
| DOI
| PubMed | Europe PMC
2003 |Published| Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation.” Proceedings of the Japanese Conference on Discrete and Computational Geometry , vol. 2866, Springer, 2003, pp. 135–51, doi:10.1007/978-3-540-44400-8_14.
View
| DOI
2003 |Published| Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97, doi:10.1007/3-540-36477-3_7.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 11124 | 
Bilbao-Cortés, Daniel, et al. “Ran Binds to Chromatin by Two Distinct Mechanisms.” Current Biology, vol. 12, no. 13, Elsevier BV, 2002, pp. 1151–56, doi:10.1016/s0960-9822(02)00927-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 6159
de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. “Timed Interfaces.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid Systems.” Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. “Synthesis of Uninitialized Systems.” Proceedings of the 29th International Colloquium on Automata, Languages and Programming, vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. “Temporal Safety Proofs for Systems Code.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. “Time-Safety Checking for Embedded Programs.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.” Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. “A Giotto-Based Helicopter Control System.” Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View
| DOI
2002 |Published| Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. “Trading Probability for Fairness.” Proceedings of the 16th International Workshop on Computer Science Logic, vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 4259 |
Orive, Maria, and Nicholas H. Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics, vol. 162, no. 3, Genetics Society of America, 2002, pp. 1469–85, doi:10.1093/genetics/162.3.1469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC