Skip to content

Teemu Tynjl

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

2000–2002

Best venue rank

C

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2002FORTEVerifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.Teemu Tynjl, Sari Leppnen, Vesa Luukkala
2002PDPTAModeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets.Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjl, Harriett Beaver
2001SMCModeling Feynman's quantum computer using stochastic high level Petri nets.Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriett Beaver, Teemu Tynjl
2000NetworkingThreshold-Based Registration (TBR) in Mobile IPv6.Linfeng Yang, Jouni Karvo, Teemu Tynjl, Hannu H. Kari