Author of the publication

Regular Expressions with Numerical Constraints and Automata with Counters.

. ICTAC, volume 5684 of Lecture Notes in Computer Science, page 231-245. Springer, (2009)

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

Investigating the Limitations of Java Annotations for Input Validation., , and . ARES, page 513-518. IEEE Computer Society, (2010)Versioned Objects., and . ISWC (Posters/Demos/Industry), volume 3254 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Type System for Usage of Software Components.. TYPES, volume 5497 of Lecture Notes in Computer Science, page 186-202. Springer, (2008)KeywDB: A System for Keyword-Driven Ontology-to-RDB Mapping Construction, , , , , , , and . Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 19, 2016., volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)OBDA Constraints for Effective Query Answering., , , and . RuleML, volume 9718 of Lecture Notes in Computer Science, page 269-286. Springer, (2016)Optique System: Towards Ontology and Mapping Management in OBDA Solutions, , , , , , , , , and 2 other author(s). Workshop on Debugging Ontologies and Ontology Mappings (WoDOOM), (2013)The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints.. LATA, volume 7183 of Lecture Notes in Computer Science, page 313-324. Springer, (2012)Regular Expressions with Numerical Constraints and Automata with Counters.. ICTAC, volume 5684 of Lecture Notes in Computer Science, page 231-245. Springer, (2009)The inclusion problem for regular expressions.. J. Comput. Syst. Sci., 78 (6): 1795-1813 (2012)Facility Design Metadata as RDF., and . ISWC (Posters/Demos/Industry), volume 3632 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)