Scholar
Tomas Petricek
Google Scholar ID: WrTuTOcAAAAJ
Faculty of Mathematics and Physics, Charles University
Programming systems
Data science
History of programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,031
H-index
16
i10-index
22
Publications
20
Co-authors
22
list available
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
Co-authors
12 total
Don Syme
Microsoft Research
Dominic Orchard
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
Brooks Paige
Associate Professor, University College London
Tijs van der Storm
Senior Researcher, Centrum Wiskunde & Informatica (CWI)
Taha Ceritli
Samsung Research UK
Chris Williams
Professor of Machine Learning, University of Edinburgh
Ernesto Jimenez-Ruiz
Senior Lecturer in Artificial Intelligence. City St George's, University of London, UK
Gerrit J.J. van den Burg
Applied Scientist, Amazon AGI
