Please note that ISTA 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.

1953 Publications


2018 |Published| Conference Paper | IST-REx-ID: 297 | OA
Strategy representation by decision trees in reactive synthesis
T. Brázdil, K. Chatterjee, J. Kretinsky, V. Toman, in:, Springer, 2018, pp. 385–407.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 141 | OA
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 298 | OA
Sustained space complexity
J.F. Alwen, J. Blocki, K.Z. Pietrzak, in:, Springer, 2018, pp. 99–130.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 156 | OA
The compound interest in relaxing punctuality
T. Ferrere, in:, Springer, 2018, pp. 147–164.
[Submitted Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 5992 | OA
On the relation between filament density, force generation, and protrusion rate in mesenchymal cell motility
S. Dolati, F. Kage, J. Mueller, M. Müsken, M. Kirchner, G. Dittmar, M.K. Sixt, K. Rottner, M. Falcke, Molecular Biology of the Cell 29 (2018) 2674–2686.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 |Published| Journal Article | IST-REx-ID: 6003 | OA
State of the art on stylized fabrication
B. Bickel, P. Cignoni, L. Malomo, N. Pietroni, Computer Graphics Forum 37 (2018) 325–342.
[Submitted Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 6002 | OA
The Bogoliubov free energy functional I: Existence of minimizers and phase diagram
M.M. Napiórkowski, R. Reuvers, J.P. Solovej, Archive for Rational Mechanics and Analysis 229 (2018) 1037–1090.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 25 | OA
Goal-HSVI: Heuristic search value iteration for goal-POMDPs
K. Horák, B. Bošanský, K. Chatterjee, in:, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI, 2018, pp. 4764–4770.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2018 |Published| Conference Paper | IST-REx-ID: 6941 | OA
SpaceMint: A cryptocurrency based on proofs of space
S. Park, A. Kwon, G. Fuchsbauer, P. Gazi, J.F. Alwen, K.Z. Pietrzak, in:, 22nd International Conference on Financial Cryptography and Data Security, Springer Nature, 2018, pp. 480–499.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 8618 | OA
Novel reversibly switchable fluorescent proteins for RESOLFT and STED nanoscopy engineered from the bacterial photoreceptor YtvA
C. Gregor, S.C. Sidenstein, M. Andresen, S.J. Sahl, J.G. Danzl, S.W. Hell, Scientific Reports 8 (2018).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2018 |Published| Conference Paper | IST-REx-ID: 10882 | OA
Learning intelligent dialogs for bounding box annotation
J. Uijlings, K. Konyushkova, C. Lampert, V. Ferrari, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 9175–9184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2018 |Published| Thesis | IST-REx-ID: 200 | OA
Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 6006 | OA
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 738 | OA
Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
[Published Version] View | Files available | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 70 | OA
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2018 |Published| Journal Article | IST-REx-ID: 6
A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
View | DOI | WoS
 

2018 |Published| Journal Article | IST-REx-ID: 5673 | OA
Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2018 |Submitted| Preprint | IST-REx-ID: 6183 | OA
The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2018 | Research Data | IST-REx-ID: 5583 | OA
Data and Python scripts supporting Python package FAPS
T. Ellis, (2018).
[Published Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 5751 | OA
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-3-99078-004-6

Search

Filter Publications