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.

126 Publications


2012 | Book Chapter | IST-REx-ID: 5745 | OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In Automated Technology for Verification and Analysis, 7561:107–21. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 11796
Henzinger, Monika H, and Angelina Vidali. “Multi-Parameter Mechanism Design under Budget and Matroid Constraints.” In 19th Annual European Symposium on Algorithms, 6942:192–202. Springer Nature, 2011. https://doi.org/10.1007/978-3-642-23719-5_17.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Conference Paper | IST-REx-ID: 11797 | OA
Feldman, Jon, Monika H Henzinger, Nitish Korula, Vahab S. Mirrokni, and Cliff Stein. “Online Stochastic Packing Applied to Display Ad Allocation.” In 18th Annual European Symposium on Algorithms, 6346:182–194. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-15775-2_16.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Conference Paper | IST-REx-ID: 11798
Dütting, Paul, and Monika H Henzinger. “Mechanisms for the Marriage and the Assignment Game.” In 7th International Conference on Algorithms and Complexity, 6078:6–12. Springer Nature, 2010. https://doi.org/10.1007/978-3-642-13073-1_2.
View | DOI
 

2010 | Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.” In Applications and Theory of Petri Nets, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13675-7_1.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 11799
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Bidder Optimal Assignments for General Utilities.” In 5th International Workshop on Internet and Network Economics, 5929:575–82. Springer Nature, 2009. https://doi.org/10.1007/978-3-642-10841-9_58.
View | Files available | DOI
 

2004 | Conference Paper | IST-REx-ID: 11801
Henzinger, Monika H. “Algorithmic Aspects of Web Search Engines.” In 2th Annual European Symposium on Algorithms, 3221:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-30140-0_2.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 11800
Henzinger, Monika H. “The Past, Present, and Future of Web Search Engines.” In 31st International Colloquium on Automata, Languages and Programming, 3142:3. Springer Nature, 2004. https://doi.org/10.1007/978-3-540-27836-8_2.
View | DOI
 

Filters and Search Terms

issn%3D1611-3349

Search

Filter Publications