dblp.uni-trier.dewww.uni-trier.de

Kimmo Varpaaniemi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
13EEKimmo Varpaaniemi, Leo Ojala: Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets. Fundam. Inform. 85(1-4): 465-479 (2008)
2007
12EEJukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi: A Case Study: Applying Lyra in Modeling S60 Camera Functionality. ECBS 2007: 25-36
2005
11EEKimmo Varpaaniemi: On Stubborn Sets in the Verification of Linear Time Temporal Properties. Formal Methods in System Design 26(1): 45-67 (2005)
2004
10EEKimmo Varpaaniemi: Stubborn Sets for Priority Nets. ISCIS 2004: 574-583
2003
9EEAnnikka Aalto, Nisse Husberg, Kimmo Varpaaniemi: Automatic Formal Model Generation and Analysis of SDL. SDL Forum 2003: 285-299
8EEKimmo Varpaaniemi: Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. Fundam. Inform. 54(2-3): 279-294 (2003)
2002
7 Kimmo Varpaaniemi: Minimizing the Number of Successor States in the Stubborn Set Method. Fundam. Inform. 51(1-2): 215-234 (2002)
2000
6EENisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi: Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN 2000: 244-260
5 Kimmo Varpaaniemi: Stable Models for Stubborn Sets. Fundam. Inform. 43(1-4): 355-375 (2000)
1998
4EEKimmo Varpaaniemi: On Stubborn Sets in the Verification of Linear Time Temporal Properties. ICATPN 1998: 124-143
1997
3 Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius: prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV 1997: 472-475
1994
2 Kimmo Varpaaniemi: On Combining the Stubborn Set Method with the Sleep Set Method. Application and Theory of Petri Nets 1994: 548-567
1992
1 Kimmo Varpaaniemi, Marko Rauhamaa: The Stubborn Set Method in Practice. Application and Theory of Petri Nets 1992: 389-393

Coauthor Index

1Annikka Aalto [9]
2Keijo Heljanko [3]
3Jukka Honkola [12]
4Nisse Husberg [6] [9]
5Sari Leppänen [12]
6Johan Lilius [3]
7Leo Ojala [13]
8Marko Rauhamaa [1]
9Pasi Rinne-Rahkola [12]
10Martti Soderlund [12]
11Markku Turunen [12]
12Teemu Tynjälä [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)