Please note that IST 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.

6224 Publications

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee, K., Jagadeesan, R., & Pitcher, C. (2006). Games for controls (pp. 70–82). Presented at the CSF: Computer Security Foundations, IEEE.
View | DOI

2006 | Book Review | IST-REx-ID: 3463
Bischofberger, J., Engel, D., Frotscher, M., & Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. Springer.
View | DOI

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives (Vol. 4207, pp. 271–286). Presented at the CSL: Computer Science Logic, Springer.
View | DOI

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2006). Algorithms for Büchi Games. Presented at the GDV: Games in Design and Verification, ACM.
View | Download (ext.)

2006 | Patent | IST-REx-ID: 3510
Edelsbrunner, H., Fu, P., Nekhayev, D., Facello, M., & Williams, S. (2006). Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism. Elsevier. 6,996,505 B1
View | DOI | Download (ext.)


Filter Publications