| 2005 |
|---|
| 6 | EE | Jukka Honkola,
Sari Leppänen,
Teemu Tynjälä:
Modeling the SpaceWire Architecture with Lyra.
ACSD 2005: 15-24 |
| 2002 |
|---|
| 5 | EE | Teemu 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 |
|---|
| 3 | EE | Leo 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 |
|---|
| 2 | EE | Nisse Husberg,
Teemu Tynjälä,
Kimmo Varpaaniemi:
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
ICATPN 2000: 244-260 |
| 1 | EE | Linfeng Yang,
Jouni Karvo,
Teemu Tynjälä,
Hannu Kari:
Threshold-Based Registration (TBR) in Mobile IPv6.
Mobile and Wireless Communication Networks 2000: 150-157 |
