Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2934 Publications

2012 | Journal Article | IST-REx-ID: 3836
Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
View | DOI
 
2012 | Journal Article | IST-REx-ID: 3846 | OA
A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 469 | OA
Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
View | DOI | Download Submitted Version (ext.)
 
2011 | Journal Article | IST-REx-ID: 490 | OA
BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
View | Files available | DOI
 

Search

Display / Sort

Citation Style: Default

Export / Embed