Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3436 Publications

2013 | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. 2013. Quantitative relaxation of concurrent data structures. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 317–328.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 115–128.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. 2013. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. ISVD: Voronoi Diagrams in Science and Engineering, 2013 10th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2013) , , 37–46.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2210 | OA
Biedl T, Held M, Huber S. 2013. Reconstructing polygons from embedded straight skeletons. 29th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry, 95–98.
View | Download Submitted Version (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. 2013. Tree interpolation in Vampire. 8312, 173–181.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee K, Forejt V, Wojtczak D. 2013. Multi-objective discounted reward verification in graphs and MDPs. 8312, 228–242.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn J, Otop J. 2013. Elementary modal logics over transitive structures. 23, 563–577.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2013. Untangling two systems of noncrossing curves. 8242, 472–483.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2256 | OA
Danowski P, Goldfarb D, Schaffner V, Seidler W. 2013. Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen. 66(3/4), 559–587.
View | Files available
 
2013 | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz E, Pietrzak KZ, Szegedy M. 2013. Digital signatures with minimal overhead from indifferentiable random invertible functions. 8042, 571–588.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2259 | OA
Alwen JF, Krenn S, Pietrzak KZ, Wichs D. 2013. Learning with rounding, revisited: New reduction properties and applications. 8042(1), 57–74.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 476 | OA
Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 499
Wakamoto Y, Dhar N, Chait RP, Schneider K, Signorino Gelo F, Leibler S, Mckinney J. 2013. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 339(6115), 91–95.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 500 | OA
Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. 2013. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 13(1), 222.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol M, Clozato C, Holanda E, Rodrigues F, Nienow S, De Thoisy B, Fernandes Redondo RA, Santos F. 2013. A new species of tapir from the Amazon. Journal of Mammalogy. 94(6), 1331–1345.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. 2013. Short blind signatures. Journal of Computer Security. 21(5), 627–661.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 505
Greimel K, Perz V, Koren K, Feola R, Temel A, Sohar C, Herrero Acero E, Klimant I, Guebitz G. 2013. Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. 15(2), 381–388.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 507 | OA
Kim S, Xu Z, Song K, Kim D, Kang H, Reichardt I, Sohn E, Friml J, Juergens G, Hwang I. 2013. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 25(8), 2970–2985.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 508 | OA
Tarazona Santos E, Machado M, Magalhães W, Chen R, Lyon F, Burdett L, Crenshaw A, Fabbri C, Pereira L, Pinto L, Fernandes Redondo RA, Sestanovich B, Yeager M, Chanock S. 2013. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. 30(9), 2157–2167.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo S, Irani N, Kim S, Xu Z, Gadeyne A, Dejonghe W, Vanhoutte I, Persiau G, Eeckhout D, Simon S, Song K, Kleine Vehn J, Friml J, De Jaeger G, Van Damme D, Hwang I, Russinova E. 2013. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. 25(8), 2986–2997.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

type<>research_data

Search

Filter Publications