Scholar

Mantas Šimkus

Google Scholar ID: iWJoqO8AAAAJ

Institute of Logic and Computation, TU Wien, Austria

Artificial IntelligenceComputer Science

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

2,367

H-index

28

i10-index

47

Publications

20

Co-authors

72

list available

Contact

No contact links provided.

Publications

4 items

Static Analysis of Recursive SHACL

2026

Cited

0

Common Foundations for Recursive Shape Languages

2026

Cited

0

Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization

2025

Cited

0

Minimal Model Reasoning in Description Logics: Don't Try This at Home!

2025

Cited

0

Resume (English only)

Co-authors

72 total

Magdalena Ortiz

Vienna University of Technology (TU Wien)

Vienna University of Technology (TU Wien)

Diego Calvanese

Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.

Shqiponja Ahmetaj

Project Assistant, TU Wien

Meghyn Bienvenu

CNRS Researcher

Professor of Computer Science, Southeast University, China

Sebastian Rudolph

Technische Universität Dresden and ScaDS.AI