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.

303 Publications


2012 | Journal Article | IST-REx-ID: 2879
Bencivenga S, Simonini S, Benková E, Colombo L. 2012. The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis. Plant Cell. 24(7), 2886–2897.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. 2012. Quantitative reactive models. Conference proceedings MODELS 2012. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590, 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. 2012. Synthesis from incompatible specifications. Proceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software , 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker U, Henzinger TA. 2012. Approximate determinization of quantitative automata. Leibniz International Proceedings in Informatics. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 362–373.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2902
Edelsbrunner H, Musin O, Ukhalov A, Yakimova O, Alexeev V, Bogaevskaya V, Gorohov A, Preobrazhenskaya M. 2012. Fractal and computational geometry for generalizing cartographic objects. Modeling and Analysis of Information Systems. 19(6), 152–160.
View | Download None (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2903 | OA
Edelsbrunner H, Symonova O. 2012. The adaptive topology of a digital image. ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, 41–48.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2904 | OA
Pausinger F. 2012. Weak multipliers for generalized van der Corput sequences. Journal de Theorie des Nombres des Bordeaux. 24(3), 729–749.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner H, Ivanov A, Karasev R. 2012. Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. in print.
View
 

2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner H, Strelkova N. 2012. Configuration space for shortest networks . Uspekhi Mat. Nauk. 67(6), 203–204.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2915
Kroemer O, Lampert C, Peters J. 2012. Multi-modal learning for dynamic tactile sensing
View
 

2012 | Conference Paper | IST-REx-ID: 2916 | OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. 2012. Interface Simulation Distances. Electronic Proceedings in Theoretical Computer Science. GandALF: Games, Automata, Logic, and Formal Verification vol. 96, 29–42.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 2917
de Vladar H. 2012. The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. 12(1), 53–62.
View | DOI
 

2012 | Preprint | IST-REx-ID: 2928 | OA
Kolmogorov V, Schoenemann T. 2012. Generalized sequential tree-reweighted message passing. arXiv, .
View | Download Preprint (ext.) | arXiv
 

2012 | Report | IST-REx-ID: 2929 | OA
Kolmogorov V. 2012. The power of linear programming for valued CSPs: a constructive characterization, Unknown,p.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2930 | OA
Huber A, Kolmogorov V. 2012. Towards minimizing k-submodular functions. ISCO: International Symposium on Combinatorial Optimization, LNCS, vol. 7422, 451–462.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2931
Torresani L, Kolmogorov V, Rother C. 2012. A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. 35(2), 259–271.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee K, Henzinger TA, Prabhu V. 2012. Finite automata with time delay blocks. roceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software , 43–52.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937 | OA
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. 2012. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. Proceedings of the 2012 ACM conference on Computer and communications security. CCS: Computer and Communications Security, 488–500.
View | DOI | Download Submitted Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2938
Ugelvig LV, Cremer S. 2012. Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. 26(6), 1300–1312.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2941 | OA
Dolbilin N, Edelsbrunner H, Musin O. 2012. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 67(4), 781–783.
View | Files available | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications