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

Teemu Tynjälä

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

2005
6EEJukka Honkola, Sari Leppänen, Teemu Tynjälä: Modeling the SpaceWire Architecture with Lyra. ACSD 2005: 15-24
2002
5EETeemu Tynjälä, Sari Leppänen, Vesa Luukkala: Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. FORTE 2002: 178-193
4 Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjälä, Harriett Beaver: Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets. PDPTA 2002: 1223-1229
2001
3EELeo Ojala, Nisse Husberg, Teemu Tynjälä: Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. STTT 3(4): 382-393 (2001)
2000
2EENisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi: Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN 2000: 244-260
1EELinfeng Yang, Jouni Karvo, Teemu Tynjälä, Hannu Kari: Threshold-Based Registration (TBR) in Mobile IPv6. Mobile and Wireless Communication Networks 2000: 150-157

Coauthor Index

1Harriett Beaver [4]
2Jukka Honkola [6]
3Nisse Husberg [2] [3]
4Hannu Kari [1]
5Jouni Karvo [1]
6Sari Leppänen [5] [6]
7Vesa Luukkala [5]
8Leo Ojala [3] [4]
9Elina Parviainen [4]
10Olli-Matti Penttinen [4]
11Kimmo Varpaaniemi [2]
12Linfeng Yang [1]

Colors in the list of coauthors

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