Teemu Tynjälä

According to our database1, Teemu Tynjälä authored at least 10 papers between 2000 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Validation in Supply Chain Decision Support Systems.
Int. J. Inf. Syst. Supply Chain Manag., 2012

Business model transformation as an explanation of dramatic demand-supply change events.
Proceedings of 2012 IEEE International Conference on Service Operations and Logistics, 2012

2007
Supporting Demand Supply Network Optimization with Petri Nets.
Int. J. Intell. Inf. Technol., 2007

2005
Modeling the SpaceWire Architecture with Lyra.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2002
Modeling Feynman's Serial Quantum Computer Using Stochastic Petri Nets.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.
Int. J. Softw. Tools Technol. Transf., 2001

Modeling Feynman's quantum computer using stochastic high level Petri nets.
Proceedings of the IEEE International Conference on Systems, 2001

2000
Threshold-Based Registration (TBR) in Mobile IPv6.
Proceedings of the Mobile and Wireless Communication Networks, 2000

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
Proceedings of the Application and Theory of Petri Nets 2000, 2000


  Loading...