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
K. Chatterjee, R. Jagadeesan, and C. Pitcher, “Games for controls,” presented at the CSF: Computer Security Foundations, 2006, pp. 70–82.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3499
K. Chatterjee, “Nash equilibrium for upward-closed objectives,” presented at the CSL: Computer Science Logic, 2006, vol. 4207, pp. 271–286.
View | DOI
 

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

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

Search

Filter Publications