| 2008 |
|---|
| 10 | EE | Kimmo Varpaaniemi,
Leo Ojala:
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
Fundam. Inform. 85(1-4): 465-479 (2008) |
| 2004 |
|---|
| 9 | EE | Leo Ojala,
Olli-Matti Penttinen,
Elina Parviainen:
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.
ICATPN 2004: 331-350 |
| 2002 |
|---|
| 8 | | 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 |
|---|
| 7 | 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) |
| 1997 |
|---|
| 6 | EE | Olli-Matti Penttinen,
Tino Pyssysalo,
Leo Ojala:
Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets.
HICSS (5) 1997: 119-124 |
| 1996 |
|---|
| 5 | EE | Tino Pyssysalo,
Leo Ojala:
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.
EUROMICRO 1996: 625-632 |
| 1987 |
|---|
| 4 | | Esa Montonen,
Leo Ojala,
Timo Tuuliniemi:
A PrT-Net Representation of Graph Grammars.
WG 1987: 20-31 |
| 1983 |
|---|
| 3 | | Matti Anttila,
Harri Eriksson,
Jukka Ikonen,
Raimo Kujansuu,
Leo Ojala,
Heikki Tuominen:
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.
Protocol Specification, Testing, and Verification 1983: 139-148 |
| 1982 |
|---|
| 2 | | Raimo Kujansuu,
Leo Ojala,
Heikki Tuominen:
The Development of Tools for Verification and Validation of Communication Protocols.
PSTV 1982: 311-313 |
| 1979 |
|---|
| 1 | | Iiro Hartimo,
Leo Ojala:
Comments on ``A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time''.
IEEE Trans. Computers 28(4): 300 (1979) |
