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

Dealing with network changes in cellular fingerprint positioning systems., , , , , , and . ICL-GNSS, page 1-6. IEEE, (2017)The t4sql temporal query language., , and . CIKM, page 193-202. ACM, (2007)A decidable weakening of Compass Logic based on cone-shaped cardinal directions., , and . Log. Methods Comput. Sci., (2015)Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages., , , and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 27-38. CEUR-WS.org, (2017)Skeptical and Credulous Event Calculi for Supporting Modal Queries., , and . ECAI, page 361-365. John Wiley and Sons, Chichester, (1994)The Complexity of Model Checking in Modal Event Calculi with Quantifiers., , and . KR, page 368-379. Morgan Kaufmann, (1998)A Novel Automata-Theoretic Approach to Timeline-Based Planning., , , and . KR, page 541-550. AAAI Press, (2018)Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains., , , and . KR, page 627-628. AAAI Press, (2018)Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation., , , and . GCAI, volume 65 of EPiC Series in Computing, page 28-41. EasyChair, (2019)Map matching with sparse cellular fingerprint observations., , , , , , and . UPINLBS, page 1-10. IEEE, (2018)