Vesa Luukkala

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Topics

Development Environment

Extended Logic Programs

Top Venues

Publications

Tomi Janhunen, Vesa Luukkala
Meta Programming with Answer Sets for Smart Spaces. RR (2012)
Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala
Distributed Deadlock Handling for Resource Allocation in Smart Spaces. NEW2AN (2011)
Vesa Luukkala, Dirk-Jan Binnema, Mihaly Börzsei, Alessio Corongiu, Pasi Hyttinen
Experiences in implementing a cross-domain use case by combining semantic and service level platforms. ISCC (2010)
Vesa Luukkala, Ilkka Niemelä
Enhancing a Smart Space with Answer Set Programming. RuleML (2010)
Vesa Luukkala, Jukka Honkola
Integration of an Answer Set Engine to Smart-M3. NEW2AN (2010)
Vesa Luukkala, Ian Oliver
Model Based Testing of an Embedded Session and Transport Protocol. TestCom/FATES (2007)
Teemu Tynjälä, Sari Leppänen, Vesa Luukkala
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. FORTE (2002)
Juha Iso-Sipilä, Vesa Luukkala
An SDL Implementation Framework for Third Generation Mobile Communications System. SDL Forum (2001)