Poster Session
Foundations of Computer Science
List of the first track paper accepted in the track poster section.Number of papers: 2
- Tobe Toben and Bernd Westphal
On the Expressive Power of Live Sequence Charts - Sergey Bereg, Markus Völkel and Alexander Wolff
Compact Drawing of Clustered Layered Graphs
(This contribution will not be published in the Proceedings)
Wireless, Mobile, Ad Hoc and Sensor Networks
List of the second track paper accepted in the track poster section.Number of papers: 2
- Martín López-Nores, José J. Pazos-Arias, Jorge García-Duque, Ana Fernández-Vilas and Rebeca P. Díaz-Redondo
Formal reasoning under uncertainty to improve service provision in mobile ad-hoc networks - Zbigniew Walczak
Interference and Topology Control in Wireless Networks with Scale-Free Distribution of Nodes
Semantic Web Technologies
List of the fourth track paper accepted in the track poster section.Number of papers: 2
- Hashim Habiballa
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic - Ismael Navas-Delgado, Maria del Mar Rojano-Muńoz, José F. Aldana-Montes
Composing Semantic Web Services from Different Ontologies
All participants are kindly asked to see the instructions.