Items where Subject is "000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: A | B | C | D | E | F | G | H | J | K | L | M | N | O | P | Q | R | S | T | W | Y | Z | Č
Number of items at this level: 185.

A

Ahmed, Umair Z and Chatterjee, Krishnendu and Gulwani, Sumit (2013) Automatic Generation of Alternative Starting Positions for Traditional Board Games. Technical Report. IST Austria.

Alwen, Joël and Krenn, Stephan and Pietrzak, Krzysztof and Wichs, Daniel (2013) Learning with rounding, revisited: New reduction properties and applications. In: CRYPTO: International Cryptology Conference, Ausgust 18-22, 2013, Santa Barbara, CA, USA.

Ando, Ryoichi and Thuerey, Nils and Wojtan, Chris (2015) A stream function solver for liquid simulations. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 9 - 13, 2015, Los Angeles, CA, USA.

Ando, Ryoichi and Thürey, Nils and Wojtan, Chris (2013) Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics, 32 (4). Article number: 103 . ISSN 1557-7368

Ando, Ryoichi and Thürey, Nils and Wojtan, Chris (2015) A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum, 34 (2). pp. 473-480. ISSN 1467-8659

Anonymous, 1 and Anonymous, 2 (2015) Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. Technical Report. IST Austria. (Submitted)

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2015) Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Technical Report. IST Austria.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2016) Data-centric dynamic partial order reduction. Technical Report. IST Austria.

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2014) Optimal Cost Almost-sure Reachability in POMDPs. Technical Report. IST Austria. (Submitted)

Arikan, Murat and Preiner, Reinhold and Scheiblauer, Claus and Jeschke, Stefan and Wimmer, Michael (2014) Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics, 20 (9). pp. 1280-1292. ISSN 1077-2626

Avni, Guy and Goel, Shubham and Henzinger, Thomas A and Rodríguez-Navas, Guillermo (2017) Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. In: TACAS, April 22-April 29, 2017, Uppsala, Sweden. (Submitted)

B

Baek, Seung Ki and Jeong, Hyeongchai and Hilbe, Christian and Nowak, Martin A (2016) Comparing reactive and memory-one strategies of direct reciprocity. Scientific Reports, 6. Article number: 25676 . ISSN 20452322

Banerjee, Abishek and Fuchsbauer, Georg and Peikert, Chris and Pietrzak, Krzysztof and Stevens, Sophie (2015) Key-homomorphic constrained pseudorandom functions. In: TCC: Theory of Cryptography Conference, March 23 - 25, 2015, Warsaw, Poland.

Bendich, Paul and Cabello, Sergio and Edelsbrunner, Herbert (2012) A point calculus for interlevel set homology. Pattern Recognition Letters, 33 (11). pp. 1436-1444. ISSN 0167-8655

Bendich, Paul and Edelsbrunner, Herbert and Kerber, Michael (2010) Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics, 16 (6). 1251 -1260. ISSN 1077-2626

Bendich, Paul and Edelsbrunner, Herbert and Kerber, Michael and Patel, Amit (2010) Persistent homology under non-uniform error. In: MFCS: Mathematical Foundations of Computer Science, August 23-27, 2010, Brno, Czech Republic.

Beneš, Nikola and Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Ničković, Dejan (2015) Complete composition operators for IOCO-testing theory. In: CBSE: Component-Based Software Engineering , May 4-8, 2015, Montreal, QC, Canada.

Benhamouda, Fabrice and Krenn, Stephan and Lyubashevsky, Vadim and Pietrzak, Krzysztof (2015) Efficient zero-knowledge proofs for commitments from learning with errors over rings. In: ESORICS: European Symposium on Research in Computer Security, September 21 - 25, 2015, Vienna, Austria.

Bernstein, Gilbert Louis and Wojtan, Chris (2013) Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics, 32 (4). Article number: 34 . ISSN 1557-7368

Biedl, Therese and Held, Martin and Huber, Stefan and Kaaser, Dominik and Palfrader, Peter (2015) Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications, 48 (5). pp. 429-442. ISSN 0925-7721

Biedl, Therese and Held, Martin and Huber, Stefan and Kaaser, Dominik and Palfrader, Peter (2015) Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications, 48 (2). pp. 120-133. ISSN 09257721

Biedl, Therese and Held, Martin and Huber, Stefan and Kaaser, Dominik and Palfrader, Peter (2015) A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters, 115 (2). pp. 243-247. ISSN 0020-0190

