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.
9101 Publications
2002 | Patent | IST-REx-ID: 3508 | 
Edelsbrunner H, Fu P. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points. 2002.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
View
2002 | Thesis | IST-REx-ID: 4414
Mang F. Games in open systems verification and synthesis. 2002:1-116.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929. doi:10.1038/nature01170
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View
| DOI
2002 | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View
| DOI