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.




5046 Publications

2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 10810 | OA
P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
[Preprint] View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
[Published Version] View | Files available
 

Search

Filter Publications