default search action

combined dblp search
author search
venue search
publication search

ask others

Mikko Tiusanen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2013
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/njc/TiusanenV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/njc/TiusanenV13
Mikko Tiusanen, Antti Valmari:
Good to Know about the Efficiency of State Space Methods. Nord. J. Comput. 15(1): 53-74 (2013)
1988
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Tiusanen88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Tiusanen88
Mikko Tiusanen:
Some unsolved problems in modelling self-timed circuits using Petri nets. Bull. EATCS 36: 152-160 (1988)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/JaaskelainenJT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/JaaskelainenJT17
Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen:
Concurrent execution system for action languages. MEMOCODE 2017: 157-160
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/AhteeT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/AhteeT15
Tero Ahtee, Mikko Tiusanen:
Towards an ideal software engineering project course. Koli Calling 2015: 157-158
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/TiusanenL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/TiusanenL11
Mikko Tiusanen, Riikka Lahtinen:
Maze: Moodle module for games of exercises. Koli Calling 2011: 76-82
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/MikkilaT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/MikkilaT04
Petri Mikkilä, Mikko Tiusanen:
Comparing protocol stacks using stochastic Petri nets. SMC (5) 2004: 4855-4860
1999
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/dais/MalinenKT99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dais/MalinenKT99
Jari Malinen, Hannu H. Kari, Mikko Tiusanen:
Scenario-driven design considerations for MANET protocols (short paper). DAIS 1999: 205-212
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Tiusanen94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Tiusanen94
Mikko Tiusanen:
Symbolic, Symmetry, and Stubborn Set Searches. Application and Theory of Petri Nets 1994: 511-530

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.