Bogomolov, Sergiy and Donze, Alexandre and Frehse, Goran and Grosu, Radu and Johnson, Taylor T and Ladan, Hamed and Podelski, Andreas and Wehrle, Martin (2015) Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer . pp. 1-19. ISSN 1433-2787

Bogomolov, Sergiy and Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A (2017) Counterexample-guided refinement of template Polyhedra. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems, April 24, 2017, Uppsala, Sweden.

Bojsen-Hansen, Morten and Li, Hao and Wojtan, Chris (2012) Tracking surfaces with evolving topology. ACM Transactions on Graphics, 31 (4). Article number: 53. ISSN 1557-7368

Bojsen-Hansen, Morten and Wojtan, Chris (2016) Generalized non-reflecting boundaries for fluid re-simulation. In: ACM SIGGRAPH, July 24-28, 2016, Anaheim, CA, USA.

Bojsen-Hansen, Morten and Wojtan, Chris (2013) Liquid surface tracking with error compensation. ACM Transactions on Graphics, 32 (4). Article number: 68 . ISSN 1557-7368

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2014) Temporal Specifications with Accumulative Values. ACM Transactions on Computational Logic (TOCL), 15 (4). Article No. 27.

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2011) Temporal specifications with accumulative values. In: LICS: Logics in Computer Science, 21-24 June 2011 , Toronto, ON .

Boker, Udi and Chatterjee, Krishnendu and Henzinger, Thomas A and Kupferman, Orna (2011) Temporal specifications with accumulative values. Technical Report. IST Austria.

Boker, Udi and Henzinger, Thomas A (2012) Approximate Determinization of Quantitative Automata. In: FSTTCS 2012, December 17-17, 2012, Hyderabad, India. (In Press)

Boker, Udi and Henzinger, Thomas A (2014) Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science, 10 (1). Article No. 1. ISSN 1860-5974

Brázdil, Tomáš and Brožek, Václav and Chatterjee, Krishnendu and Forejt, Vojtěch and Kučera, Antonín (2014) Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science, 10 (1). Article No. 13. ISSN 1860-5974

C

Calatrava Moreno, Maria D C and Auzinger, Thomas and Werthner, Hannes (2016) On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data. Scientometrics, 107 (1). pp. 213-232. ISSN 1588-2861

Chakra, Maria A and Hilbe, Christian and Traulsen, Arne (2016) Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites. Royal Society Open Science, 3 (5). Article number: 160036 . ISSN 2054-5703

Chakraborty, Soham and Henzinger, Thomas A and Sezgin, Ali and Vafeiadis, Viktor (2015) Aspect-oriented linearizability proofs. Logical Methods in Computer Science, 11 (1). Article No. 20. ISSN 1860-5974

Chatterjee, Krishnendu (2011) Bounded rationality in concurrent parity games. Technical Report. IST Austria.

Chatterjee, Krishnendu (2011) Robustness of structurally equivalent concurrent parity games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Alexander, Koessler and Pavlogiannis, Andreas and Schmid, Ulrich (2014) A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish (2012) Faster algorithms for alternating refinement relations. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chmelík, Martin and Davies, Jessica (2015) A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chmelík, Martin and Mathieu, Tracol (2013) What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. Technical Report. IST Austria.

Chatterjee, Krishnendu and Chmelík, Martin and Tracol, Mathieu (2013) What is decidable about partially observable Markov decision processes with omega-regular objectives. In: CSL: Computer Science Logic, September 2-5, 2013, Torino, Italy.

Chatterjee, Krishnendu and Daca, Przemyslaw and Chmelík, Martin (2014) CEGAR for Qualitative Analysis of Probabilistic Systems. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2011) Energy and mean-payoff parity Markov decision processes. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2014) Games with a Weak Adversary. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent (2011) Partial-observation Stochastic games: How to win when belief fails. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Edelsbrunner, Herbert and Henzinger, Thomas A and Rannou, Philippe (2010) Mean-payoff automaton expressions. In: CONCUR: Concurrency Theory, August 31 - September 3, 2010, Paris, France.

Chatterjee, Krishnendu and Doyen, Laurent and Gimbert, Hugo and Oualhadj, Youssouf (2013) Perfect-Information Stochastic Mean-Payoff Parity Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2010) Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science, 6 (3). Article Nr. 3. ISSN 1860-5974

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) Probabilistic weighted automata. In: CONCUR: Concurrency Theory, September 1-4, 2009, Bologna, Italy.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2009) A survey of stochastic games with limsup and liminf objectives. In: ICALP: Automata, Languages, and Programming, July 5-12, 2009, Rhodes, Greece.

