Vesa Luukkala

According to our database1, Vesa Luukkala authored at least 8 papers between 2001 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
Meta Programming with Answer Sets for Smart Spaces.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011
Distributed Deadlock Handling for Resource Allocation in Smart Spaces.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011

2010
Enhancing a Smart Space with Answer Set Programming.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Integration of an Answer Set Engine to Smart-M3.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2010

Experiences in implementing a cross-domain use case by combining semantic and service level platforms.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

2007
Model Based Testing of an Embedded Session and Transport Protocol.
Proceedings of the Testing of Software and Communicating Systems, 2007

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
An SDL Implementation Framework for Third Generation Mobile Communications System.
Proceedings of the SDL 2001: Meeting UML, 2001


  Loading...