2001 |
9 | Leo Ojala, Teemu Tynjälä, and Harriet Beaver. Modelling Serial Quantum Processors Using Petri Nets. In World Multiconference on Systemics, Cybernetics and Informatics SCI 2001, volume 14, 2001. |
|
8 | Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriet Beaver, and Teemu Tynjälä. Modelling Feynman's Quantum Computer Using Stochastic High Level Petri Nets. In Systems, Man and Cybernetics (SMC 2001), 2001. This article appears only in the CD-ROM version of the proceedings. |
|
7 | Leo Ojala, Nisse Husberg, and Teemu Tynjälä. Modelling and Analysing a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using High-Level Net Methods. Software Tools for Technology Transfer, 3, 2001. |
|
2000 |
6 | Linfeng Yang, Jouni Karvo, Teemu Tynjälä, and Hannu Kari. Threshold-Based Registration (TBR) in Mobile IPv6. In IFIP-TC/6 European Commission NETWORKING 2000 International Workshop MWCN 2000, 2000. |
|
5 | Leo Ojala, Nisse Husberg, and Teemu Tynjälä. Modelling and Analysing a Distributed Dynamic Channel Allocation Algorithm for Mobile Computing Using High-Level Net Methods. In Workshop on Practical Use of High-Level Petri Nets (ICATPN'2000), 2000. |
|
4 | Nisse Husberg, Teemu Tynjälä, and Kimmo Varpaaniemi. Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. In 21st International Conference on Applications and Theory of Petri Nets, 2000. |
|
3 | Teijo Kuoppala, Nisse Husberg, and Teemu Tynjälä. Modelling and Analysis of TCN Standard Message Transport Protocol by Net-Theoretical Methods. In World Multiconference on Systemics, Cybernetics and Informatics SCI 2000, volume 8, 2000. |
|
2 | Leo Ojala, Nisse Husberg, and Teemu Tynjälä. Modelling a Distributed Wireless Channel Allocation Algorithm for Cellular Systems with Mobile Base Stations Using Predicate/Transition Nets. In World Multiconference on Systemics, Cybernetics and Informatics SCI 2000, volume 8, 2000. |
|
1998 |
1 | Teemu Tynjälä. Reachability-based verification of dss1 protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, December 1998. |
|