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.

2770 Publications


2016 | Conference Paper | IST-REx-ID: 1140   OA
Chatterjee, Krishnendu, Wolfgang Dvoák, Monika Henzinger, and Veronika 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, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1239
Callan Jones, Andrew, Verena Ruprecht, Stefan Wieser, Carl-Philipp J Heisenberg, and Raphaël Voituriez. “Cortical Flow-Driven Shapes of Nonadherent Cells.” Physical Review Letters 116, no. 2 (2016). https://doi.org/10.1103/PhysRevLett.116.028102.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1291   OA
Giuliani, Alessandro, and Robert Seiringer. “Periodic Striped Ground States in Ising Models with Competing Interactions.” Communications in Mathematical Physics 347, no. 3 (2016): 983–1007. https://doi.org/10.1007/s00220-016-2665-0.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. https://doi.org/10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Monitor Automata,” 9837:23–38. Springer, 2016. https://doi.org/10.1007/978-3-662-53413-7_2.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1599
Kiermaier, Eva, Christine Moussion, Christopher Veldkamp, Rita Gerardy  Schahn, Ingrid De Vries, Larry Williams, Gary Chaffee, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” Science 351, no. 6269 (2016): 186–90. https://doi.org/10.1126/science.aad0512.
View | DOI | PubMed | Europe PMC
 

2016 | Technical Report | IST-REx-ID: 5445
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1183
Tarlungeanu, Dora-Clara, Elena Deliu, Christoph Dotter, Majdi Kara, Philipp Janiesch, Mariafrancesca Scalise, Michele Galluccio, et al. “Impaired Amino Acid Transport at the Blood Brain Barrier Is a Cause of Autism Spectrum Disorder.” Cell 167, no. 6 (2016): 1481–94. https://doi.org/10.1016/j.cell.2016.11.013.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1164
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity II,” 9801:468–81. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_36.
View | Files available | DOI | Download (ext.) | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed