Leo Ojala

13 papers B 2Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2008 J jnl
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
Fundam. Informaticae
Kimmo Varpaaniemi, Leo Ojala
2004 — conf
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.
ICATPN
Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
2002 Misc conf
Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets.
PDPTA
Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjälä, Harriett Beaver
2001 B conf
Modeling Feynman's quantum computer using stochastic high level Petri nets.
SMC
Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriett Beaver, Teemu Tynjälä
2001 J jnl
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.
Int. J. Softw. Tools Technol. Transf.
Leo Ojala, Nisse Husberg, Teemu Tynjälä
1997 — conf
Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets.
HICSS (5)
Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala
1996 — conf
Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.
EUROMICRO
Tino Pyssysalo, Leo Ojala
1987 B conf
A PrT-Net Representation of Graph Grammars.
WG
Esa Montonen, Leo Ojala, Timo Tuuliniemi
1983 — conf
Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.
Protocol Specification, Testing, and Verification
Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen
1982 — conf
The Development of Tools for Verification and Validation of Communication Protocols.
PSTV
Raimo Kujansuu, Leo Ojala, Heikki Tuominen
1979 J jnl
Comments on "A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time".
IEEE Trans. Computers
Iiro Hartimo, Leo Ojala
1974 J jnl
Discretization Error Analysis in Linear DDA Connections.
IEEE Trans. Computers
Lauri Hakkala, Leo Ojala
1974 J jnl
On a Class of Recursive Algorithms for Continuous Estimation of the Mean.
IEEE Trans. Computers
C. G. Aminoff, Leo Ojala, E. T. Rautanen