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.




4947 Publications

2016 | Conference Paper | IST-REx-ID: 1319
M. Bächer et al., “DefSense: computational design of customized deformable input devices,” presented at the CHI: Conference on Human Factors in Computing Systems, San Jose, California, USA, 2016, pp. 3806–3816.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1323 | OA
N. Vyleta, C. Borges Merjane, and P. M. Jonas, “Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses,” eLife, vol. 5. eLife Sciences Publications, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1325 | OA
T. Brázdil, V. Forejt, A. Kučera, and P. Novotný, “Stability in graphs and games,” presented at the CONCUR: Concurrency Theory, Quebec City, Canada, 2016, vol. 59.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1320
M. Lang and E. Sontag, “Scale-invariant systems realize nonlinear differential operators,” presented at the ACC: American Control Conference, Boston, MA, USA, 2016, vol. 2016–July.
[Preprint] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1324
K. Chatterjee and M. Chmelik, “Indefinite-horizon reachability in Goal-DEC-POMDPs,” in Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, London, United Kingdom, 2016, vol. 2016–January, pp. 88–96.
View | Download None (ext.)
 

Search

Filter Publications