Publications by Kimmo Varpaaniemi

2005

  • PAGES:
  • 44
  • [PDF]
  • [PUBURL]
  • JOURNAL:
  • Formal Methods in System Design
  • VOLUME:
  • 26
  • PAGES:
  • 45--67
  • [URL]
  • [PUBURL]

2004

  • AUTHORS:
  • Anderson Lasse,
  • Helander Johannes,
  • Heljanko Keijo,
  • Janhunen Tomi,
  • Jurgens Robert,
  • Kangas Ismo,
  • Nurmela Kari J.,
  • Oksanen Kenneth,
  • Pesonen Olavi,
  • Rauhamaa Marko,
  • Reilly James,
  • Suonsivu Heikki,
  • Valkealahti Kimmo,
  • Varpaaniemi Kimmo,
  • Väisänen Pauli
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Computer and Information Sciences --- ISCIS 2004, 19th International Symposium, Kemer-Antalya, Turkey, October 27--29, 2004, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3280
  • PAGES:
  • 574--583
  • [URL]
  • [PUBURL]

2003

  • PAGES:
  • 36
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1--4, 2003, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 2708
  • PAGES:
  • 285--299
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Concurrency, Specification and Programming: Proceedings of the CS&P'2003 Workshop, Czarna k. Ustrzyk Dolnych, Poland, September 25--27, 2003, Volume 2
  • PAGES:
  • 539--549
  • [PDF]
  • [PUBURL]
  • JOURNAL:
  • Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV)
  • VOLUME:
  • 54
  • PAGES:
  • 279--294
  • [URL]
  • [PUBURL]

2002

  • PAGES:
  • 29
  • [PDF]
  • [PUBURL]
  • JOURNAL:
  • Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV)
  • VOLUME:
  • 51
  • PAGES:
  • 215--234
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Workshop: Concurrency, Specification and Programming, CS&P'2002, Berlin, October 7--9, 2002, Volume 2
  • PAGES:
  • 370--379
  • [PDF]
  • [PUBURL]

2001

  • PAGES:
  • 30
  • [PDF]
  • [PUBURL]
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Concurrency, Specification and Programming: Proceedings of the CS&P'2001 Workshop, Warsaw, Poland, 3--5 October 2001
  • PAGES:
  • 279--290
  • [PDF]
  • [PUBURL]
  • AUTHORS:
  • Anderson Lasse,
  • Helander Johannes,
  • Heljanko Keijo,
  • Janhunen Tomi,
  • Jurgens Robert,
  • Kangas Ismo,
  • Nurmela Kari J.,
  • Oksanen Kenneth,
  • Pesonen Olavi,
  • Rauhamaa Marko,
  • Reilly James,
  • Suonsivu Heikki,
  • Valkealahti Kimmo,
  • Varpaaniemi Kimmo,
  • Väisänen Pauli
  • [URL]
  • [PUBURL]
  • [URL]
  • [PUBURL]

2000

  • BOOKTITLE:
  • Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26--30, 2000, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 1825
  • PAGES:
  • 244--260
  • [URL]
  • [PUBURL]
  • [PDF]
  • [PUBURL]
  • AUTHORS:
  • Anderson Lasse,
  • Helander Johannes,
  • Heljanko Keijo,
  • Janhunen Tomi,
  • Jurgens Robert,
  • Kangas Ismo,
  • Nurmela Kari J.,
  • Oksanen Kenneth,
  • Pesonen Olavi,
  • Rauhamaa Marko,
  • Reilly James,
  • Suonsivu Heikki,
  • Valkealahti Kimmo,
  • Varpaaniemi Kimmo,
  • Väisänen Pauli
  • [URL]
  • [PUBURL]
  • JOURNAL:
  • Fundamenta Informaticae (Annales Societatis Mathematicae Polonae, Series IV)
  • VOLUME:
  • 43
  • PAGES:
  • 355--375
  • [PUBURL]

1999

  • BOOKTITLE:
  • Concurrency, Specification and Programming: Proceedings of the CS&P'99 Workshop, Warsaw, Poland, 28--30 September 1999
  • PAGES:
  • 263--274
  • [PDF]
  • [PUBURL]

1998

  • BOOKTITLE:
  • Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22--26, 1998, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 1420
  • PAGES:
  • 124--143
  • [URL]
  • [PUBURL]
  • [PDF]
  • [PUBURL]

1997

  • BOOKTITLE:
  • Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22--25, 1997, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 1254
  • PAGES:
  • 472--475
  • [PDF]
  • [PUBURL]

1996

  • BOOKTITLE:
  • Proceedings of the Eleventh International Symposium on Computer and Information Sciences, ISCIS XI, November 6--8, 1996, Antalya, Turkey, Volume I
  • PAGES:
  • 133--142
  • [PDF]
  • [PUBURL]

1995

  • [URL]
  • [PDF]
  • [PUBURL]

1994

  • BOOKTITLE:
  • Concurrency, Specification and Programming: Proceedings of the CS&P'93 Workshop, Nieborow near Warsaw, Poland, 14--16 October 1993
  • PAGES:
  • 230--246
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20--24, 1994, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 815
  • PAGES:
  • 548--567
  • [URL]
  • [PUBURL]
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • Algorithmen und Werkzeuge fur Petrinetze: Workshop der GI-Fachgruppe 0.0.1, ``Petrinetze und verwandte Systemmodelle'', Berlin, 10.--11. Oktober 1994
  • PAGES:
  • 80--83
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • Workshop: Concurrency, Specification & Programming, October 12--15, 1994
  • [PDF]
  • [PUBURL]

1993

  • [PDF]
  • [PUBURL]
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • Workshop: Concurrency, Specification & Programming, November 19--21, 1992
  • PAGES:
  • 163--171
  • [PDF]
  • [PUBURL]
  • [PDF]
  • [PUBURL]

1992

  • BOOKTITLE:
  • Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22--26, 1992, Proceedings
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 616
  • PAGES:
  • 389--393
  • [URL]
  • [PUBURL]

1991

  • [PDF]
  • [PUBURL]