Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in

Source URL: www.cs.purdue.edu

• Finite automata
• Abstract algebra
• Algebra
• Finite-state transducer
• Mathematics
• Theoretical computer science
• Finite-state machine
• Semigroup action
• Kazhdan's property
• Tree transducer

Model Checking Gene Regulatory Networks ? Mirco Giacobbe∗ , C˘alin C. Guet∗ , Ashutosh Gupta∗† , Thomas A. Henzinger∗ , Tiago Paix˜ao∗ , and Tatjana Petrov∗

Source URL: pub.ist.ac.at

• Mathematical analysis
• Probability theory
• Statistical theory
• Evolutionary developmental biology
• Gene expression
• Gene regulatory network
• Networks
• Systems biology
• Linear temporal logic
• Normal distribution
• Model theory

Quantitative Simulation Games ˇ Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna IST Austria (Institute of Science and Technology, Austria)

Source URL: ecee.colorado.edu

Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH AND

Source URL: cs.uni-salzburg.at

Quantitative Relaxation of Concurrent Data Structures Thomas A. Henzinger˚ Christoph M. Kirsch` Hannes Payer`

Source URL: cs.uni-salzburg.at

Giotto: A Time-Triggered Language for Embedded Programming THOMAS A. HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, CHRISTOPH M. KIRSCH AND

Source URL: www.cs.uni-salzburg.at

Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

Source URL: www.cis.upenn.edu

Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

Source URL: cs.uni-salzburg.at

MCWEB: A Model-Checking Tool for Web Site Debugging Luca de Alfaro Thomas A. Henzinger Freddy Y.C. Mang

Source URL: www10.org

Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

Source URL: www.cs.uni-salzburg.at

• Abstract data types
• Concurrency control
• Scheduling algorithms
• Operations research
• Computing
• Concurrent computing
• Business
• Queue
• Double-ended queue
• FIFO
• Scheduling
• Non-blocking algorithm