Janez Ignacij Jereb

1. JEREB, Janez Ignacij. Razširitev Peirceovih alfa grafov. Matrika : izbrane teme sodobne fizike in matematike. 2025, letn. 12, št. 2, 15 str., ilustr. ISSN 2385-8567. https://matrika.fmf.uni-lj.si/letnik-12/stevilka-2/jereb.pdf. [COBISS.SI-ID 250798851]

2. JEREB, Janez Ignacij, SIMPSON, Alex. Safety, relative tightness and the probabilistic frame rule. V: KUPKE, Clemens (ur.), MILIUS, Stefan (ur.). Proceedings of MFPS XLI : 41st Conference on the Mathematical Foundations of Programming Semantics : University of Strathclyde, Glasgow, Scotland, 16. 6. 2025 - 21. 6. 2025. [Le Chesnay-Rocquencourt]: INRIA, 2025. Str. 12-1-12-17. Electronic notes in theorical informatics and computer science, vol. 5. ISSN 2969-2431. https://entics.episciences.org/16743, Repozitorij Univerze v Ljubljani – RUL, DiRROS - Digitalni repozitorij raziskovalnih organizacij Slovenije, DOI: 10.46298/entics.16743. [COBISS.SI-ID 276910851]

3. JEREB, Janez Ignacij. Verjetnostna separacijska logika : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematika. Ljubljana: [J. Ilija], 2025. 1 spletni vir (1 datoteka PDF (64 str.)). Repozitorij Univerze v Ljubljani – RUL. [COBISS.SI-ID 241427715]