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.
1621 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1524 | 
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1522 |
Avvakumov S. 2016. The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. 16(1), 1–25.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1526 |
Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1164 |
Fulek R, Pelsmajer M, Schaefer M. 2016. Hanani-Tutte for radial planarity II. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 468–481.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1608 |
Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1612 |
Kazda A. 2016. CSP for binary conservative relational structures. Algebra Universalis. 75(1), 75–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1641 |
Zemová R, Zwiewka M, Bielach A, Robert H, Friml J. 2016. A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. 35(2), 465–476.
[Preprint]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1225 |
Fuchsbauer G, Hanser C, Kamath Hosdurg C, Slamanig D. 2016. Practical round-optimal blind signatures in the standard model from weaker assumptions. SCN: Security and Cryptography for Networks, LNCS, vol. 9841, 391–408.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1653 |
Okamoto T, Pietrzak KZ, Waters B, Wichs D. 2016. New realizations of somewhere statistically binding hashing and positional accumulators. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 9452, 121–145.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 173 |
Browning TD, Booker A. 2016. Square-free values of reducible polynomials. Discrete Analysis. 8, 1–18.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1411 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2016. Untangling two systems of noncrossing curves. Israel Journal of Mathematics. 212(1), 37–79.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 382
Luo Z, Irtem E, Ibanez M, Nafria R, Márti Sánchez S, Genç A, De La Mata M, Liu Y, Cadavid D, Llorca J, Arbiol J, Andreu T, Morante J, Cabot A. 2016. Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. 8, 17435–17444.
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1379 |
Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5446 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5447 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. 2016. On functionality of quadraginta octants of naive sphere with application to circle drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 9647, 256–267.
View
| DOI