Chatterjee, Krishnendu and Doyen, Laurent and Nain, Sumit and Vardi, Moshe Y (2013) The complexity of partial-observation stochastic parity games with finite-memory strategies. Technical Report. IST Austria.

Chatterjee, Krishnendu and Dvorák, Wolfgang and Henzinger, Monika and Loitzenbauer, Veronika (2016) Conditionally optimal algorithms for generalized Büchi Games. In: MFCS: International Symposium on Mathematical Foundations of Computer Science , August 22-26, 2016, Krakow, POL.

Chatterjee, Krishnendu and Fijalkow, Nathanaël (2013) Infinite-state games with finitary conditions. In: EACSL: European Association for Computer Science Logic, September 2 - 5, 2013, Torino, Italy.

Chatterjee, Krishnendu and Fijalkow, Nathanaël (2010) Topological, automata-theoretic and logical characterization of finitary languages. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Monika (2011) An O(n2) time algorithm for alternating Büchi games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Horn, Florian (2009) Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL), 11. ISSN 1557-945X

Chatterjee, Krishnendu and Henzinger, Thomas A and Horn, Florian (2009) Improved lower bounds for request-response and finitary Streett games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Ibsen-Jensen, Rasmus and Otop, Jan (2015) Edit Distance for Pushdown Automata. In: ICALP: International Colloquium on Automata, Languages, and Programming, July 6 - 10, 2015, Kyoto, Japan.

Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Radhakrishna, Arjun (2009) Gist: A solver for probabilistic games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Jobstmann, Barbara and Singh, Rohit (2011) QUASY: quantitative synthesis tool. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems.

Chatterjee, Krishnendu and Henzinger, Thomas A and Otop, Jan (2015) Nested Weighted Automata. Technical Report. IST Austria.

Chatterjee, Krishnendu and Henzinger, Thomas A and Piterman, Nir (2010) Strategy logic. Information and Computation, 208. ISSN 0890-5401

Chatterjee, Krishnendu and Henzinger, Thomas A and Prabhu, Vinayak (2011) Timed parity games: Complexity and robustness. Logical Methods in Computer Science, 7 (4). Article No. 8. ISSN 1860-5974

Chatterjee, Krishnendu and Henzinger, Thomas A and Tracol, Mathieu (2012) The decidability frontier for probabilistic automata on infinite words. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2013) The Complexity of Ergodic Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2013) Qualitative Analysis of Concurrent Mean-payoff Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2014) The Value 1 Problem for Concurrent Mean-payoff Games. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Goharshady, Amir and Pavlogiannis, Andreas (2016) Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Majumdar, Rupak (2013) Edit Distance for Timed Automata. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Nowak, Martin A (2014) The Complexity of Evolution on Graphs. Technical Report. IST Austria. (Submitted)

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2015) Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2014) Improved algorithms for reachability and shortest path on low tree-width graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas (2014) Optimal Tree-decomposition Balancing and Reachability on Low Treewidth Graphs. Technical Report. IST Austria.

Chatterjee, Krishnendu and Joglekar, Manas N and Shah, Nisarg J (2012) Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15-17, 2012, Hyderabad, India.

Chatterjee, Krishnendu and Majumdar, Ritankar S (2010) Discounting in games across time scales. In: GandALF: Games, Automata, Logic, and Formal Verification, June 17-18, 2010, Minori (Amalfi Coast), Italy.

Chatterjee, Krishnendu and Mathieu, Tracol (2011) Decidable problems for probabilistic automata on infinite words. Technical Report. IST Austria.

Chatterjee, Krishnendu and Pavlogiannis, Andreas and Adlam, Ben and Nowak, Martin A (2014) The time scale of evolutionary innovation. PLoS Computational Biology, 10 (9). Article No. e1003818. ISSN 1553-7358

Chatterjee, Krishnendu and Pavlogiannis, Andreas and Velner, Yaron (2016) Quantitative Interprocedural Analysis. Technical Report. IST Austria.

Chatterjee, Krishnendu and Velner, Yaron (2012) Mean-payoff pushdown games. Technical Report. IST Austria, Klosterneuburg.

Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A (2013) Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79 (5). pp. 640-657. ISSN 0022-0000

Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A (2009) Termination criteria for solving concurrent safety and reachability games. In: SODA: ACM-SIAM Symposium on Discrete Algorithms, January 4-6, 2009, New York, NY, USA.

Chatterjee, Krishnendu and de Alfaro, Luca and Majumdar, Ritankar S and Raman, Vishwanath (2010) Algorithms for game metrics. Logical Methods in Computer Science, 6 (3). Article No. 3. ISSN 1860-5974

Chatterjee, Krishnendu and Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Singh, Rohit (2010) Quantitative synthesis for concurrent programs. Technical Report. IST Austria.

Chen, Chao and Edelsbrunner, Herbert (2011) Diffusion runs low on persistence fast. In: ICCG: International Conference Computer Vision, November 6-13, 2011 , Barcelona, Spain.

Chen, Chao and Freedman, Daniel and Lampert, Christoph H (2011) Enforcing topological constraints in random field image segmentation. Technical Report. IST Austria.

D

Da, Fang and Batty, Christopher and Wojtan, Chris and Grinspun, Eitan (2015) Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 9 - 13, 2015, Los Angeles, CA, USA.

Da, Fang and Hahn, David and Batty, Christopher and Wojtan, Chris and Grinspun, Eitan (2016) Surface only liquids. In: ACM SIGGRAPH, July 24-28, 2016, Anaheim, CA, USA.

Daca, Przemyslaw and Henzinger, Thomas A and Krenn, Willibald and Ničković, Dejan (2014) Compositional Specifications for IOCO Testing: Technical Report. Technical Report. IST Austria.

Didier, Frédéric and Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2011) Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412. ISSN 0304-3975

Dodis, Yevgeniy and Pietrzak, Krzysztof and Kiltz, Eike and Wichs, Daniel (2012) Message authentication, revisited. In: EUROCRYPT: International Conference on the Theory and Applications of Cryptographic Techniques, April 15-19, 2012, Cambridge, United Kingdom.

Dodis, Yevgeniy and Pietrzak, Krzysztof and Wichs, Daniel (2014) Key derivation without entropy waste. In: EUROCRYPT: Theory and Applications of Cryptographic Techniques, April 11-15, 2014, Copenhagen, Denmark.

Dragoi, Cezara and Enea, Constantin and Sighireanu, Mihaela (2013) Local Shape Analysis for Overlaid Data Structures. Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013., 7935. pp. 150-171. ISSN 978-3-642-38855-2

Dragoi, Cezara and Gupta, Ashutosh and Henzinger, Thomas A (2013) Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013., 8044. pp. 174-190. ISSN 978-3-642-39798-1

Dragoi, Cezara and Henzinger, Thomas A and Widder, Josef and Veith, Helmut and Zufferey, Damien (2014) A Logic-based Framework for Verifying Consensus Algorithms. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, 8318. pp. 161-181. ISSN 978-3-642-54013-4

Drǎgoi, Cezara and Henzinger, Thomas A and Zufferey, Damien (2015) The need for language support for fault-tolerant distributed systems. In: SNAPL: The Inaugural Summit oN Advances in Programming Languages, May 3 - 6 , Asilomar, CA, USA.

E

Edelsbrunner, Herbert and Harer, John (2009) The persistent Morse complex segmentation of a 3-manifold. In: 3DPH: Modelling the Physiological Human, November 29 - December 2, 2009, Zermatt, Switzerland.

Edelsbrunner, Herbert and Jabłoński, Grzegorz and Mrozek, Marian (2014) The persistent homology of a self-map. Foundations of Computational Mathematics, 15 (5). pp. 1213-1244. ISSN 1615-3383

Edelsbrunner, Herbert and Kerber, Michael (2011) Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, 6570 . Springer , Berlin, Heidelberg, pp. 20-35. ISBN 978-3-642-19391-0

Edelsbrunner, Herbert and Kerber, Michael (2012) Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry, 47 (2). pp. 393-414. ISSN 0179-5376

Edelsbrunner, Herbert and Morozov, Dmitriy (2012) Persistent homology: Theory and practice. In: ECM: European Congress of Mathematics, July 2-7, 2012, Kraków, Poland. (In Press)

Edelsbrunner, Herbert and Morozov, Dmitriy and Patel, Amit (2010) The stability of the apparent contour of an orientable 2-manifold. In: Topological Data Analysis and Visualization: Theory, Algorithms and Applications. Mathematics and Visualization . Springer , Berlin, Heidelberg , pp. 27-42. ISBN 978-3-642-15013-5

Edelsbrunner, Herbert and Pausinger, Florian (2014) Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision, 50 (1). pp. 164-177. ISSN 1573-7683

Edelsbrunner, Herbert and Strelkova, Nataliya P (2012) On the configuration space of steiner minimal trees. Russian Mathematical Surveys, 67 (6). pp. 1167-1168. ISSN 1468-4829

Edelsbrunner, Herbert and Symonova, Olga (2012) The adaptive topology of a digital image. In: ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, June 27-29, 2012, New Brunswick, NJ, USA.

F

Ferstl, Florian and Ando, Ryoichi and Wojtan, Chris and Westermann, Rüdiger and Thuerey, Nils (2016) Narrow band FLIP for liquid simulations. Computer Graphics Forum, 35 (2). pp. 225-232. ISSN 1467-8659

Fuchsbauer, Georg and Jafargholi, Zahra and Pietrzak, Krzysztof (2015) A quasipolynomial reduction for generalized selective decryption on trees. In: CRYPTO: Annual Cryptology Conference, August 16 - 20, 2015, Santa Barbara, CA, USA.

Fulek, Radoslav and Pelsmajer, Michael J and Schaefer, Marcus (2015) Hanani-Tutte for radial planarity. In: GD: Graph Drawing and Network Visualization, September 24-26, 2015, Los Angeles, CA, USA.

Fulek, Radoslav and Radoičić, Radoš (2015) Vertical visibility among parallel polygons in three dimensions. In: GD: Graph Drawing and Network Visualization, September 24-26, 2015, Los Angeles, CA, USA.

G

Ga, Peter and Pietrzak, Krzysztof and Rybar, Michal (2014) The exact PRF-security of NMAC and HMAC. In: CRYPTO: International Cryptology Conference, August 17-21, 2014, Santa Barbara, CA, USA.

Gilson, Matthieu J and Savin, Cristina and Zenke, Friedemann (2015) Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience, 9 (11). ISSN 1662-5188

Godhal, Yashdeep and Chatterjee, Krishnendu and Henzinger, Thomas A (2013) Synthesis of AMBA AHB from formal specifications: A case study. International Journal on Software Tools for Technology Transfer, 15 (5-6). pp. 585-601. ISSN 1433-2787

Goldade, Ryan and Batty, Christopher and Wojtan, Chris (2016) A practical method for high-resolution embedded liquid surfaces. Computer Graphics Forum, 35 (2). pp. 233-242. ISSN 1467-8659

Granot-Atedgi, Einat and Tkačik, Gašper and Segev, Ronen and Schneidman, Elad (2013) Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology, 9.

Guerrero, Paul and Auzinger, Thomas and Wimmer, Michael and Jeschke, Stefan (2015) Partial shape matching using transformation parameter similarity. Computer Graphics Forum, 34 (1). pp. 239-252. ISSN 1467-8659

Guerrero, Paul and Jeschke, Stefan and Wimmer, Michael and Wonka, Peter (2014) Edit propagation using geometric relationship functions. ACM Transactions on Graphics, 33 (2). Article number 15 . ISSN 1557-7368

Guerrero, Paul and Jeschke, Stefan and Wimmer, Michael and Wonka, Peter (2015) Learning shape placements by example. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 9 - 13, 2015, Los Angeles, CA, USA.

Gupta, Ashutosh (2012) Improved Single Pass Algorithms for Resolution Proof Reduction. In: ATVA 2012, Octobre 3-6, 2012, Thiruvananthapuram, Kerala, India.

Gupta, Ashutosh K and Kovács, Laura I and Kragl, Bernhard and Voronkov, Andrei V (2014) Extensional crisis and proving identity. In: ATVA: Automated Technology for Verification and Analysis, 3-7 Nov 2014, Sydney, NSW, Australia.

Guy, Avni and Shibashis, Guha and Guillermo, Rodriguez-Navas (2016) Synthesizing time-triggered schedules for switched networks with faulty links. In: EMSOFT: International Conference on Embedded Software, 2-7 Oct 2016, Pittsburgh, PA, USA.

Guy , Avni and Thomas A., Henzinger and Orna, Kupferman (2016) Dynamic resource allocation games. In: SAGT: Symposium on Algorithmic Game Theory, September 19-21, 2016 , Liverpool, United Kingdom .

H

Hahn, David and Wojtan, Chris (2016) Fast approximations for boundary element based brittle fracture simulation. In: ACM SIGGRAPH, July 24-28, 2016, Anaheim, CA, USA.

Hahn, David and Wojtan, Chris (2015) High-resolution brittle fracture simulation with boundary elements. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 9 - 13, 2015, Los Angeles, CA, USA.

Halalai, Raluca and Henzinger, Thomas A and Singh, Vasu (2011) Quantitative evaluation of BFT protocols. In: QEST: Quantitative Evaluation of Systems, 5-8 Sept. 2011 , Aachen.

Henzinger, Thomas A (2013) Quantitative reactive modeling and verification. Computer Science Research and Development, 28 (4). pp. 331-344. ISSN 1865-2034

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena (2011) Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22 (4). 823 -841. ISSN 1793-6373

Henzinger, Thomas A and Kirsch, Christoph M and Marques, Eduardo R B and Sokolova, Ana (2009) Distributed, modular Htl. In: RTSS: Real-Time Systems Symposium, December 1-4, 2009, Washington, D.C., USA.

Henzinger, Thomas A and Kirsch, Christoph M and Payer, Hannes and Sezgin, Ali and Sokolova, Ana (2013) Quantitative relaxation of concurrent data structures. In: POPL: Principles of Programming Languages., January 23 - 25, 2013 , Rome, Italy.

Henzinger, Thomas A and Mateescu, Maria (2011) Propagation models for computing biochemical reaction networks. In: CMSB: Conference on Computational Methods in Systems Biology, September 21 - 23, 2011 , Paris, France.

Henzinger, Thomas A and Mateescu, Maria and Wolf, Verena (2009) Sliding-window abstraction for infinite Markov chains. In: CAV: Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France.

Henzinger, Thomas A and Otop, Jan (2014) From Model Checking to Model Measuring. In: CONCUR: Concurrency Theor, August 27-30, 2013 , Buenos Aires, Argentina .

Henzinger, Thomas A and Otop, Jan (2013) From Model Checking to Model Measuring. In: CONCUR 2013 – Concurrency Theory. Lecture Notes in Computer Science, 8052 (8052). Springer, Berlin Heidelberg, pp. 273-287. ISBN 978-3-642-40184-8

Henzinger, Thomas A and Payer, Hannes and Sezgin, Ali (2013) Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues. Technical Report. IST Austria.

Henzinger, Thomas A and Sezgin, Ali (2013) How Free is Your Linearizable Concurrent Data Structure? Technical Report. IST Austria.

Henzinger, Thomas A and Sezgin, Ali and Viktor, Vafeiadis (2013) Aspect-Oriented Linearizability Proofs. In: CONCUR: Concurrency Theor, August 27-30, 2013 , Buenos Aires, Argentina .

Henzinger, Thomas A and Singh, Anmol V and Singh, Vasu and Wies, Thomas and Zufferey, Damien (2011) Static scheduling in clouds. In: HotCloud: Workshop on Hot Topics in Cloud Computing.

Henzinger, Thomas A. and Kragl, Bernhard and Qadeer, Shaz (2017) Synchronizing the Asynchronous. Technical Report. IST Austria.

Huber, Stefan and Held, Martin and Meerwald, Peter and Kwitt, Roland (2014) Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications, 24 (1). pp. 61-86. ISSN 1793-6357

J

Jeschke, Stefan and Wojtan, Chris (2015) Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics, 34 (3). Article number: 27 . ISSN 1557-7368

Jetchev, Dimitar P and Pietrzak, Krzysztof (2014) How to fake auxiliary input. In: TCC: Theory of Cryptography Conference, February 24-26, 2014, San Diego, CA, USA.

K

Kerber, Michael and Edelsbrunner, Herbert (2013) 3D kinetic alpha complexes and their implementation. In: ALENEX: Algorithm Engineering and Experiments, January 7, 2013, New Orleans, LA, USA.

Khamis, Sameh and Lampert, Christoph H (2014) CoConut: Co-classification with output space regularization. In: BMVC: British Machine Vision Conference, September 1-5, 2014, Nottingham, UK.

Kiltz, Eike and Pietrzak, Krzysztof and Szegedy, Mario (2013) Digital signatures with minimal overhead from indifferentiable random invertible functions. In: CRYPTO: International Cryptology Conference, August 18-22, 2013, Santa Barbara, CA, USA.

Kong, Hui and Bogomolov, Sergiy and Schilling, Christian and Jiang, Yu and Henzinger, Thomas A (2017) Safety verification of nonlinear hybrid systems based on invariant clusters. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, Pittsburgh, USA.

Korc, Filip and Kolmogorov, Vladimir and Lampert, Christoph H (2012) Approximating Marginals Using Discrete Energy Minimization. Technical Report. IST Austria.

Korc, Filip and Kolmogorov, Vladimir and Lampert, Christoph H (2012) Approximating marginals using discrete energy minimization. In: ICML Workshop: Inferning: Interactions between Inference and Learning, June 30, 2012, Edinburgh, UK. (In Press)

Kretinsky, Jan and Larsen, Kim G and Laursen, Simon and Srba, Jiří (2015) Polynomial time decidability of weighted synchronization under partial observability. In: CONCUR: International Conference on Concurrency Theory , September 1- 4, 2015, Madrid, ES.

Körner, Christof and Braunstein, Verena and Stangl, Matthias and Schlögl, Alois and Neuper, Christa and Ischebeck, Anja K (2014) Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology, 51 (4). pp. 385-395. ISSN 00485772

L

Lang, Moritz and Sontag, Eduardo (2017) Zeros of nonlinear systems with input invariances. Automatica, 81C. pp. 46-55. ISSN 0005-1098

M

Malomo, Luigi and Pietroni, Nico and Bickel, Bernd and Cignoni, Paolo (2016) FlexMolds: Automatic design of flexible shells for molding. In: SIGGRAPH: International Conference on Computer Graphics and Interactive Techniques, December 5-8, 2016, Macao, CHN.

Manteaux, Pierre-Luc and Wojtan, Chris and Narain, Rahul and Redon, Stéphane and Faure, François and Cani, Marie-Paule (2016) Adaptive physically based models in computer graphics. Computer Graphics Forum. ISSN 1467-8659

Martius, Georg and Olbrich, Eckehard (2015) Quantifying emergent behavior of autonomous robots. Entropy, 17 (10). pp. 7266-7297. ISSN 1099-4300

Michaliszyn, Jakub and Otop, Jan (2013) Elementary Modal Logics over Transitive Structures. In: Elementary Modal Logics over Transitive Structures. LIPIcs, 23 . Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, pp. 563-577. ISBN 978-3-939897-60-6

N

Novak, Sebastian and Chatterjee, Krishnendu and Nowak, Martin A (2013) Density games. Journal of Theoretical Biology, 334. pp. 26-34. ISSN 1095-8541

O

Okamoto, Tatsuaki and Pietrzak, Krzysztof and Waters, Brent and Wichs, Daniel (2015) New realizations of somewhere statistically binding hashing and positional accumulators. In: ASIACRYPT: Theory and Application of Cryptology and Information Security, November 29 - December 3, 2015, Auckland, New Zealand.

Olsson, Carl and Ulen, Johannes and Boykov, Yuri and Kolmogorov, Vladimir (2013) Partial enumeration and curvature regularization. In: ICCV: International Conference on Computer Vision ICCV, December 1-8, 2013, Sydney, Australia.

P

Pavlogiannis, Andreas and Chatterjee, Krishnendu and Adlam, Ben and Nowak, Martin A (2015) Cellular cooperation with shift updating and repulsion. Scientific Reports, 5. Article No. 17147 . ISSN 20452322

Preiner, Reinhold and Jeschke, Stefan and Wimmer, Michael (2012) Auto splats: Dynamic point cloud visualization on the GPU. In: EGPGV: Eurographics Symposium on Parallel Graphics and Visualization, May 13-14, 2012, Cagliari, Italy.

Priklopil, Tadeas and Chatterjee, Krishnendu (2015) Evolution of decisions in population games with sequentially searching individuals. Games, 6 (4). pp. 413-437. ISSN 2073-4336

Q

Quadrianto, Novi and Sharmanska, Viktoriia and Knowles, David A and Ghahramani, Zoubin (2013) The supervised IBP: Neighbourhood preserving infinite latent feature models. In: UAI: Uncertainty in Artificial Intelligence, July 11-15, 2013, Bellevue, Washington, USA.

R

Raveendran, Karthik and Thürey, Nils and Wojtan, Chris and Türk, Greg C (2012) Controlling Liquids Using Meshes. In: SCA: Eurographics/ACM SIGGRAPH Symposium on Computer Animation, 29-31 July, 2012, Lausanne, Switzerland.

Raveendran, Karthik and Wojtan, Chris and Thürey, Nils and Türk, Greg C (2014) Blending liquids. In: SIGGRAPH: International Conference and Exhibition on Computer Graphics and Interactive Techniques, Ausgust 10-14, 2014, Vancouver, Canada.

Raveendran, Karthik and Wojtan, Chris and Türk, Greg C (2011) Hybrid smoothed particle hydrodynamics. In: SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, August 5-7, 2011, Vancouver, BC, Canada.

Reiter, Johannes G and Bozic, Ivana and Allen, Benjamin and Chatterjee, Krishnendu and Nowak, Martin A (2013) The effect of one additional driver mutation on tumor progression. Evolutionary Applications, 6 (1). pp. 34-45. ISSN 1752-4571

Reiter, Johannes G and Bozic, Ivana and Chatterjee, Krishnendu and Nowak, Martin A (2013) TTP: Tool for Tumor Progression. Technical Report. IST Austria.

Reiter, Johannes G and Makohon-Moore, Alvin P and Gerold, Jeffrey M and Bozic, Ivana and Chatterjee, Krishnendu and Iacobuzio-Donahue, Christine A and Vogelstein, Bert and Nowak, Martin A (2015) Reconstructing robust phylogenies of metastatic cancers. Technical Report. IST Austria.

Ruess, Jakob (2015) Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics, 143 (24). Article number: 244103 . ISSN 1089-7690

Rybar, Michal (2017) (The exact security of) Message Authentication Codes. PhD thesis, IST Austria.

S

Samanta, Roopsha and Olivo, Oswaldo and Emerson, E. Allen (2014) Cost-Aware Automatic Program Repair. In: Static Analysis Symposium, 11-13 Sep 2014, Munich, Germany.

Skórski, Maciej and Golovnev, Alexander and Pietrzak, Krzysztof (2015) Condensed unpredictability. In: ICALP: International Colloquium on Automata, Languages, and Programming, July 6 - 10, 2015, Kyoto, Japan.

Symonova, Olga and Topp, Christopher N and Edelsbrunner, Herbert (2015) DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS ONE, 10 (6). Article No. e0127657. ISSN 19326203

T

Tripakis, Stavros and Lickly, Ben and Henzinger, Thomas A and Lee, Edward A (2011) A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS), 33. ISSN 0164-0925

W

Wies, Thomas and Muñiz, Marco and Kuncak, Viktor (2011) On an efficient decision procedure for imperative tree data structures. Technical Report. IST Austria.

Wojtan, Chris and Müler-Fischer, Matthias and Brochu, Tyson (2011) Liquid simulation with mesh-based surface tracking. In: SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, August 7-11, 2011, Vancouver, BC, Canada.

Y

Yu, Jihun and Wojtan, Chris and Türk, Greg C and Yap, Chee (2012) Explicit mesh surfaces for particle based fluids. Computer Graphics Forum, 31 (2). pp. 815-824. ISSN 1467-8659

Z

Zagorsky, Benjamin M and Reiter, Johannes G and Chatterjee, Krishnendu and Nowak, Martin A (2013) Forgiver triumphs in alternating prisoner's dilemma. PLoS One, 8 (12). Article No. e80814. ISSN 1932-6203

Zheng, Ying and Gu, Steve and Edelsbrunner, Herbert and Tomasi, Carlo and Benfey, Philip (2011) Detailed reconstruction of 3D plant root shape. In: ICCG: International Conference Computer Vision, November 6-13, 2011, Barcelona, Spain.

Zufferey, Damien and Wies, Thomas and Henzinger, Thomas A (2012) Ideal abstractions for well structured transition systems. In: VMCAI: Verification, Model Checking, and Abstract Interpretation, January 22- 24, 2012, Philadelphia, PA, USA.

Č

Černý, Pavol and Chatterjee, Krishnendu and Henzinger, Thomas A (2011) The complexity of quantitative information flow problems. In: CSF: Computer Security Foundations, Abbaye des Vaux de Cernay, France.

Černý, Pavol and Chatterjee, Krishnendu and Henzinger, Thomas A and Radhakrishna, Arjun and Singh, Rohit (2011) Quantitative synthesis for concurrent programs. In: CAV: Computer Aided Verification, July 14-20, 2011, Snowbird, UT, USA.

Černý, Pavol and Clarke, Edmund M and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Samanta, Roopsha and Tarrach, Thorsten (2016) From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. ISSN 0925-9856

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten (2013) Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Computer Aided Verification '13, 8044. pp. 951-967.

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Tarrach, Thorsten (2014) Regression-free Synthesis for Concurrency. Computer Aided Verification, 8559. pp. 568-584. ISSN 978-3-319-08866-2

This list was generated on Sun Aug 20 01:00:08 2017 CEST.