( en | de | ru )

 

Disambiguation of "Sofronie-Stokkermans, Viorica"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

, , and . CoRR, (2016)

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.

Adriana Viorica Szeghalmi

 

Other publications of authors with the same name

Parametric Systems: Verification and Synthesis.. CoRR, (2019)On Interpolation and Symbol Elimination in Theory Extensions.. Logical Methods in Computer Science, (2018)Interpolation in Local Theory Extensions.. IJCAR, volume 4130 of Lecture Notes in Computer Science, page 235-250. Springer, (2006)Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains.. Fundam. Informaticae, 156 (3-4): 361-411 (2017)SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)., and . SOQE@KR, volume 3009 of CEUR Workshop Proceedings, page 75-82. CEUR-WS.org, (2021)On the Verification of the Correctness of a Subgraph Construction Algorithm., , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 303-325. Springer, (2024)Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+., and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Hierarchical Reasoning in Local Theory Extensions and Applications.. SYNASC, page 34-41. IEEE Computer Society, (2014)Interpolation in Local Theory Extensions.. Logical Methods in Computer Science, (2008)On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.. TABLEAUX, volume 2381 of Lecture Notes in Computer Science, page 235-250. Springer, (2002)