Marcin Sabok

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 6

Top Topics

Rough Set Approximations

Description Logic Programs

Uncertain Databases

Equivalence Relation

Top Venues

Proc. ACM Program. Lang.

J. Lond. Math. Soc.

Publications

Jan Hubicka, Colin Jahel, Matej Konecný, Marcin Sabok
Extension property for partial automorphisms of the n-partite and semigeneric tournaments. CoRR (2024)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic programming semantics for name generation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic Programming Semantics for Name Generation. CoRR (2020)
Jan Hubicka, Colin Jahel, Matej Konecný, Marcin Sabok
Extending partial automorphisms of n-partite tournaments. CoRR (2019)
Jingyin Huang, Micheal Pawliuk, Marcin Sabok, Daniel T. Wise
The Hrushovski property for hypertournaments and profinite topologies. J. Lond. Math. Soc. 100 (3) (2019)
Marcin Sabok
Orbit Equivalence Relations. FLAP 4 (10) (2017)
David Asperó, Sy-David Friedman, Miguel Angel Mota, Marcin Sabok
Baumgartner's conjecture and bounded forcing axioms. Ann. Pure Appl. Log. 164 (12) (2013)
Janusz Pawlikowski, Marcin Sabok
Decomposing Borel functions and structure at finite levels of the Baire hierarchy. Ann. Pure Appl. Log. 163 (12) (2012)
Marcin Sabok, Jindrich Zapletal
Forcing properties of ideals of closed sets. J. Symb. Log. 76 (3) (2011)
Marcin Sabok
-Continuity and related forcings. Arch. Math. Log. 48 (5) (2009)
Janusz Pawlikowski, Marcin Sabok
Two stars. Arch. Math. Log. 47 (7-8) (2008)