Author of the publication

ALChecker: A Tool for Checking Mobile Ambients.

, , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1577-1581. IEEE, (2018)

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

Uzbek-English and Turkish-English Morpheme Alignment Corpora., , , and . LREC, European Language Resources Association (ELRA), (2016)Cluster filtered KNN: A WLAN-based indoor positioning scheme., , , and . WOWMOM, page 1-8. IEEE Computer Society, (2008)Towards Programming and Verification for Activity-Oriented Smart Home Systems., , and . ASE, page 1270-1272. IEEE, (2020)Programming Method and Formalization for Activity-Oriented Context-Aware Applications., , and . UIC/ATC/ScalCom, page 174-181. IEEE Computer Society, (2015)Towards a programming framework for activity-oriented context-aware applications., , and . Frontiers Comput. Sci., 11 (6): 987-1006 (2017)AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications., , , and . J. Comput. Sci. Technol., 33 (5): 900-917 (2018)Linguistic Resources for Entity Linking Evaluation: from Monolingual to Cross-lingual., , , , and . LREC, page 3098-3105. European Language Resources Association (ELRA), (2012)Improving the Quality of Context-Aware Applications: An Activity-Oriented Context Approach., , and . QSIC, page 173-182. IEEE, (2013)Transcription Methods for Consistency, Volume and Efficiency., , , , , and . LREC, European Language Resources Association, (2010)Automatic word alignment tools to scale production of manually aligned parallel texts., , and . LREC, page 2194-2198. European Language Resources Association (ELRA), (2012)