Tom Henzinger: Conference Publications by Venue

ASE (ACM/IEEE Conference on Automated Software Engineering)

CAV (Conference on Computer-Aided Verification)

CDC (IEEE Conference on Decision and Control)

CONCUR (Conference on Concurrency Theory)

CSL (Conference for Computer Science Logic)

DASC (IEEE Digital Avionics Systems Conference)

DATE (Conference on Design, Automation, and Test in Europe)

DISC (Symposium on Disctibuted Computing)

DLT (Conference on Developments in Language Theory)

EMSOFT (ACM Conference on Embedded Software)


FASE (Conference on Fundamental Approaches to Software Engineering)

FM (Symposium on Formal Methods)

FMCAD (Conference on Formal Methods in Computer-Aided Design); formerly also CHARME

FMSB (Workshop on Formal Methods in Systems Biology)

FOCS (IEEE Symposium on Foundations of Computer Science)

FORMATS (Conference on Formal Modeling and Analysis of Timed Systems); formerly also FTRTFT

FOSSACS (Conference on Foundations of Software Science and Computation Structures)

FSE (ACM Symposium on Foundations of Software Engineering)

FSTTCS (IARCS Conference on Foundations of Software Technology and Theoretical Computer Science)

HotCloud (USENIX Workshop on Hot Topics in Cloud Computing)

HSCC (Workshop on Hybrid Systems: Computation and Control); formerly also HART

ICALP (EATCS International Colloquium on Automata, Languages, and Programming)

ICAOS (International Conference on Analysis and Optimization of Systems)

ICCAD (ACM/IEEE International Conference on Computer-Aided Design)

ICSE (ACM/IEEE International Conference on Software Engineering)

ICWS (IEEE International Conference on Web Services)

IEEE Cloud (IEEE Conference on Cloud Computing)

IFAC (IFAC World Congress on Automatic Control)

IWPC (IEEE International Conference on Program Comprehension)

LCTES (ACM Conference on Languages, Compilers, and Tools for Embedded Systems)

LICS (IEEE Symposium on Logic in Computer Science)

LPAR (International Conference on Logic for Programming, Artificial Intelligence, and Reasoning)

PLDI (ACM Conference on Programming Language Design and Implementation)

PODC (ACM Symposium on Principles of Distributed Computing)

POPL (ACM Symposium on Principles of Programming Languages)

QEST (IEEE Conference on Quantitative Evaluation of Systems)

REX (Workshop on Research and Education in Concurrent Systems)

RTAS (IEEE Real-Time and Embedded Technology and Applications Symposium)

RTSS (IEEE Real-Time Systems Symposium)

SAS (Static-Analysis Symposium)

SODA (ACM/SIAM Symposium on Discrete Algorithms)

SOFSEM (Conference on Current Trends in Theory and Practice of Computer Science)

SPIN (Workshop on Model Checking of Software)

STACS (Conference on Theoretical Aspects of Computer Science)

STOC (ACM Symposium on Theory of Computing)

TACAS (Conference on Tools and Algorithms for the Construction and Analysis of Systems)

TCS (IFIP Conference on Theoretical Computer Science)

UAI (Conference on Uncertainty in Artificial Intelligence)

VEE (ACM Conference on Virtual Execution Environments)

VMCAI (Conference on Verification, Model Checking, and Abstract Interpretation)

WSC (Winter Simulation Conference)

WWW (World-Wide Web Conference)

Other Collections

Last updated in November 2008.