Viorica Sofronie-Stokkermans

1.0k total citations
36 papers, 180 citations indexed

About

Viorica Sofronie-Stokkermans is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Viorica Sofronie-Stokkermans has authored 36 papers receiving a total of 180 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 3 papers in Software. Recurrent topics in Viorica Sofronie-Stokkermans's work include Logic, Reasoning, and Knowledge (20 papers), Advanced Algebra and Logic (15 papers) and Logic, programming, and type systems (9 papers). Viorica Sofronie-Stokkermans is often cited by papers focused on Logic, Reasoning, and Knowledge (20 papers), Advanced Algebra and Logic (15 papers) and Logic, programming, and type systems (9 papers). Viorica Sofronie-Stokkermans collaborates with scholars based in Germany and United States. Viorica Sofronie-Stokkermans's co-authors include Nikolaj Bjørner, Andrey Rybalchenko, Cesare Tinelli, Harald Ganzinger, Uwe Waldmann, Werner Damm, Michaël Rusinowitch, Silvio Ghilardi, Swen Jacobs and David Basin and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and Information and Computation.

In The Last Decade

Viorica Sofronie-Stokkermans

34 papers receiving 171 citations

Peers

Viorica Sofronie-Stokkermans

CTM

SOFTW

CNC

Benjamin Aminof Italy

Rajeev Goré Australia

Carroll Morgan Australia

Sophie Tison France

Jörg Endrullis Netherlands

Martin Avanzini Austria

Paula Severi United Kingdom

Christoph Walther Germany

Anton Setzer United Kingdom

Bartek Klin Poland

Benjamin Aminof Italy

Viorica Sofronie-Stokkermans

132 ×0.9

CTM

133 ×0.9

31 ×1.3

SOFTW

15 ×1.1

CNC

7 ×0.9

Citations per year, relative to Viorica Sofronie-Stokkermans Viorica Sofronie-Stokkermans (= 1×) peers Benjamin Aminof

Countries citing papers authored by Viorica Sofronie-Stokkermans

Since Specialization

Citations

This map shows the geographic impact of Viorica Sofronie-Stokkermans's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Viorica Sofronie-Stokkermans with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Viorica Sofronie-Stokkermans more than expected).

Fields of papers citing papers by Viorica Sofronie-Stokkermans

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Viorica Sofronie-Stokkermans. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Viorica Sofronie-Stokkermans. The network helps show where Viorica Sofronie-Stokkermans may publish in the future.

Co-authorship network of co-authors of Viorica Sofronie-Stokkermans

This figure shows the co-authorship network connecting the top 25 collaborators of Viorica Sofronie-Stokkermans. A scholar is included among the top collaborators of Viorica Sofronie-Stokkermans based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Viorica Sofronie-Stokkermans. Viorica Sofronie-Stokkermans is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Sofronie-Stokkermans, Viorica. (2018). On Interpolation and Symbol Elimination in Theory Extensions. Logical Methods in Computer Science. Volume 14, Issue 3. 3 indexed citations

Bjørner, Nikolaj, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, & Christoph Weidenbach. (2016). Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Ghilardi, Silvio, Ulrike Sattler, & Viorica Sofronie-Stokkermans. (2014). 7th International Joint Conference on Automated Reasoning. 2 indexed citations

Sofronie-Stokkermans, Viorica. (2013). Locality and Applications to Subsumption Testing in EL and Some of its Extensions. SHILAP Revista de lepidopterología. 251–284. 2 indexed citations

Rybalchenko, Andrey & Viorica Sofronie-Stokkermans. (2010). Constraint solving for interpolation. Journal of Symbolic Computation. 45(11). 1212–1233. 11 indexed citations

Sofronie-Stokkermans, Viorica. (2010). Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations

Sofronie-Stokkermans, Viorica. (2008). Locality and Subsumption Testing in EL and Some of its Extensions.. Max Planck Institute for Plasma Physics. 315–339. 2 indexed citations

Sofronie-Stokkermans, Viorica. (2008). Interpolation in local theory extensions. Logical Methods in Computer Science. Volume 4, Issue 4. 235–250. 9 indexed citations

Jacobs, Swen & Viorica Sofronie-Stokkermans. (2007). Applications of Hierarchical Reasoning in the Verification of Complex Systems. Electronic Notes in Theoretical Computer Science. 174(8). 39–54. 1 indexed citations

10.

Sofronie-Stokkermans, Viorica, et al.. (2007). Automated Reasoning in Some Local Extensions of Ordered Structures. Max Planck Institute for Plasma Physics. 1–1. 13 indexed citations

11.

Sofronie-Stokkermans, Viorica, et al.. (2007). Automated reasoning in some local extensions of ordered structures. Max Planck Institute for Plasma Physics. 13. 397–414. 6 indexed citations

12.

Ganzinger, Harald, Viorica Sofronie-Stokkermans, & Uwe Waldmann. (2006). Modular proof systems for partial functions with Evans equality. Information and Computation. 204(10). 1453–1492. 7 indexed citations

13.

Sofronie-Stokkermans, Viorica. (2005). Hierarchic Reasoning in Local Theory Extensions. Lecture notes in computer science. 219–234. 1 indexed citations

14.

Sofronie-Stokkermans, Viorica. (2003). Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. Journal of Symbolic Computation. 36(6). 891–924. 7 indexed citations

15.

Sofronie-Stokkermans, Viorica. (2003). Representation theorems and theorem proving in non-classical logics. 19. 242–247. 1 indexed citations

16.

Sofronie-Stokkermans, Viorica. (2000). Priestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics. Max Planck Institute for Plasma Physics. 5(4). 281–305. 4 indexed citations

17.

Sofronie-Stokkermans, Viorica. (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica. 64(2). 151–172. 10 indexed citations

18.

Sofronie-Stokkermans, Viorica. (1999). Representation Theorems and Automated Theorem Proving in Non-Classical Logics. Max Planck Institute for Plasma Physics. 242–247. 2 indexed citations

19.

Sofronie-Stokkermans, Viorica. (1999). On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. Lecture notes in computer science. 157–171. 3 indexed citations

20.

Sofronie-Stokkermans, Viorica. (1998). On Translation of Finitely-Valued Logics to Classical First-Order Logic. Max Planck Institute for Plasma Physics. 410–411. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact