Leo Ojala

According to our database, Leo Ojala authored at least 13 papers between 1974 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.

Kimmo Varpaaniemi, Leo Ojala

Fundam. Informaticae, 2008

2004

Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.

Leo Ojala, Olli-Matti Penttinen, Elina Parviainen

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2002

Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets.

Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjälä, Harriett Beaver

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

2001

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.

Leo Ojala, Nisse Husberg, Teemu Tynjälä

Int. J. Softw. Tools Technol. Transf., 2001

Modeling Feynman's quantum computer using stochastic high level Petri nets.

Leo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriett Beaver, Teemu Tynjälä

Proceedings of the IEEE International Conference on Systems, 2001

1997

Performance Analysis of Adaptive Video on Demand Using Stochastic Petri Nets.

Olli-Matti Penttinen, Tino Pyssysalo, Leo Ojala

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.

Tino Pyssysalo, Leo Ojala

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1987

A PrT-Net Representation of Graph Grammars.

Esa Montonen, Leo Ojala, Timo Tuuliniemi

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

1983

Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.

Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

The Development of Tools for Verification and Validation of Communication Protocols.

Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, 1982

1979

Comments on "A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time".

Iiro Hartimo, Leo Ojala

IEEE Trans. Computers, 1979

1974

Discretization Error Analysis in Linear DDA Connections.

Lauri Hakkala, Leo Ojala

IEEE Trans. Computers, 1974

On a Class of Recursive Algorithms for Continuous Estimation of the Mean.

C. G. Aminoff, Leo Ojala, E. T. Rautanen

IEEE Trans. Computers, 1974