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.

8923 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software , 132–141.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference, 1675–1682.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. 2006. Strategy improvement and randomized subexponential algorithms for stochastic parity games. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 512–523.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2455
Billou I, Xu J, Wildwater M, Willemsen V, Paponov I, Friml J, Heldstra R, Aida M, Palme K, Scheres B. 2005. The PIN auxin efflux facilitator network controls growth and patterning in Arabidopsis roots. Nature. 433(7021), 39–44.
View | DOI
 

2005 | Published | Book Chapter | IST-REx-ID: 2463
Dubová J, Hejátko J, Friml J. 2005.Reproduction, plants. In: Encyclopedia of Molecular Cell Biology and Molecular Medicine. vol. 12, 249–295.
View | DOI
 

2005 | Published | Book Chapter | IST-REx-ID: 2464
Friml J, Wiśniewska J. 2005.Auxin as an intercellular signal. In: Intercellular Communication in Plants. Annual Plant Reviews, vol. 16.
View
 

2005 | Published | Book Review | IST-REx-ID: 2647
Luján R, Shigemoto R, López Bendito G. 2005. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 130(3), 567–580.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2648
Luján R, Albasanz J, Shigemoto R, Juíz J. 2005. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 21(8), 2073–2082.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, Momiyama A, Molnár E, Kasai H, Shigemoto R. 2005. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 25(4), 799–807.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. 2005. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 21(11), 3034–3042.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed