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.

6324 Publications


2016 | Published | Journal Article | IST-REx-ID: 1662 | OA
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Journal Article | IST-REx-ID: 1705 | OA
Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 1707
Optimal geospatial allocation of volunteers for crisis management
J. Pielorz, C. Lampert, in:, IEEE, 2016.
View | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 8094 | OA
Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, 15th International Conference on the Synthesis and Simulation of Living Systems, MIT Press, 2016, pp. 142–143.
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 948 | OA
Neurons equipped with intrinsic plasticity learn stimulus intensity statistics
T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems Foundation, 2016, pp. 4285–4293.
View | Download None (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Data from: How does epistasis influence the response to selection?
N.H. Barton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9720 | OA
Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 478 | OA
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
[Published Version] View | Files available | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 479
Use runtime verification to improve the quality of medical care practice
Y. Jiang, H. Liu, H. Kong, R. Wang, M. Hosseini, J. Sun, L. Sha, in:, Proceedings of the 38th International Conference on Software Engineering Companion , IEEE, 2016, pp. 112–121.
View | DOI | WoS
 

2016 | Published | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2016 | Published | Conference Paper | IST-REx-ID: 482
Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optica Publishing Group, 2016.
View | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 510 | OA
The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling & Behavior 11 (2016).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2016 | Published | Technical Report | IST-REx-ID: 5445 | OA
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5446 | OA
Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
[Published Version] View | Files available
 

2016 | Published | Technical Report | IST-REx-ID: 5448 | OA
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
[Published Version] View | Files available | arXiv
 

2016 | Published | Technical Report | IST-REx-ID: 5449 | OA
Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
[Updated Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5451 | OA
Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

2016 | Published | Technical Report | IST-REx-ID: 5452 | OA
Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed