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.

2760 Publications


2016 | Conference Paper | IST-REx-ID: 1138   OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium, New York, NY, USA, 2016, pp. 76–85.
View | DOI | Download (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140   OA
K. Chatterjee, W. Dvoák, M. Henzinger, and V. Loitzenbauer, “Model and objective separation with conditional lower bounds disjunction is harder than conjunction,” in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA, 2016, pp. 197–206.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1239
A. Callan Jones, V. Ruprecht, S. Wieser, C.-P. J. Heisenberg, and R. Voituriez, “Cortical flow-driven shapes of nonadherent cells,” Physical Review Letters, vol. 116, no. 2, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1291   OA
A. Giuliani and R. Seiringer, “Periodic striped ground states in Ising models with competing interactions,” Communications in Mathematical Physics, vol. 347, no. 3, pp. 983–1007, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1227   OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335   OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative monitor automata,” presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom, 2016, vol. 9837, pp. 23–38.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1599
E. Kiermaier et al., “Polysialylation controls dendritic cell trafficking by regulating chemokine recognition,” Science, vol. 351, no. 6269, pp. 186–190, 2016.
View | DOI | PubMed | Europe PMC
 

2016 | Technical Report | IST-REx-ID: 5445
K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183
D.-C. Tarlungeanu et al., “Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder,” Cell, vol. 167, no. 6, pp. 1481–1494, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity II,” presented at the GD: Graph Drawing and Network Visualization, Athens, Greece, 2016, vol. 9801, pp. 468–481.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5452   OA
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1373   OA
O. Martin and M. P. Zagórski, “Network architectures and operating principles. Reply to comments on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function",” Physics of Life Reviews, vol. 17, pp. 168–171, 2016.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1260   OA
D. De Martino, “The dual of the space of interactions in neural network models,” International Journal of Modern Physics C, vol. 27, no. 6, p. 1650067, 2016.
View | DOI | Download (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1359   OA
T. Paixao and N. H. Barton, “The effect of gene interactions on the long-term response to selection,” PNAS, vol. 113, no. 16, pp. 4422–4427, 2016.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1289   OA
O. Dunaeva et al., “The classification of endoscopy images with persistent homology,” Pattern Recognition Letters, vol. 83, no. 1, pp. 13–22, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1328
H. Watzinger et al., “Heavy-hole states in germanium hut wires,” Nano Letters, vol. 16, no. 11, pp. 6879–6885, 2016.
View | Files available | DOI
 

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, pp. 2318–2334, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1141
R. Łazarz, M. Idzik, K. Gądek, and E. P. Gajda-Zagorska, “Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization,” Journal of Computational Science, vol. 17, no. 1, pp. 249–260, 2016.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed