Author of the publication

Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT.

, , , , and . WOA, volume 2404 of CEUR Workshop Proceedings, page 119-126. CEUR-WS.org, (2019)

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

A decidable theory involving addition of differentiable real functions., , , , and . Theor. Comput. Sci., 940 (Part): 124-148 (2023)Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator., , and . J. Comput. Syst. Sci., 34 (1): 1-18 (1987)Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs., , and . ISSAC, volume 358 of Lecture Notes in Computer Science, page 407-422. Springer, (1988)The Automation of Syllogistic., , and . J. Autom. Reason., 6 (2): 173-187 (1990)Two-Levels-Greedy: a generalization of Dijkstra's shortest path algorithm., and . Electron. Notes Discret. Math., (2004)The Automation of Syllogistic I. Syllogistic Normal Forms., , and . J. Symb. Comput., 6 (1): 83-98 (1988)Quantum String Matching Unfolded and Extended., , and . RC, volume 13960 of Lecture Notes in Computer Science, page 117-133. Springer, (2023)A tool to easing the configuration and deploying process of Hyperledger Fabric., , and . BIR Workshops, volume 3514 of CEUR Workshop Proceedings, page 224-234. CEUR-WS.org, (2023)Transitive Venn diagrams with applications to the decision problem in set theory., , and . APPIA-GULP-PRODE, page 167-182. (1999)A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions, and . GandALF, volume 96 of EPTCS, page 224-237. (2012)