Leo Ojala - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2008

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-NetsKimmo Varpaaniemi, Leo Ojala. FUIN, 85(1-4):465-479, 2008. [doi]

2004

Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical MethodsLeo Ojala, Olli-Matti Penttinen, Elina Parviainen. apn 2004: 331-350 [doi]

2002

Modeling Feynman s Serial Quantum Computer Using Stochastic Petri NetsLeo Ojala, Elina Parviainen, Olli-Matti Penttinen, Teemu Tynjälä, Harriett Beaver. pdpta 2002: 1223-1229

2001

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methodsLeo Ojala, Nisse Husberg, Teemu Tynjälä. STTT, 3(4):382-393, 2001. [doi]

Modeling Feynman's quantum computer using stochastic high level Petri netsLeo Ojala, Elina Parviainen, Olli-Matti Penttinen, Harriett Beaver, Teemu Tynjälä. SMC 2001: 2735-2741 [doi]

1997

Performance Analysis of Adaptive Video on Demand Using Stochastic Petri NetsOlli-Matti Penttinen, Tino Pyssysalo, Leo Ojala. hicss 1997: 119-124 [doi]

1996

Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net FormalismTino Pyssysalo, Leo Ojala. euromicro 1996: 625-632 [doi]

1987

A PrT-Net Representation of Graph GrammarsEsa Montonen, Leo Ojala, Timo Tuuliniemi. criwg 1988: 20-31

1983

Tools ans Studies of Formal Techniques - Petri nets and Temporal LogicMatti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen. ifip 1983: 139-148

1982

The Development of Tools for Verification and Validation of Communication ProtocolsRaimo Kujansuu, Leo Ojala, Heikki Tuominen. pstv 1982: 311-313

1979

Comments on A Stable, Two-Multiplies-per-Cycle Algorithm for Digital Generation of Sinusoids in Real Time Iiro Hartimo, Leo Ojala. TC, 28(4):300, 1979.

1974

On a Class of Recursive Algorithms for Continuous Estimation of the MeanC. G. Aminoff, Leo Ojala, E. T. Rautanen. TC, 23(2):191-194, 1974. [doi]

Discretization Error Analysis in Linear DDA ConnectionsLauri Hakkala, Leo Ojala. TC, 23(9):932-941, 1974. [doi]

Sign in or sign up to see more results.

runs on WebDSL