Leo Ojala

Publication Activity (10 Years)

Years Active: 1974-2008
Publications (10 Years): 0

Publications

Kimmo Varpaaniemi, Leo Ojala
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets. Fundam. Informaticae 85 (1-4) (2008)
Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. ICATPN (2004)
Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjälä, Harriett Beaver
Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets. PDPTA (2002)
Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriett Beaver, Teemu Tynjälä
Modeling Feynman's quantum computer using stochastic high level Petri nets. SMC (2001)
Leo Ojala, Nisse Husberg, Teemu Tynjälä
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala
Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets. HICSS (5) (1997)
Tino Pyssysalo, Leo Ojala
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism. EUROMICRO (1996)
Esa Montonen, Leo Ojala, Timo Tuuliniemi
A PrT-Net Representation of Graph Grammars. WG (1987)
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)
Raimo Kujansuu, Leo Ojala, Heikki Tuominen
The Development of Tools for Verification and Validation of Communication Protocols. PSTV (1982)
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) (1979)
Lauri Hakkala, Leo Ojala
Discretization Error Analysis in Linear DDA Connections. IEEE Trans. Computers 23 (9) (1974)
C. G. Aminoff, Leo Ojala, E. T. Rautanen
On a Class of Recursive Algorithms for Continuous Estimation of the Mean. IEEE Trans. Computers 23 (2) (1974)