Scholar

Tomas Petricek

Google Scholar ID: WrTuTOcAAAAJ

Faculty of Mathematics and Physics, Charles University

Programming systemsData scienceHistory of programming

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,031

H-index

16

i10-index

22

Publications

20

Co-authors

22

list available

Contact

No contact links provided.

Publications

2 items

Formal Semantics and Type System for Vega Data Transformations

2026

Cited

0

Baseline: Operation-Based Evolution and Versioning of Data

2025

Cited

0

Resume (English only)

Co-authors

22 total

Microsoft Research

Dominic Orchard

School of Computing, University of Kent and Computer Laboratory, University of Cambridge

Associate Professor, University College London

Tijs van der Storm

Senior Researcher, Centrum Wiskunde & Informatica (CWI)

Samsung Research UK