Antti Puhakka

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Signature Verification

Top Venues

Publications

Antti Siirtola, Antti Puhakka, Gerald Lüttgen
Introducing Fairness into Compositional Verification via Unidirectional Counters. ACSD (2012)
Antti Puhakka
Using Fairness Constraints in Process-Algebraic Verification. ICTAC (2005)
Antti Valmari, Heikki Virtanen, Antti Puhakka
Context-Sensitive Visibility. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)
Antti Puhakka
Weakest Congruence Results Concerning "Any-Lock". TACS (2001)
Antti Puhakka
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. ICECCS (2001)
Antti Puhakka, Antti Valmari
Liveness and Fairness in Process-Algebraic Verification. CONCUR (2001)
Antti Puhakka, Antti Valmari
Weakest-Congruence Results for Livelock-Preserving Equivalences. CONCUR (1999)