Vlasta Sikimic

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Dynamic Epistemic Logic

Top Venues

J. Log. Comput.

Frontiers Res. Metrics Anal.

Publications

Vlasta Sikimic, Ole Herud-Sikimic
Modelling efficient team structures in biology. J. Log. Comput. 32 (6) (2022)
Vlasta Sikimic
How to Improve Research Funding in Academia? Lessons From the COVID-19 Crisis. Frontiers Res. Metrics Anal. 7 (2022)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Slobodan Perovic, Sandro Radovanovic, Vlasta Sikimic, Andrea Berber
Optimal research team composition: data envelopment analysis of Fermilab experiments. Scientometrics 108 (1) (2016)