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.

129 Publications


2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 5677 | OA
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9134 | OA
Internal tide dissipation at topography: Triadic resonant instability equatorward and evanescent waves poleward of the critical latitude
O. Richet, J.-M. Chomaz, C.J. Muller, Journal of Geophysical Research: Oceans 123 (2018) 6136–6155.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 | Published | Journal Article | IST-REx-ID: 9568 | OA
Intercalates and discrepancy in random Latin squares
M.A. Kwan, B. Sudakov, Random Structures and Algorithms 52 (2018) 181–196.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Published | Journal Article | IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 122 | OA
Origami building blocks: Generic and special four-vertices
S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 93 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.
T. Ellis, (2016).
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1588
Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 248 | OA
Rational points on pencils of conics and quadrics with many degenerate fibres
T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180 (2014) 381–402.
View | DOI | Download (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2189 | OA
Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
E. Morvant, in:, Elsevier, 2014, pp. 49–58.
[Preprint] View | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 244 | OA
Incomplete kloosterman sums and multiplicative inverses in short intervals
T.D. Browning, A. Haynes, International Journal of Number Theory 9 (2012) 481–486.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3287
What can we learn from single molecule trajectories?
V. Ruprecht, M. Axmann, S. Wieser, G. Schuetz, Current Protein & Peptide Science 12 (2011) 714–724.
View | DOI | WoS
 

2009 | Published | Conference Paper | IST-REx-ID: 165
Resent progress on the quantitative arithmetic of del Pezzo surfaces
T.D. Browning, in:, T. Aoki, S. Kanemitsu, J. Liu (Eds.), World Scientific Publishing, 2009, pp. 1–18.
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 17734 | OA
Premerger localization of gravitational wave standard sirens with LISA: Triggered search for an electromagnetic counterpart
B. Kocsis, Z. Haiman, K. Menou, The Astrophysical Journal 684 (2008) 870–887.
[Published Version] View | DOI | Download Published Version (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 213
The density of rational points on non-singular hypersurfaces, II
T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical Society 93 (2006) 273–303.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3978
Evaluating the quality of NMR structures by local density of protons
Y. Ban, J. Rudolph, P. Zhou, H. Edelsbrunner, Proteins: Structure, Function and Bioinformatics 62 (2006) 852–864.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3979
Interface surfaces for protein-protein complexes
Y. Ban, H. Edelsbrunner, J. Rudolph, Journal of the ACM 53 (2006) 361–378.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 212 | OA
Counting rational points on hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2005) 83–115.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed