Items where Subject is "000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data"

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 | G | H | J | M | P | S | T | W | Z | Č
Number of items at this level: 72.

A

Abusalah, Hamza and Fuchsbauer, Georg and Pietrzak, Krzysztof (2016) Constrained PRFs for unbounded inputs. In: CT-RSA: Topics in Cryptology, February 29 - March 4, 2016, San Francisco, CA, USA.

Abusalah, Hamza and Fuchsbauer, Georg and Pietrzak, Krzysztof (2016) Offline witness encryption. In: ACNS: Applied Cryptography and Network Security, June 19 - 22, 2016, Guildford, United Kingdom.

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

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 (2016) Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. Technical Report. Anonymous. (Submitted)

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 (2016) Termination and Worst-Case Analysis of Recursive Programs. Technical Report. Anonymous. (Submitted)

B

Berwanger, Dietmar and Chatterjee, Krishnendu and De Wulf, Martin and Doyen, Laurent and Henzinger, Thomas A (2010) Strategy construction for parity games with imperfect information. Information and Computation, 208. ISSN 0890-5401

Bojsen-Hansen, Morten (2016) Tracking, Correcting and Absorbing Water Surface Waves. PhD thesis, IST Austria.

C

Chatterjee, Krishnendu (2009) Probabilistic automata on infinite words: Decidability and undecidability results. 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 Gupta, Raghav and Kanodia, Ayush (2014) Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. Technical Report. IST Austria. (Unpublished)

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 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. Springer.

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. Springer.

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) Qualitative analysis of partially-observable Markov decision processes. Technical Report. IST Austria.

Chatterjee, Krishnendu and Doyen, Laurent and Henzinger, Thomas A (2012) A survey of partial-observation stochastic parity games. Formal Methods in System Design, 43 (2). pp. 268-284. ISSN 0925-9856

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 Henzinger, Thomas A and Raskin, Jean-François (2010) Generalized mean-payoff and energy games. In: FSTTCS: Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2010, Chennai, India.

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. Springer.

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 and Pavlogiannis, Andreas (2013) Distributed Synthesis for LTL Fragments. Technical Report. IST Austria.

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 Ibsen-Jensen, Rasmus (2013) The Complexity of Ergodic Games. Technical Report. Not Clear Now. (Submitted)

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus (2013) Qualitative Analysis of Concurrent Mean-payoff Games. Technical Report. Not Clear Now. (Submitted)

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

Chatterjee, Krishnendu and Ibsen-Jensen, Rasmus and Hansen, Kristoffer Arnsfelt (2015) The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. Technical Report. Unpublished. (Submitted)

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 Nowak, Martin A (2015) The Complexity of Evolutionary Games on Graphs. Technical Report. IST Austria.

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

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 (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 Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun and Singh, Rohit (2010) Quantitative synthesis for concurrent programs. Technical Report. IST Austria.

D

Daca, Przemyslaw (2017) Statistical and logical methods for property checking. PhD thesis, IST Austria.

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.

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.

Dziembowski, Stefan and Faust, Sebastian and Kolmogorov, Vladimir N and Pietrzak, Krzysztof (2015) Proofs of space. In: CRYPTO: International Cryptology Conference, August 16-20, 2015, Santa Barbara, CA, USA.

G

Gaži, Peter and Pietrzak, Krzysztof and Tessaro, Stefano (2015) Generic security of NMAC and HMAC with input whitening. In: ASIACRYPT: Theory and Application of Cryptology and Information Security, November 29 - December 3, 2015, Auckland, New Zealand.

Gaži, Peter and Pietrzak, Krzysztof and Tessaro, Stefano (2015) The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. In: CRYPTO: International Cryptology Conference, August 16-20, 2015, Santa Barbara, CA, USA.

Guerraoui, Rachid and Henzinger, Thomas A and Kapalka, Michal and Singh, Vasu (2010) Transactions in the jungle. In: SPAA: ACM Symposium on Parallel Algorithms and Architectures, June 13-15, 2010 , Santorini, Greece.

Guerraoui, Rachid and Henzinger, Thomas A and Singh, Vasu (2010) Model checking transactional memories. Distributed Computing, 22. ISSN 1432-0452

Guerraoui, Rachid and Henzinger, Thomas A and Singh, Vasu (2009) Software transactional memory on relaxed memory models. In: CAV: Computer Aided Verification, June 26 - July 2, 2009, Grenoble, France.

Gupta, Ashutosh (2012) Improved Single Pass Algorithms for Resolution Proof Reduction. In: ATVA 2012, INDIA.

Gupta, Ashutosh and Henzinger, Thomas A and Radhakrishna, Arjun and Samanta, Roopsha and Tarrach, Thorsten (2015) Succinct Representation of Concurrent Trace Sets. Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 433-444. ISSN 978-1-4503-3300-9

H

Henzinger, Thomas A and Hottelier, Thibaud and Kovács, Laura and Rybalchenko, Andrey (2010) Aligators for arrays. In: LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, October 10-15, 2010, Yogyakarta, Indonesia.

Henzinger, Thomas A and Hottelier, Thibaud and Kovács, Laura and Voronkov, Andrei (2010) Invariant and type inference for matrices. In: VMCAI: Verification, Model Checking, and Abstract Interpretation, January 17-19, 2010, Madrid, Spain.

Henzinger, Thomas A and Jobstmann, Barbara and Wolf, Verena (2009) Formalisms for specifying Markovian population models. In: RP: Reachability Problems, September 23-25, 2009, Palaiseau, France.

Henzinger, Thomas A and Mateescu, Maria (2011) Tail approximation for the chemical master equation. In: WCSB: Workshop on Computational Systems Biology (TICSP).

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. Technical Report. Springer.

Henzinger, Thomas A and Otop, Jan (2014) Model Measuring for Hybrid Systems. Technical Report. ACM Press, New York, NY, USA .

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 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 Singh, Anmol V and Singh, Vasu and Wies, Thomas and Zufferey, Damien (2010) A marketplace for cloud resources. In: EMSOFT: Embedded Software, October 24-29, 2010, Scottsdale, Arizona, USA.

J

Jain, Abhishek and Krenn, Stephan and Pietrzak, Krzysztof and Tentes, Aris (2012) Commitments and efficient zero knowledge proofs from learning parity with noise. In: ASIACRYPT: International Conference on the Theory and Application of Cryptology and Information Security, December 2-6, 2012 , Beijing, China .

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.

P

Pietrzak, Krzysztof and Skórski, Maciej (2015) The chain rule for HILL pseudoentropy, revisited. In: LATINCRYPT: Cryptology and Information Security in Latin America, August 23-26, 2015, Guadalajara, Mexico.

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.

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

Wolf, Verena and Goel, Rushil and Mateescu, Maria and Henzinger, Thomas A (2010) Solving the chemical master equation using sliding windows. BMC Systems Biology, 4. ISSN 1752-0509

Z

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 Clarke, Edmund M and Henzinger, Thomas A and Radhakrishna, Arjun and Ryzhyk, Leonid and Samanta, Roopsha and Tarrach, Thorsten (2015) From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. In: Computer Aided Verification. LNCS, 9207 (9207). Springer, pp. 180-197. ISBN 978-3-319-21667-6

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun (2010) Simulation distances. Technical Report. IST Austria.

Černý, Pavol and Henzinger, Thomas A and Radhakrishna, Arjun (2010) Simulation distances. In: CONCUR: Concurrency Theory, August 31 - September 3, 2010, Paris, France.

This list was generated on Tue Feb 28 01:00:12 2017 CET.