Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Understanding aspects of pilgrimage using social networks derived from smartphones., , , , , , and . Pervasive and Mobile Computing, (2014)Merging Inhomogeneous Proximity Sensor Systems for Social Network Analysis., , , , , and . MobiQuitous, volume 131 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 181-194. Springer, (2013)Can Smartphones Help with Running Technique?, , , and . ANT/SEIT, volume 19 of Procedia Computer Science, page 902-907. Elsevier, (2013)Determining relevant model elements for the verification of UML/OCL specifications., , , and . DATE, page 1189-1192. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Sensor technology for ice hockey and skating., , , , , , and . BSN, page 1-6. IEEE, (2015)Estimating physical ability of stroke patients without specific tests., , , and . ISWC, page 137-140. ACM, (2015)Formal model refinement: from specification to implementation.. University of Bremen, Germany, (2015)Development of Consistent Formal Models., and . SyDe Summer School, page 302-304. Springer, (2015)Verification-Driven Design Across Abstraction Levels: A Case Study., , , , and . DSD, page 375-382. IEEE Computer Society, (2015)Automatic refinement checking for formal system models., , , and . FDL, page 1-8. IEEE, (2014)