PhD Andrej Bauer [15854]

1. HASELWARTER, Philipp Georg, BAUER, Andrej. Finitary type theories with and without contexts. Journal of automated reasoning. Dec. 2023, vol. 67, iss. 4, article no. 36, 87 str. ISSN 0168-7433. https://link.springer.com/article/10.1007/s10817-023-09678-y, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=152580, DOI: 10.1007/s10817-023-09678-y. [COBISS.SI-ID 168229379]

2. MASSRI, Besher M., PITA COSTA, João, GROBELNIK, Marko, BRANK, Janez, STOPAR, Luka, BAUER, Andrej. A global COVID-19 observatory, monitoring the pandemics through text mining and visualization. Informatica : an international journal of computing and informatics. [Tiskana izd.]. March 2022, vol. 46, no. 1, str. 49-55. ISSN 0350-5596. https://www.informatica.si/index.php/informatica/article/download/3375/1741, http://www.dlib.si/details/URN:NBN:SI:doc-M0ZCD67Y, DOI: 10.31449/inf.v46i1.3375. [COBISS.SI-ID 107602179]

3. BAUER, Andrej, PETKOVIĆ KOMEL, Anja. An extensible equality checking algorithm for dependent type theories. Logical methods in computer science. 2022, vol. 18, iss. 1, str. 17:1-17:42. ISSN 1860-5974. https://lmcs.episciences.org/8980, DOI: 10.46298/lmcs-18(1:17)2022. [COBISS.SI-ID 168236291]

4. BAUER, Andrej. Instance reducibility and Weihrauch degrees. Logical methods in computer science. 2022, vol. 18, iss. 3, str. 20:1-20:18. ISSN 1860-5974. https://lmcs.episciences.org/9906, DOI: 10.46298/lmcs-18(3:20)2022. [COBISS.SI-ID 168241411]

5. BAUER, Andrej, SWAN, Andrew. Every metric space is separable in function realizability. Logical methods in computer science. 2019, vol. 15, iss. 2, art. 14 [7 str.]. ISSN 1860-5974. https://lmcs.episciences.org/5501, DOI: 10.23638/LMCS-15(2:14)2019. [COBISS.SI-ID 18938969]

6. BAUER, Andrej. Five stages of accepting constructive mathematics. Bulletin (new series) of the American Mathematical Society. 2017, vol. 54, no. 3, str. 481-498. ISSN 0273-0979. http://dx.doi.org/10.1090/bull/1556, DOI: 10.1090/bull/1556. [COBISS.SI-ID 18066265]
award: Nagrada "2022 Levi L. Conant Prize" združenja American Mathematical Society

7. BAUER, Andrej. On fixed-point theorems in synthetic computability. Tbilisi Mathematical Journal. 2017, vol. 10, iss. 3, str. 167-181. ISSN 1512-0139. https://doi.org/10.1515/tmj-2017-0107, DOI: 10.1515/tmj-2017-0107. [COBISS.SI-ID 18349913]

8. BAUER, Andrej, PRETNAR, Matija. Programming with algebraic effects and handlers. In: Journal of logical and algebraic methods in programming : Special Issue on Domains X, International workshop on Domain Theory and applications, Swansea, 5-7 September, 2011. Amsterdam: Elsevier, 2015. Str. 108-123. Journal of logical and algebraic methods in programming, Vol. 84, iss. 1, 2015. ISSN 2352-2208. http://dx.doi.org/10.1016/j.jlamp.2014.02.001. [COBISS.SI-ID 17192025]

9. BAUER, Andrej. An injection from the Baire space to natural numbers. Mathematical structures in computer science. 2015, vol. 25, iss. 7, str. 1484-1489. ISSN 0960-1295. http://dx.doi.org/10.1017/S0960129513000406. [COBISS.SI-ID 17677401]

10. BAUER, Andrej, PRETNAR, Matija. An effect system for algebraic effects and handlers. Logical methods in computer science. 2014, vol. 10, iss. 4, paper 9 (str. 1-29). ISSN 1860-5974. http://arxiv.org/pdf/1306.6316. [COBISS.SI-ID 17191001]

11. BAUER, Andrej, PLOTKIN, Gordon, SCOTT, Dana S. Cartesian closed categories of separable Scott domains. Theoretical computer science. 2014, vol. 546, str. 17-29. ISSN 0304-3975. http://dx.doi.org/10.1016/j.tcs.2014.02.042. [COBISS.SI-ID 17679705]

12. BAUER, Andrej, HOFMANN, Martin, KARBYSHEV, Aleksandr. On monadic parametricity of second-order functionals. In: PFENNING, Frank (ed.). Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings. 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, Rome, Italy, March 16-24, 2013. Berlin; Heidelberg: Springer, cop. 2013. Str. 225-240. Lecture notes in computer science, 7794. ISBN 978-3-642-37074-8, ISBN 978-3-642-37075-5. ISSN 0302-9743. http://dx.doi.org/10.1007/978-3-642-37075-5_15. [COBISS.SI-ID 17680729]

13. BAUER, Andrej, CVETKO-VAH, Karin. Stone duality for skew Boolean algebras with intersections. Houston journal of mathematics. 2013, vol. 39, no. 1, str. 73-109. ISSN 0362-1588. http://www.math.uh.edu/~hjm/Vol39-1.html. [COBISS.SI-ID 16620377]

14. BAUER, Andrej, LUMSDAINE, Peter LeFanu. On the Bourbaki-Witt principle in toposes. Mathematical proceedings of the Cambridge Philosophical Society. 2013, vol. 155, iss. 1, str. 87-99. ISSN 0305-0041. http://dx.doi.org/10.1017/S0305004113000108. [COBISS.SI-ID 17680473]

15. BAUER, Andrej, CVETKO-VAH, Karin, GEHRKE, Mai, VAN GOOL, Samuel J., KUDRYAVTSEVA, Ganna. A non-commutative Priestley duality. Topology and its Applications. [Print ed.]. 2013, vol. 160, iss. 12, str. 1423-1438. ISSN 0166-8641. http://dx.doi.org/10.1016/j.topol.2013.05.012. [COBISS.SI-ID 16670297]

16. HAJDINJAK, Melita, BAUER, Andrej. Similarity-based relations in Datalog programs. International journal of uncertainty, fuzziness and knowledge-based systems. Oct. 2012, vol. 20, no. 5, str. 673-700. ISSN 0218-4885. [COBISS.SI-ID 9428308]

17. BAUER, Andrej. On the failure of fixed-point theorems for chain-complete lattices in the effective topos. In: ABRAMSKY, Samson (ed.), MISLOVE, Michael (ed.), PALAMIDESSI, Catuscia (ed.). Mathematical Foundations of Programming Semantics (MFPS XXV). Amsterdam [etc.]: Elsevier, 2012. Str. 43-50. Theoretical computer science, Vol. 430, (2012). ISSN 0304-3975. http://dx.doi.org/10.1016/j.tcs.2011.12.005. [COBISS.SI-ID 17680217]

18. BAUER, Andrej, LEŠNIK, Davorin. Metric spaces in synthetic topology. In: Third workshop on formal topology : special issue. 3rd Workshop on Formal Topology, Padua, 7-12 May 2007. Amsterdam: Elsevier, 2012. Vol. 163, issue 2, str. 87-100. Annals of pure and applied logic (Print), Vol. 163, iss. 2 (February 2012). ISSN 0168-0072. http://dx.doi.org/10.1016/j.apal.2011.06.017. [COBISS.SI-ID 16073305]

19. BAUER, Andrej, BLANCK, Jens. Canonical effective subalgebras of classical algebras as constructive metric completions. In: Computability and complexity in analysis : J.UCS special issue. Heidelberg: Springer, 2010. Str. 2496-2522. Journal of universal computer science (Online), Vol. 1, iss. 18, 2010. ISSN 0948-6968. http://dx.doi.org/10.3217/jucs-016-18-2496. [COBISS.SI-ID 16072537]

20. HAJDINJAK, Melita, BAUER, Andrej. Similarity measures for relational databases. Informatica : an international journal of computing and informatics. [Tiskana izd.]. May 2009, vol. 33, no. 2, str. 143-149, ilustr. ISSN 0350-5596. http://www.dlib.si/details/URN:NBN:SI:doc-EQYZHTDR. [COBISS.SI-ID 7110996]

21. BAUER, Andrej, KAVKLER, Iztok. A constructive theory of continuous domains suitable for implementation. In: Joint Workshop Domains VIII - Computability over Continuous Data Types, Novosibirsk, September 11-15, 2007. Amsterdam: Elsevier, 2009. Str. 251-267. Annals of pure and applied logic, Vol. 159, iss. 3. ISSN 0168-0072. http://dx.doi.org/10.1016/j.apal.2008.09.025. [COBISS.SI-ID 15329625]

22. BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation. 2009, vol. 19, no. 1, str. 17-43. ISSN 0955-792X. http://dx.doi.org/10.1093/logcom/exn026, http://logcom.oxfordjournals.org/cgi/reprint/19/1/17. [COBISS.SI-ID 15325785]

23. BAUER, Andrej, TAYLOR, Paul. The Dedekind reals in abstract Stone duality. Mathematical structures in computer science. 2009, vol. 19, iss. 4, str. 757-838. ISSN 0960-1295. [COBISS.SI-ID 15322201]

24. BAUER, Andrej. On the failure of fixed-point theorems for chain-complete lattices in the effective topos. In: ABRAMSKY, Samson (ed.). Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) : Oxford, UK, 03-07 April 2009. Amsterdam: Elsevier, 2009. Str. 157-167. Electronic notes in theoretical computer science, Vol. 249. ISSN 1571-0661. http://dx.doi.org/10.1016/j.entcs.2009.07.089. [COBISS.SI-ID 15325273]

25. AWODEY, Steve, BAUER, Andrej. Sheaf toposes for realizability. Archive for mathematical logic. 2008, vol. 47, no. 5, str. 465-478. ISSN 0933-5846. http://dx.doi.org/10.1007/s00153-008-0090-6. [COBISS.SI-ID 15321689]

26. BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. In: Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings. Berlin; Heidelberg: Springer, cop. 2007. Str. 28-42. Lecture notes in computer science, 4497. ISBN 3-540-73000-1, ISBN 978-3-540-73000-2. ISSN 0302-9743. http://www.springerlink.com/content/l745202373001555/fulltext.pdf. [COBISS.SI-ID 14631769]

27. LUKŠIČ, Primož, HORVAT, Boris, BAUER, Andrej, PISANSKI, Tomaž. Practical E-Learning for the Faculty of Mathematics and Physics at the University of Ljubljana. Interdisciplinary journal of knowledge & learning objects. 2007, vol. 3, str. 73-83. ISSN 1552-2210. http://ijklo.org/Volume3/IJKLOv3p073-083Luksic321.pdf. [COBISS.SI-ID 14269529]

28. BAUER, Andrej, STONE, Christopher A. Specifications via realizability. In: Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005) : Edinburgh, UK, 09 April 2005. Amsterdam: Elsevier, 2006. Str. 77-92. Electronic notes in theoretical computer science, Vol. 153, iss. 1. ISSN 1571-0661. http://dx.doi.org/10.1016/j.entcs.2005.08.007. [COBISS.SI-ID 15328089]

29. AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. Journal of logic and computation. 2004, vol. 14, no. 4, str. 447-471. ISSN 0955-792X. http://dx.doi.org/10.1093/logcom/14.4.447. [COBISS.SI-ID 13374809]

30. BAUER, Andrej, SIMPSON, Alex. Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Mathematical logic quarterly. 2004, vol. 50, no. 4/5, str. 351-369. ISSN 0942-5616. http://www3.interscience.wiley.com/cgi-bin/jissue/109594864. [COBISS.SI-ID 13378649]

31. BAUER, Andrej, BIRKEDAL, Lars, SCOTT, Dana S. Equilogical spaces. Theoretical computer science. 2004, vol. 315, str. 35-59. ISSN 0304-3975. [COBISS.SI-ID 13378393]

32. BAUER, Andrej, HÖTZEL ESCARDÓ, Martín, SIMPSON, Alex. Comparing functional paradigms for exact real-number computation. In: WIDMAYER, Peter (ed.). Automata, languages and programming : 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings. Berlin; London: Springer, cop. 2002. Str. 488-500. Lecture notes in computer science, 2380. ISBN 3-540-43864-5. ISSN 0302-9743. [COBISS.SI-ID 12032345]

33. BAUER, Andrej. A ralationship between equilogical spaces and Type Two Effectivity. Mathematical logic quarterly. 2002, vol. 48, suppl. 1, str. 1-15. ISSN 0942-5616. [COBISS.SI-ID 12033369]

34. BAUER, Andrej, BIRKEDAL, Lars. Continuous functionals of dependent types and equilogical spaces. In: CLOTE, Peter G. (ed.). Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings. Berlin [etc.]: Springer, 2000. Vol. 1862, str. 202-216. Lecture notes in computer science, 1862. ISBN 3-540-67895-6. ISSN 0302-9743. [COBISS.SI-ID 10606681]

35. BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed hypergeometric Gosper-type algorithms. Journal of symbolic computation. 1999, let. 28, št. 4-5, str. 711-736. ISSN 0747-7171. [COBISS.SI-ID 9210969]

36. BAUER, Andrej, CLARKE, Edmund, ZHAO, Xudong. Analytica - An experiment in combining theorem proving and symbolic computation. Journal of automated reasoning. 1998, vol. 21, no. 3, str. 295-325. ISSN 0168-7433. [COBISS.SI-ID 10606425]

1.04 Professional article

37. BAUER, Andrej. 256-glava zver premagala kralja. Mladina. [Tiskana izd.]. 20.V.1997, št. 20, str. 43-44, ilustr. ISSN 0350-9346. [COBISS.SI-ID 97900544]

38. BAUER, Andrej. Eulerjeva krožnica in premica ter višinska točka v večkotnikih. Matematika v šoli. 1992/1993, let. 1, št. 1, str. 27-43, graf. prikazi. ISSN 1318-010X. [COBISS.SI-ID 6771033]

1.05 Popular article

39. BAUER, Andrej. Linux - čisto pravi unix. Presek : list za mlade matematike, fizike, astronome in računalnikarje. [Tiskana izd.]. 1993-94, let. 21, št. 4, str. 206-210. ISSN 0351-6652. http://www.dlib.si/details/URN:NBN:SI:doc-XM2FZ4G7. [COBISS.SI-ID 6993241]

1.06 Published scientific conference contribution (invited lecture)

40. BAUER, Andrej, PRETNAR, Matija. An effect system for algebraic effects and handlers. In: HECKEL, Reiko (ed.), MILIUS, Stefan (ed.). Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings. 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland, 3-6 September 2013. Berlin; Heidelberg: Springer, cop. 2013. Str. 1-16. Lecture notes in computer science, 8089. ISBN 978-3-642-40205-0, ISBN 978-3-642-40206-7. ISSN 0302-9743. http://dx.doi.org/10.1007/978-3-642-40206-7_1. [COBISS.SI-ID 16816217]

41. BAUER, Andrej. Efficient computation with Dedekind reals. In: BRATTKA, Vasco (ed.). CCA 2008 : Fifth International Conference on Computability and Complexity in Analysis, August 21-24, 2008, Hagen, Germany. Hagen: Fakultät für Mathematik und Informatik, 2008. Str. 1-6. Informatik Berichte, 348-8/2008. [COBISS.SI-ID 15324249]

42. BAUER, Andrej. First steps in synthetic computability theory. In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI). Amsterdam: Elsevier, 2006. Str. 5-31. Electronic notes in theoretical computer science, Vol. 155. ISSN 1571-0661. http://dx.doi.org/10.1016/j.entcs.2005.11.049. [COBISS.SI-ID 14631001]

1.08 Published scientific conference contribution

43. BAUER, Andrej, HASELWARTER, Philipp Georg, PETKOVIĆ, Anja. Equality checking for general type theories in Andromeda 2. In: BIGATTI, Anna Maria (ed.). Mathematical Software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings. Cham: Springer, cop. 2020. Str. 253-259. Lecture notes in computer science, 12097. ISBN 978-3-030-52199-8, ISBN 978-3-030-52200-1. ISSN 0302-9743. https://doi.org/10.1007/978-3-030-52200-1_25, DOI: 10.1007/978-3-030-52200-1_25. [COBISS.SI-ID 35034115]

44. MASSRI, Besher M., PITA COSTA, João, BAUER, Andrej, GROBELNIK, Marko, BRANK, Janez, STOPAR, Luka. Monitoring COVID-19 through text mining and visualization. In: MLADENIĆ, Dunja (ed.), GROBELNIK, Marko (ed.). Odkrivanje znanja in podatkovna skladišča - SiKDD = Data Mining and Data Warehouses - SiKDD : 5. oktober 2020, 5 October, 2020, Ljubljana, Slovenia : Informacijska družba - IS 2020 = Information Society - IS 2020 : zbornik 23. mednarodne multikonference = proceedings of the 23rd international multiconference : zvezek C = volume C. Ljubljana: Institut "Jožef Stefan", 2020. Str. 53-56. Informacijska družba. ISBN 978-961-264-192-4, ISBN 978-961-264-193-1. ISSN 2630-371X. http://library.ijs.si/Stacks/Proceedings/InformationSociety/2020/IS2020_Volume_C%20-%20SiKDD.pdf. [COBISS.SI-ID 34515459]

45. AHMAN, Danel, BAUER, Andrej. Runners in action. In: MÜLLER, Peter (ed.). Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings. Cham: Springer, cop. 2020. Str. 29-55. Lecture notes in computer science, 12075. ISBN 978-3-030-44913-1, ISBN 978-3-030-44914-8. ISSN 0302-9743. https://doi.org/10.1007/978-3-030-44914-8_2, DOI: 10.1007/978-3-030-44914-8_2. [COBISS.SI-ID 18971481]

46. BAUER, Andrej, GILBERT, Gaëtan, HASELWARTER, Philipp Georg, PRETNAR, Matija, STONE, Christopher A. Design and implementation of the Andromeda proof assistant. In: GHILEZAN, Silvia (ed.), GEUVERS, Herman (ed.), IVETIĆ, Jelena (ed.). 22nd International Conference on Types for Proofs and Programs : TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Oct. 2018. 31 str. Leibniz international proceedings in informatics, 97. ISBN 978-3-95977-065-1. ISSN 1868-8969. https://drops.dagstuhl.de/opus/volltexte/2018/9857/pdf/LIPIcs-TYPES-2016-5.pdf, DOI: 10.4230/LIPIcs.TYPES.2016.5. [COBISS.SI-ID 18850137]

47. BAUER, Andrej, GROSS, Jason, LUMSDAINE, Peter LeFanu, SHULMAN, Michael, SOZEAU, Matthieu, SPITTERS, Bas. A formalization of homotopy type theory in Coq. In: BERTOT, Yves (ed.), VAFEIADIS, Viktor (ed.). CPP'17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. New York: Association for Computing Machinery, cop. 2017. Str. 164-172. ISBN 978-1-4503-4705-1. http://dx.doi.org/10.1145/3018610.3018615. [COBISS.SI-ID 18348377]

48. STEPIŠNIK, Tomaž, PANOV, Panče, BAUER, Andrej, DŽEROSKI, Sašo. Primerjava razdalj pri klasifikaciji in regresiji. In: GAMS, Matjaž (ed.), LUŠTREK, Mitja (ed.), PILTAVER, Rok (ed.). Slovenska konferenca o umetni inteligenci : zbornik 19. mednarodne multikonference Informacijska družba - IS 2016, 12. oktober 2016, [Ljubljana, Slovenija] : zvezek A = Slovenian Conference on Artificial Intelligence : proceedings of the 19th International Multiconference Information Society - IS 2016, 12 October 2016, Ljubljana, Slovenia : volume A. Ljubljana: Institut Jožef Stefan, 2016. Str. 68-71. ISBN 978-961-264-097-2. http://library.ijs.si/Stacks/Proceedings/InformationSociety/2016/IS2016_Volume_A%20-%20SKUI.pdf. [COBISS.SI-ID 29865255]

49. BAUER, Andrej. An injection from ▫${\mathbb{N}}^{\mathbb{N}}$▫ to ▫$\mathbb{N}$▫. In: Computing with infinite data: topological and logical foundations : seminar 11411. Schloss Dagstuhl: Leibniz-Zentrum für Informatik, 2011. 6 str. http://www.dagstuhl.de/mat/Files/11/11411/11411.BauerAndrej.Paper.pdf. [COBISS.SI-ID 16075097]

50. BAUER, Andrej, BLANCK, Jens. Canonical effective subalgebras of classical algebras as constructive metric completions. In: BAUER, Andrej (ed.), HERTLING, Peter (ed.), KO, Ker-I (ed.). CCA 2009 : Sixth International Conference on Computability and Complexity in Analysis, August 18-22, 2009, Ljubljana, Slovenia. Hagen: Fakultät für Mathematik und Informatik, 2009. Str. 35-46. Informatik Berichte, 353-7/2009. http://drops.dagstuhl.de/opus/volltexte/2009/2257/pdf/Bauer.2257.pdf. [COBISS.SI-ID 15258201]

51. SLUBAN, Borut, LAVRAČ, Nada, GAMBERGER, Dragan, BAUER, Andrej. Experiments with saturation filtering for noise elimination from labeled data. In: BOHANEC, Marko (ed.), et al. Zbornik 12. mednarodne multikonference Informacijska družba - IS 2009, 12.-16. oktober 2009 : zvezek A = Proceedings of the 12th International Multiconference Information Society - IS 2009, October 12th-16th, 2009, Ljubljana, Slovenia : volume A. Ljubljana: Institut Jožef Stefan, 2009. Str. 240-243. Informacijska družba. ISBN 978-961-264-010-1. ISSN 1581-9973. [COBISS.SI-ID 23253031]

52. BAUER, Andrej, KAVKLER, Iztok. Implementing real numbers with RZ. In: DILLHAGE, Ruth (ed.). CCA 2007 : Fourth International Conference on Computability and Complexity in Analysis, June 16-18, 2007, Siena, Italy. Fourth International Conference on Computability and Complexity in Analysis, June 16-18, 2007, Siena, Italy. Hagen: Fakultät für Mathematik und Informatik, 2007. Str. 25-43. Informatik Berichte, 338-6/2007. [COBISS.SI-ID 14334553]

53. BAUER, Andrej, SIMPSON, Alex. Locally non-compact spaces and continuity principles. In: BRATTKA, Vasco (ed.). Computability and complexity in analysis. International Conference on Computability and Complexity in Analysis, August 28-30, 2003, Cincinnati, USA. Hagen: Fachbereich Informatik, 2003. Str. 103-116. Informatik Berichte, 302-8/2003. [COBISS.SI-ID 12604505]

54. BAUER, Andrej, CLARKE, Edmund, ZHAO, Xudong. Analytica - An experiment in combining theorem proving and symbolic computation. In: CALMET, Jacques (ed.). Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 22-25, 1996 : proceedings. Berlin [etc.]: Springer, 1996. Str. 21-37. Lecture notes in computer science, 1138. ISBN 3-540-61732-9. ISSN 0302-9743. [COBISS.SI-ID 10606169]

1.10 Published scientific conference contribution abstract (invited lecture)

55. BAUER, Andrej. On isomorphism invariance and isomorphism reflection in type theory. In: HERMO REYES, Eduardo (ed.), VILLANUEVA, Alicia (ed.). Types 2023 - abstracts : 29th International Conference on Types for Proofs and Programs : Valencia (Spain), 12-15 June 2023. Valencia: [s. n.], 2023. Str. 6. https://types2023.webs.upv.es/TYPES2023.pdf. [COBISS.SI-ID 168376323]

56. BAUER, Andrej. The real numbers and homotopy type theory. In: CCA 2016 : proceedings. 13th International Conference on Computability and Complexity in Analysis, June 15-17, 2016, Faro, Portugal. Faro: Universidade do Algarve, 2016. Str. 1-2. [COBISS.SI-ID 17708633]

1.12 Published scientific conference contribution abstract

57. BAUER, Andrej, AHMAN, Danel. The real world cannot be handled. In: AHMAN, Danel (ed.), et al. Scalable handling of effects : Report from Dagstuhl Seminar 21292. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik GmbH, 2021. Str. 60. Dagstuhl reports, Vol. 11, iss. 6 (2021). ISSN 2192-5283. https://drops.dagstuhl.de/opus/volltexte/2021/15580/pdf/dagrep_v011_i006_p054_21292.pdf. [COBISS.SI-ID 87829763]

58. BAUER, Andrej, HASELWARTER, Philipp Georg, PETKOVIĆ, Anja. On equality checking for general type theories: Implementation in Andromeda 2. In: EUTYPES-TYPES 2020 : abstracts : Turin, March 2020. 26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES 2020, Turin. [Torino: Università di Torino], 2020. 3 str. [54-56]. https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf. [COBISS.SI-ID 35059203]

59. BAUER, Andrej. Are all functions continuous and how to prove it?. In: BAUER, Andrej (ed.), et al. From theory to practice of algebraic effects and handlers : Report from Dagstuhl Seminar 16112. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik GmbH, 2016. Str. 53-55. Dagstuhl reports, Vol. 6, iss. 3 (2016). ISSN 2192-5283. http://drops.dagstuhl.de/opus/volltexte/2016/6148/pdf/dagrep_v006_i003_p044_s16112.pdf. [COBISS.SI-ID 17781849]

60. BAUER, Andrej. On self-interpreters for Göodel's System T. In: TYPES 2016 : book of abstracts. Novi Sad: Faculty of Technical Sciences, 2016. Str. 23-24. http://www.types2016.uns.ac.rs/images/TYPES2016_Book_of_Abstracts_final.pdf. [COBISS.SI-ID 17782873]

61. BAUER, Andrej, GILBERT, Gaëtan, HASELWARTER, Philipp Georg, PRETNAR, Matija, STONE, Christopher A. Design and implementation of the Andromeda proof assistant. In: TYPES 2016 : book of abstracts. Novi Sad: Faculty of Technical Sciences, 2016. Str. 25-26. http://www.types2016.uns.ac.rs/images/TYPES2016_Book_of_Abstracts_final.pdf. [COBISS.SI-ID 17783129]

62. BAUER, Andrej, PÉDROT, Pierre-Marie. The Dialectica translation of type theory. In: TYPES 2016 : book of abstracts. Novi Sad: Faculty of Technical Sciences, 2016. Str. 81-82. http://www.types2016.uns.ac.rs/images/TYPES2016_Book_of_Abstracts_final.pdf. [COBISS.SI-ID 17783897]

63. PLOTKIN, Gordon, BAUER, Andrej. Report on cartesian closed categories of Scott domains. In: Domains X 2011 : abstracts. Swansea: Dept. of Computer Science, Swansea University, 2011. http://www.cs.swan.ac.uk/domains2011/abstracts.html. [COBISS.SI-ID 16074329]

64. BAUER, Andrej, CVETKO-VAH, Karin. Stone duality for skew Boolean algebras with intersections. In: Domains X 2011 : abstracts. Swansea: Dept. of Computer Science, Swansea University, 2011. http://www.cs.swan.ac.uk/domains2011/abstracts.html. [COBISS.SI-ID 16074073]

65. LUKŠIČ, Primož, HORVAT, Boris, BAUER, Andrej, PISANSKI, Tomaž. Practical E-Learning for the Faculty of Mathematics and Physics at the University of Ljubljana. In: COHEN, Eli B. (ed.). InSITE 2007 : [Abstracts of Papers]. Santa Rosa, CA: Informing Science Institute, 2007. Str. 88. [COBISS.SI-ID 14401625]

66. AWODEY, Steve, BAUER, Andrej. Propositions as [types] : (extended abstract). In: GORÉ, Rajeev (ed.), MENDLER, Michael (ed.), DE PAIVA, Valeria (ed.). Intuitionistic Modal Logic and Applications (IMLA'02) : workshop proceedings. 2nd International Workshop on Intuitionistic Modal Logic and Applications, 26th July 2002, Copenhagen. Bamberg: Otto-Friedrich-Universität, 2002. Str. 1-15. Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik, Nr. 61. ISSN 0937-3349. [COBISS.SI-ID 11953241]

67. BAUER, Andrej. Equilogical spaces and domains with totality. In: Workshop on Domains IV : Rolandseck, Germany, 02-04 October 1998. Amsterdam: Elsevier, 2000. Str. 2. Electronic notes in theoretical computer science, Vol. 35. ISSN 1571-0661. http://dx.doi.org/10.1016/S1571-0661(05)80723-6. [COBISS.SI-ID 15329113]

1.13 Published professional conference contribution abstract

68. BAUER, Andrej. Random art. In: PISANSKI, Tomaž (ed.), ORBANIĆ, Alen (ed.), RAVNIKAR, Martin (ed.). Meeting Mathematics and Art, Ljubljana, June 27, 2011. Ljubljana: University, 2011. 1 str. ISBN 978-961-6410-33-5. [COBISS.SI-ID 15933017]

1.16 Independent scientific component part or a chapter in a monograph

69. BAUER, Andrej. Intuitionistic mathematics and realizability in the physical world. In: ZENIL, Hector (ed.). A computable universe : understanding and exploring nature as computation. Singapore [etc.]: World Scientific, cop. 2013. Str. 143-157. ISBN 978-981-4374-29-3, ISBN 978-981-4374-30-9. http://dx.doi.org/10.1142/9789814374309_0008. [COBISS.SI-ID 17708121]

70. HAJDINJAK, Melita, BAUER, Andrej. K-relations and beyond. In: RAMÍREZ GUTIÉRREZ, Carlos (ed.). Advances in knowledge representation. Rijeka: Intech, cop. 2012. Str. 19-40. ISBN 978-953-51-0597-8. http://cdn.intechopen.com/pdfs/36655/InTech-K_relations_and_beyond.pdf. [COBISS.SI-ID 9132628]

1.19 Review, book review, critique

71. BAUER, Andrej. AlTurki, Musab A. (SAR-UPAM-NDM); Meseguer, José (1-IL-NDM): Executable rewriting logic semantics of Orc and formal analysis of Orc programs. (English summary). - J. Log. Algebr. Methods Program. 84 (2015), no. 4, 505-533. MathSciNet : Mathematical Reviews on the Web. [Spletna izd.]. 2015, mr3355448. ISSN 2167-5163. http://www.ams.org/mathscinet/pdf/MR3355448.pdf. [COBISS.SI-ID 17842521]

1.20 Preface, editorial, afterword

72. BAUER, Andrej, HOFMANN, Martin, PRETNAR, Matija, YALLOP, Jeremy. Executive summary. In: BAUER, Andrej (ed.), et al. From theory to practice of algebraic effects and handlers : Report from Dagstuhl Seminar 16112. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik GmbH, 2016. Str. 44-45. Dagstuhl reports, Vol. 6, iss. 3 (2016). ISSN 2192-5283. http://drops.dagstuhl.de/opus/volltexte/2016/6148/pdf/dagrep_v006_i003_p044_s16112.pdf. [COBISS.SI-ID 17775193]

1.22 Interview

73. ZUPAN, Blaž (interviewee), RAVNIK, Miha (interviewee), BAUER, Andrej (interviewee), VINTAR, Špela (interviewee), DAMIJAN, Jože (interviewee). Umetna inteligenca med nami. Tromba : agencija za promocijo znanosti, kreativnosti in inovativnosti. 5. apr. 2023. ISSN 2350-5869. http://www.tromba.si/umetna-inteligenca-med-nami/. [COBISS.SI-ID 148048131]

74. BAUER, Andrej (interviewee). Abstraktno razmišljanje nas bogati. Gea : poljudnoznanstvena revija. [Tiskana izd.]. dec. 2021, letn. 31, str. 24-29, portreti. ISSN 0353-782X. [COBISS.SI-ID 93194755]

75. BAUER, Andrej (interviewee). Matematika je veda čistega uma. Tromba : agencija za promocijo znanosti, kreativnosti in inovativnosti. 31. dec. 2021. ISSN 2350-5869. http://www.tromba.si/prof-dr-andrej-bauer-fmf-ul-matematika-je-veda-cistega-uma/. [COBISS.SI-ID 168641539]

76. BAUER, Andrej (interviewee). Matematika pomembno vstopa v družboslovje. Tromba : agencija za promocijo znanosti, kreativnosti in inovativnosti. 25. dec. 2017. ISSN 2350-5869. http://www.tromba.si/prof-dr-andrej-bauer-fmf-ul-matematika-pomembno-vstopa-v-druzboslovje/. [COBISS.SI-ID 168639235]

1.25 Other component parts

77. BAUER, Andrej, KLAVŽAR, Sandi. The passing of Marko Petkovšek. Annals of combinatorics. June 2023, vol. 27, iss. 2, str. 455-456. ISSN 0218-0006. https://link.springer.com/article/10.1007/s00026-023-00653-3, DOI: 10.1007/s00026-023-00653-3. [COBISS.SI-ID 163348739]

MONOGRAPHS AND OTHER COMPLETED WORKS

2.05 Other educational material

78. BAUER, Andrej. Računamo, rišemo in programiramo z Mathematico. Ljubljana: [A. Bauer], 2008. 1 optični disk (CD-ROM). [COBISS.SI-ID 14629721]

79. BAUER, Andrej. Uvod v programiranje v Javi. Ljubljana: [A. Bauer], 2008. 1 optični disk (CD-ROM). [COBISS.SI-ID 14629977]

80. BAUER, Andrej. Teorija programskih jezikov. Ljubljana: [A. Bauer], 2007. 100 str. [COBISS.SI-ID 14630489]

81. BAUER, Andrej. Introduction to categorical logic : lecture notes. Ljubljana: [A. Bauer], 2003. 126 str. [COBISS.SI-ID 14630233]

82. ŽELJKO, Matjaž, ANASTASOV, Peter, BAUER, Andrej, CIMPRIČ, Jaka, JERMAN, Marjan, MARINČEK, Jože, MASTNAK, Mitja, MODIC, Roman. Altius, citius, fortius : [izbrana poglavja iz matematike za srednješolce]. Ljubljana: Društvo matematikov, fizikov in astronomov Slovenije, 1995. 212 str., graf. prikazi. Učbeniki in priročniki. ISBN 961-212-046-3. [COBISS.SI-ID 49623296]

2.06 Dictionary, encyclopaedia, lexicon, manual, atlas, map

83. BAUER, Andrej, BRODNIK, Andrej, GOLLI, Bojan, GRAD, Janez, JEŽ, Marija, GUID, Nikola, LOKAR, Matija, MOHAR, Bojan, NOVAK, France, PETKOVŠEK, Marko, et al., GAMS, Matjaž (editor), RAPOŠA, Kazimir (editor). Računalniški slovarček : angleško-slovenski, slovensko-angleški. 3. razširjena izd. Ljubljana: Cankarjeva založba, 1993. 417 str. ISBN 86-361-0822-5. [COBISS.SI-ID 33662976]

2.08 Doctoral dissertation

84. BAUER, Andrej. The realizability approach to computable analysis and topology : submitted in partial fulfillment of the requirements for the Degree of Doctor of Philosophy. Pittsburgh: [A. Bauer], 2000. 252 str. [COBISS.SI-ID 10605913]

2.11 Undergraduate thesis

85. BAUER, Andrej. Seifertovi vlaknati prostori : diplomsko delo : Prešernova nagrada študentom. Ljubljana: [A. Bauer], 1994. 72 str., graf. prikazi. http://www.matknjiz.si/diplome/uni/t/1994/9832-38.pdf. [COBISS.SI-ID 2734937]

2.12 Final research report

86. KAVČIČ, Alenka, DIVJAK, Saša, MAROLT, Matija, PRIVOŠNIK, Marko, ROZMAN, Ksenija, VIČIČ, Jernej, KAVŠEK, Branko, KLJUN, Matjaž, ISTENIČ, Andreja, PISANSKI, Tomaž, BAUER, Andrej, LOKAR, Matija, HORVAT, Boris, LUKŠIČ, Primož. e-VIZUS : informatizacija izobraževanja in usposabljanja v Slovenski vojski : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu v okviru ciljnega raziskovalnega programa (CRP) "Znanje za varnost in mir 2006-2010". Ljubljana: Fakulteta za računalništvo in informatiko, Laboratorij za računalniško grafiko in multimedije, 2007. 1 zv. (loč. pag.), ilustr. [COBISS.SI-ID 6243668]

2.25 Other monographs and other completed works

87. BAUER, Andrej. Računsko intenzivne metode in aplikacije. [Ljubljana: ARRS], 2015. Odlični v znanosti, 2013. http://videolectures.net/odlicnivznanosti2013_bauer_intenzivne_metode/. [COBISS.SI-ID 18000473]

88. BAŠIĆ, Nino, BAUER, Andrej, BRODNIK, Andrej, GABRIJELČIČ, Primož, GRABNAR, Matija, HOČEVAR, Tomaž, HUDOBIVNIK, Nace, KOŠIR, Aleš, KODRE, Jurij, LASIČ, Mitja, MARTINEC, Mark, MIKLAVEC, Mojca, TRAMPUŠ, Mitja, ŽAGAR, Klemen, BRANK, Janez (author, editor). Bilten. Ljubljana: Institut Jožef Stefan, 2013. 175 str., ilustr. ISBN 978-961-264-051-4, ISBN 978-961-264-052-1. http://rtk.ijs.si/2012/rtk2012-bilten.pdf. [COBISS.SI-ID 268121344]

89. BAUER, Andrej, et al. Homotopy type theory : univalent foundations of mathematics. [Princeton (N.J.)]: Univalent Foundations Program, cop. 2013. XIII, 589 str., ilustr. http://homotopytypetheory.org/book/. [COBISS.SI-ID 16749657]

90. BAUER, Andrej, BRANK, Janez (author, editor), BAŠIĆ, Nino, ČREPINŠEK, Matej, GABRIJELČIČ, Primož, GAŠPERIN, Boris, GROBELNIK, Marko, HOČEVAR, Tomaž, KEŠE, Peter, KODRE, Jurij, LASIČ, Mitja, LESJAK, Borut, LOKAR, Matija, MARTINEC, Mark, MIKLAVEC, Mojca, NOVAK, Polona, ŠPROGAR, Matej, TRAMPUŠ, Mitja, URLEP, Matjaž, ŽAGAR, Anže, ŽAGAR, Klemen. Bilten. Ljubljana: Institut Jožef Stefan, 2011. 154 str., ilustr. ISBN 978-961-264-032-3. http://rtk.ijs.si/2010/rtk2010-bilten.pdf. [COBISS.SI-ID 255355392]

91. BAŠIĆ, Nino, BAUER, Andrej, FERLEŽ, Jure, GABRIJELČIČ, Primož, GAŠPERIN, Boris, GRČAR, Miha, HOČEVAR, Tomaž, JOVANOVIČ, Uroš, LASIČ, Mitja, LESKOVEC, Jurij, MARTINEC, Mark, NOVAK, Polona, ŠTERK, Marjan, TRAMPUŠ, Mitja, VUK, Miha, ZUPANIČ, Darko, ŽAGAR, Anže, ŽAGAR, Klemen, BRANK, Janez, BAŠIĆ, Nino, BRANK, Janez (editor). Bilten. Ljubljana: Institut Jožef Stefan, 2009. ISBN 978-961-264-015-6. http://rtk.ijs.si/2009/rtk2009-bilten.pdf, http://www.dlib.si/details/URN:NBN:SI:doc-FJ6ZD1MW. [COBISS.SI-ID 248589568]

92. BAŠIĆ, Nino, BAUER, Andrej, GRABNAR, Matija, GRČAR, Miha, HOČEVAR, Tomaž, HORVAT, Boris, JURIŠIĆ, Aleksandar, KENDA, Klemen, KEŠE, Peter, KODRE, Jurij, MARTINEC, Mark, MIKLAVEC, Mojca, TRAMPUŠ, Mitja, VUK, Miha, ŽAGAR, Klemen, BRANK, Janez (author, editor). Bilten. Ljubljana: Institut Jožef Stefan, 2008. 159 str., ilustr. ISBN 978-961-264-007-1. http://rtk.ijs.si/2008/rtk2008-bilten-tisk.pdf. [COBISS.SI-ID 241906432]

PERFORMED WORKS (EVENTS)

3.11 Radio or television event

93. BAUER, Andrej (interviewee). Mož, ki je dokazal, da vsega ni mogoče dokazati : oddaja Frekvenca X, Radio Slovenija, Val 202, 13. 6. 2013. http://val202.rtvslo.si/2013/06/fx-moz-ki-je-dokazal-da-vsega-ni-mogoce-dokazati/. [COBISS.SI-ID 1772366]

94. BAUER, Andrej (interviewee), HRIBAR, Tine (interviewee), KOZINA, Jani (interviewee), VODOPIVEC, Aleš (interviewee), DEKLEVA, Goran (interviewer). Ustvarjalnost - prazna beseda ali ključ do rešitve krize : Radio Slovenija : I. program : Studio ob 17:00, 24. 5. 2013. 2013. [COBISS.SI-ID 35957037]

95. BAUER, Andrej (interviewee), OMLADIČ, Matjaž (interviewee), SERŠA, Gregor (interviewee), POHAR PERME, Maja (interviewee), PERMAN, Mihael (interviewee), MARKOŠEK, Tatjana (editor). Nam verjetnost kroji življenje : oddaja Ugriznimo znanje, TVS 1. program, 14. 02. 2012. Ljubljana: Radio Slovenija, 2012. [15 min.]. http://tvslo.si/predvajaj/nam-verjetnost-kroji-zivljenje-oddaja-o-znanosti/ava2.128938648. [COBISS.SI-ID 29678041]

3.16 Unpublished invited conference lecture

96. BAUER, Andrej, BERČIČ, Katja, ZAGORC, Saša. Validation of Slovenian national and local elections in 2022 : predavanje na mednarodni konferenci "Computational 'law' on edge", organ. COHUBICOL, Bruselj, 21. nov. 2023. [COBISS.SI-ID 180291843]

97. BAUER, Andrej. Realizability : [4 lectures] : invited lectures at Midlands Graduate School in the Foundations of Computing Science, School of Computer Science, University of Nottingham, 10.-13. 4. 2022. [COBISS.SI-ID 168384259]

98. BAUER, Andrej, 8th European Congress of Mthematics, 20-26 June 2021, Portorož, Slovenia. The dawn of formalized mathematics : Portorož, 24. 6. 2021. [COBISS.SI-ID 73669379]

3.25 Other performed works

99. BAUER, Andrej, FMF seminar za učitelje matematike, Fakulteta za matematiko in fiziko, Ljubljana, 25. - 26. september 2020. Koliko je konstruktibilnih točk četrtega reda : Ljubljana, 25. 9. 2020. [COBISS.SI-ID 78266371]

100. BAUER, Andrej, FMF seminar za učitelje matematike, Fakulteta za matematiko in fiziko, Ljubljana, 30. september - 1. oktober 2016. Slike, vredne tisoč besed : Ljubljana, 30. 9. 2016. [COBISS.SI-ID 17890393]

101. BAUER, Andrej, Seminar "Moderni izzivi poučevanja matematike", Fakulteta za matematiko in fiziko, Ljubljana, 3. - 4. februar 2012. Kako brez kamere posnamemo lekcijo?. Ljubljana, 3. 2. 2012. [COBISS.SI-ID 17239641]

102. BAUER, Andrej, Seminar "Moderni izzivi poučevanja matematike", Fakulteta za matematiko in fiziko, Ljubljana, 25.-26. september 2009. Dokazujemo s programi in programiramo z dokazi. Ljubljana, 26. 9. 2009. [COBISS.SI-ID 17261145]

103. BAUER, Andrej, Seminar "Moderni izzivi poučevanja matematike", Fakulteta za matematiko in fiziko, Ljubljana, 1. in 2. februar 2008. O ordinalnih številih. Ljubljana, 1. 2. 2008. [COBISS.SI-ID 17271897]

104. BAUER, Andrej, Seminar "Moderni izzivi poučevanja matematike", Fakulteta za matematiko in fiziko, Ljubljana, 21. in 22. september 2007. Gödelova izreka o nepopolnosti. Ljubljana, 22. 9. 2007. [COBISS.SI-ID 17287257]

105. BAUER, Andrej, Seminar "Moderni izzivi poučevanja matematike", Fakulteta za matematiko in fiziko, Ljubljana, 28. in 29. januar 2005. Mathematica v srednješolski matematiki. Ljubljana, 29. 1. 2005. [COBISS.SI-ID 17356889]

SECONDARY AUTHORSHIP

Editor

106. KOŠIR, Tomaž (editor, photographer). Matematika : študijski programi 1. stopnje. V Ljubljani: Fakulteta za matematiko in fiziko, Oddelek za matematiko, 2013. 122 str., ilustr. ISBN 978-961-6619-15-8. [COBISS.SI-ID 264996096]

107. Annals of pure and applied Logic. BAUER, Andrej (guest editor 2012). [Print ed.]. Amsterdam: North-Holland. ISSN 0168-0072. https://www.sciencedirect.com/science/journal/01680072, https://v2.sherpa.ac.uk/id/publication/10582. [COBISS.SI-ID 24966656]

108. Journal of universal computer science. BAUER, Andrej (guest editor 2010). Graz: Know-Center, 1994-. ISSN 0948-6968. http://www.jucs.org/jucs_26_5, https://v2.sherpa.ac.uk/id/publication/17791, https://lib.jucs.org/. [COBISS.SI-ID 8566550]

109. BAUER, Andrej (editor), HERTLING, Peter (editor), KO, Ker-I (editor). CCA 2009 : Sixth International Conference on Computability and Complexity in Analysis, August 18-22, 2009, Ljubljana, Slovenia. Hagen: Fakultät für Mathematik und Informatik, 2009. 303 str. Informatik Berichte, 353-7/2009. http://drops.dagstuhl.de/portals/CCA09/. [COBISS.SI-ID 15257945]

110. KOŠIR, Tomaž (editor, photographer). Predstavitev študijskih programov iz matematike. V Ljubljani: Fakulteta za matematiko in fiziko, Oddelek za matematiko, 2009. 162 str., ilustr. ISBN 978-961-6619-09-7. [COBISS.SI-ID 243431680]

111. KOŠIR, Tomaž (editor, photographer). Matematika : študijski programi 1. stopnje. V Ljubljani: Fakulteta za matematiko in fiziko, Oddelek za matematiko, 2008. 130 str., ilustr. ISBN 978-961-6619-03-5. [COBISS.SI-ID 236921344]

112. BAUER, Andrej (guest editor). Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV) : Philadelphia, PA, USA, 22-25 May 2008. Amsterdam: Elsevier, 2008. 390 str. Electronic notes in theoretical computer science, Vol. 218. ISSN 1571-0661. http://www.sciencedirect.com/science/journal/15710661. [COBISS.SI-ID 15328345]

113. KOŠIR, Tomaž (editor, photographer). Study programs in mathematics. Ljubljana: Faculty of Mathematics and Physics, Department of Mathematics, 2008. 83 str., ilustr. ISBN 978-961-6619-04-2. [COBISS.SI-ID 240048640]

114. KOŠIR, Tomaž (editor, photographer). Predstavitev študijskih programov iz matematike. V Ljubljani: Fakulteta za matematiko in fiziko, Oddelek za matematiko, 2007. 111 str., ilustr. ISBN 978-961-6619-02-8. [COBISS.SI-ID 230903040]

Mentor for Doctoral Dissertations

115. HAJDINJAK, Melita. Relational algebra with similarities : doctoral thesis. Ljubljana: [M. Hajdinjak], 2012. X, 185 str. [COBISS.SI-ID 16219225]

116. LEŠNIK, Davorin. Synthetic topology and constructive metric spaces : doctoral thesis. Ljubljana: [D. Lešnik], 2010. 178 str., ilustr. [COBISS.SI-ID 15744345]

Mentor for Doctoral Dissertations (Bologna study programme)

117. HASELWARTER, Philipp Georg. Effective metatheory for type theory : PhD thesis. Ljubljana: [P. G. Haselwarter], 2021. 199 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134439, http://www.dlib.si/details/URN:NBN:SI:doc-L53L4RNP. [COBISS.SI-ID 94707203]

118. PETKOVIĆ KOMEL, Anja. Meta-analysis of type theories with an application to the design of formal proofs : doctoral thesis. Ljubljana: [A. Petković Komel], 2021. [XVI, 178] str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=134058, http://www.dlib.si/details/URN:NBN:SI:doc-MGIH2EMW. [COBISS.SI-ID 91931395]

Mentor for Master's Theses (Bologna study programme)

119. ALBREHT, Katja. Modeli hiperbolične geometrije in njihova vizualizacija : magistrsko delo. Ljubljana: [K. Albreht], 2023. XI, 61 str., ilustr. https://repozitorij.uni-lj.si/Dokument.php?id=179451&lang=slv, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=153457. [COBISS.SI-ID 179957251]

120. PUTRLE, Žiga. Neprotislovnost klasične sintetične teorije izračunljivosti : magistrsko delo. Ljubljana: [Ž. Putrle], 2023. X, 44 str. https://repozitorij.uni-lj.si/Dokument.php?id=178944&lang=slv, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=153088. [COBISS.SI-ID 177554179]

121. TASLAK, Jure. Algebrajska in regularna kategorna logika : magistrsko delo. Ljubljana: [J. Taslak], 2021. II, 84 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=124900, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=124900. [COBISS.SI-ID 52987395]

122. KUKOVEC, Jure. Generalizing treshold automata for reachability in parameterized systems : masterʼs thesis. Ljubljana: [J. Kukovec], 2016. [57] str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97312, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97312. [COBISS.SI-ID 17768025]

123. KOLEŽNIK, Marko. Grafični uporabniški vmesnik za Agdo : magistrsko delo. Ljubljana: [M. Koležnik], 2015. IX, 55 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96234, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96234. [COBISS.SI-ID 17550937]

124. BEZLAJ, Karmen. Uporaba problema nahrbtnika pri načrtovanju testov programske opreme : magistrsko delo. Ljubljana: [K. Bezlaj], 2015. III, 52 str., ilustr. [COBISS.SI-ID 17554521]

125. AŽMAN, Gašper. Pregled metod obrambe proti Sibilam = An overview of methods for Sybil defense : magistrsko delo. Ljubljana: [G. Ažman], 2013. 46 f. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97238, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97238. [COBISS.SI-ID 16749401]

126. HABIČ, Miha Emerik. Preddoločanje in kontinuumska funkcija : magistrsko delo. Ljubljana: [M. E. Habič], 2012. 83 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97231, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97231. [COBISS.SI-ID 16424537]
award: Fakultetna Prešernova nagrada za magistrsko delo, 2012

Mentor for Undergraduate Theses

127. LIST, Ivo. Plavajoča vejica v čistem funkcijskem jeziku : diplomsko delo na interdisciplinarnem univerzitetnem študiju. Ljubljana: [I. List], 2016. 46 str., ilustr. http://eprints.fri.uni-lj.si/3364/. [COBISS.SI-ID 1537008835]

128. JELENČIČ, Sašo. Risanje Mandelbrotove množice z visoko natančnostjo : diplomsko delo. Ljubljana: [S. Jelenčič], 2016. 44 str., ilustr. http://www.matknjiz.si/diplome/uni/u/2016/10668-798.pdf. [COBISS.SI-ID 17763417]

129. ZADRAVEC, Marko. Polnjenje regij s Criminisijevim algoritmom : diplomsko delo. Ljubljana: [M. Zadravec], 2013. [53] str., ilustr. http://www.matknjiz.si/diplome/uni/p/2013/11000-673.pdf. [COBISS.SI-ID 16634969]

130. HLADNIK, Gabrijela. Logika linearnega časa in preverjanje modelov : diplomsko delo. Ljubljana: [G. Hladnik], 2012. [47] str., ilustr. http://www.matknjiz.si/diplome/uni/p/2012/11000-668.pdf. [COBISS.SI-ID 16552793]

131. GORŠE, Urša. Načrtovanje relacijskih podatkovnih baz z entitetno relacijskimi diagrami : diplomsko delo. Ljubljana: [U. Remžgar], 2012. [55] str. http://www.matknjiz.si/diplome/uni/u/2012/10668-770.pdf. [COBISS.SI-ID 16325209]

132. NAGLIČ, Nataša. Optimizacija poizvedb SQL z orodjem Oracle : diplomsko delo. Ljubljana: [N. Naglič], 2012. [67] str., ilustr. http://www.matknjiz.si/diplome/uni/rm/2012/11450-23.pdf. [COBISS.SI-ID 16415833]

133. OBID, Špela. Ordinalna števila : diplomska naloga. Ljubljana: [Š. Obid], 2012. [39] str. http://www.matknjiz.si/diplome/vsi/pm/2012/12996-183.pdf. [COBISS.SI-ID 16329561]

134. KOROŠEC, Luka. Osnove dokazovalnega pomočnika Coq : diplomsko delo. Ljubljana: [L. Korošec], 2012. 84 str. http://www.matknjiz.si/diplome/uni/rm/2012/11450-24.pdf. [COBISS.SI-ID 16417113]

135. KRAJNIK, Boštjan. Persistenca podatkov v Javi : diplomsko delo. Ljubljana: [B. Krajnik], 2012. 43 str. http://www.matknjiz.si/diplome/uni/u/2012/10668-775.pdf. [COBISS.SI-ID 16415065]

136. LAZAR, Timotej. Programiranje z algebrajskimi učinki : diplomsko delo. Ljubljana: [T. Lazar], 2012. 45 str. http://eprints.fri.uni-lj.si/1771/, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=25620. [COBISS.SI-ID 9340756]

137. TRDIN, Nejc. Odločitveni model za podporo upravljanja vodnih virov : diplomsko delo. Ljubljana: [N. Trdin], 2011. 51 str., ilustr. http://eprints.fri.uni-lj.si/1492/, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=25330. [COBISS.SI-ID 8607572]

138. MEŽNAR, Iztok. Sočasno računanje z metodo MapReduce : diplomsko delo. Ljubljana: [I. Mežnar], 2011. [61] str., ilustr. http://www.matknjiz.si/diplome/uni/u/2011/10668-759.pdf. [COBISS.SI-ID 16057433]

139. EKAR, Anja. Vpliv indeksacije na učinkovitost poizvedb v podatkovni bazi : diplomsko delo. Ljubljana: [A. Ekar], 2011. 81 str., ilustr. http://www.matknjiz.si/diplome/uni/u/2011/10668-746.pdf. [COBISS.SI-ID 15898201]

140. BERČIČ, Katja. Abstraktna Stoneova dualnost in lokalno kompaktni prostori : diplomsko delo. Ljubljana: [K. Berčič], 2010. [39] str. http://www.matknjiz.si/diplome/uni/t/2010/9832-117.pdf. [COBISS.SI-ID 15678297]

141. KOMIĆ, Amir. Sistem za nadzor verzij CVS : diplomska naloga. Ljubljana: [A. Komić], 2008. 40 f., ilustr. http://www.matknjiz.si/diplome/vsi/pm/2008/12996-122.pdf. [COBISS.SI-ID 15105881]

142. DERŠEK, Ivana. Organizacija učnega gradiva z Wiki : diplomska naloga. Ljubljana: [I. Deršek], 2007. 41 f., ilustr. http://www.matknjiz.si/diplome/vsi/pm/2007/12996-100.pdf. [COBISS.SI-ID 14446937]

143. ĆUMURDŽIĆ, Danijela. Računalniško generiranje nalog iz ulomkov za osnovno šolo : diplomska naloga. Ljubljana: [D. Ćumurdžić], 2007. 47 str., ilustr. http://www.matknjiz.si/diplome/vsi/pm/2007/12996-90.pdf. [COBISS.SI-ID 14314841]

144. SUŠELJ, Boris. Aksiomu izbire ekvivalentni izreki : diplomsko delo. Ljubljana: [B. Sušelj], 2006. 61 str. http://www.matknjiz.si/diplome/uni/u/2006/10668-670.pdf. [COBISS.SI-ID 14024793]

145. MAZI, Matija. Lambda račun : pregled in izreki o neodločljivosti : diplomsko delo. Ljubljana: [M. Mazi], 2006. 100 str. http://www.matknjiz.si/diplome/uni/u/2006/10668-666.pdf. [COBISS.SI-ID 13935961]

146. WEISS, Tomaž. Modalna logika : diplomsko delo. Ljubljana: [T. Weiss], 2006. 65 f. http://www.matknjiz.si/diplome/uni/u/2006/10668-687.pdf. [COBISS.SI-ID 14122329]

147. JUSTIN, Aleš. Regularni izrazi, končni avtomati in njihov prikaz : diplomsko delo. Ljubljana: [A. Justin], 2006. [49] str., graf. prikazi. http://www.matknjiz.si/diplome/uni/u/2006/10668-668.pdf. [COBISS.SI-ID 13936729]

148. PODLESEK, Damir. Teorija vzporednih programskih jezikov : diplomsko delo. Ljubljana: [D. Podlesek], 2006. [79] str. http://www.matknjiz.si/diplome/uni/u/2006/10668-671.pdf. [COBISS.SI-ID 14025305]

149. ČUK, Erika. Klasični kriptografski sistemi : diplomska naloga. Ljubljana: [E. Čuk], 2005. [45] str. http://www.matknjiz.si/diplome/vsi/pm/2005/12996-44.pdf. [COBISS.SI-ID 13641305]

150. LEŠNIK, Davorin. Monade in Beckov izrek : diplomsko delo. Ljubljana: [D. Lešnik], 2005. [57] str. http://www.matknjiz.si/diplome/uni/t/2005/9832-98.pdf. [COBISS.SI-ID 13825881]

151. PRETNAR, Matija. Sintetična topologija : diplomsko delo. Ljubljana: [M. Pretnar], 2005. 60 str., graf. prikazi. http://www.matknjiz.si/diplome/uni/t/2005/9832-97.pdf. [COBISS.SI-ID 13631833]

152. LISEC, Marjeta. Statistična analiza plač v Republiki Sloveniji : diplomska naloga. Ljubljana: [M. Lisec], 2005. 66 str., ilustr. http://www.matknjiz.si/diplome/vsi/pm/2005/12996-46.pdf. [COBISS.SI-ID 13751129]

153. LEBAN, Matej. Načrtovanje relacijskih podatkovnih baz : diplomska naloga. Ljubljana: [M. Leban], 2004. [65] str., graf. prikazi. http://www.matknjiz.si/diplome/vsi/pm/2004/12996-37.pdf. [COBISS.SI-ID 13533273]

154. KUNAVER, Maja. Oblikovanje spletnih strani : diplomska naloga. Ljubljana: [M. Kunaver], 2004. 70 str., ilustr. http://www.matknjiz.si/diplome/vsi/pm/2004/12996-25.pdf. [COBISS.SI-ID 12980825]

155. GLIGORIJEVIĆ, Ana. Formalne specifikacije u VDM-SL : diplomsko delo. Ljubljana: [A. Gligorijević], 2003. 79 str. [COBISS.SI-ID 12984153]

Mentor for Undergraduate Theses (1st cycle Bologna study programme)

156. SABOTIČ, Luka. Implementacija rekurzivnih podatkovnih tipov : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematika. Ljubljana: [L. Sabotič], 2023. 43 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=150093. [COBISS.SI-ID 168211203]

157. ZUPANČIČ, Blaž. Izdelava in uporaba dokazovalnega pomočnika : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematika. Ljubljana: [B. Zupančič], 2023. 37 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=145593. [COBISS.SI-ID 150155779]

158. SMOLAR, Jure. Kolimite v elementarnih toposih : delo diplomskega seminarja. Ljubljana: [J. Smolar], 2023. 54 str., graf. prikazi. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=151930. [COBISS.SI-ID 170411779]

159. KORENJAK, Neža. Curry-Howardova korespondenca : delo diplomskega seminarja. Ljubljana: [N. Korenjak], 2022. 24 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=139401. [COBISS.SI-ID 120035587]

160. GOLOB, Gašper. Preverjanje ravninskosti grafov v Lean : delo diplomskega seminarja. Ljubljana: [G. Golob], 2022. 38 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=140309. [COBISS.SI-ID 121263875]

161. KOSTELEC, Kristjan. Denotacijska semantika PCF : delo diplomskega seminarja. Ljubljana: [K. Kostelec], 2020. 26 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=113690, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=113690. [COBISS.SI-ID 18974041]

162. HERMAN, Lana. Gödlov izrek o nepopolnosti : delo diplomskega seminarja. Ljubljana: [L. Herman], 2020. 27 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=121520, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=121520. [COBISS.SI-ID 58545923]

163. SLIVNIK, Tadej. Königova lema in Kleenejevo drevo : delo diplomskega seminarja. Ljubljana: [T. Slivnik], 2019. 25 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821. [COBISS.SI-ID 18602585]

164. MOLAN, Martin. Avtomatsko prepoznavanje vedenjskih vzorcev : delo diplomskega seminarja. Ljubljana: [M. Molan], 2018. 30 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103237, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103237. [COBISS.SI-ID 18435161]

165. REBERC, Petra Ivana. Eksponenti topoloških prostorov : delo diplomskega seminarja. Ljubljana: [P. I. Reberc], 2018. 28 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103478, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103478. [COBISS.SI-ID 18441305]

166. MAKOVECKI, Tine. Na videz nemogoči funkcionali : delo diplomskega seminarja. Ljubljana: [T. Makovecki], 2018. 29 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103726, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103726. [COBISS.SI-ID 18478425]

167. GOLOB, Ana. Prestrezniki in algebrajski učinki na primerih iz finančne matematike : delo diplomskega seminarja. Ljubljana: [A. Golob], 2018. 32 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103487, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=103487. [COBISS.SI-ID 18440793]

168. BOROVAC, Ana. Funkcijsko reagentno programiranje : delo diplomskega seminarja. Ljubljana: [A. Borovac], 2017. 41 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=100635, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=100635. [COBISS.SI-ID 18177113]

169. KRUŠEC, Nika. Konstrukcija modela nestandardne analize : delo diplomskega seminarja. Ljubljana: [N. Krušec], 2017. 26 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=100645, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=100645. [COBISS.SI-ID 18182745]

170. TASLAK, Jure. Yonedova lema in njena uporaba : diplomsko delo : interdisciplinarni univerzitetni študijski program prve stopnje Računalništvo in matematika. Ljubljana: [J. Taslak], 2017. 65 str., ilustr. http://eprints.fri.uni-lj.si/3970/. [COBISS.SI-ID 1537575363]

171. KRK, Sara. 2048 : delo diplomskega seminarja. Ljubljana: [S. Krk], 2016. 33 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97185, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97185. [COBISS.SI-ID 17916249]

172. BEVC, Jure. ▫▫$3 \times 3 \times 3$▫ v vrsto : delo diplomskega seminarja▫. Ljubljana: [J. Bevc], 2016. 26 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97171, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97171. [COBISS.SI-ID 17893721]

173. SLAK, Jure. Induktivni in koinduktivni podatkovni tipi : delo diplomskega seminarja. Ljubljana: [J. Slak], 2015. 33 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97208, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97208. [COBISS.SI-ID 17692505]

174. ROZMAN, Mitja. Monade v funkcijskem programiranju : delo diplomskega seminarja. Ljubljana: [M. Rozman], 2015. 35 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97212, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97212. [COBISS.SI-ID 17692249]

175. PIRJEVEC, Lara. Osnove modalne logike : diplomsko delo. Ljubljana: [L. Pirjevec], 2015. 31 str., ilustr. http://pefprints.pef.uni-lj.si/id/eprint/2982, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=72269. [COBISS.SI-ID 10681417]

176. ČEŠAREK, Jana. Imaginarna kocka : diplomsko delo. Ljubljana: [J. Češarek], 2014. 35 str., ilustr. http://eprints.fri.uni-lj.si/2648/, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=29454. [COBISS.SI-ID 10794324]

177. STEPIŠNIK, Tomaž. Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu : delo diplomskega seminarja. Ljubljana: [T. Stepišnik Perdih], 2013. 24 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97144, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97144. [COBISS.SI-ID 16967001]

178. BERČIČ, Jan. Konstruktibilne množice in neprotislovnost aksioma izbire : delo diplomskega seminarja. Ljubljana: [J. Berčič], 2013. 24 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97136, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97136. [COBISS.SI-ID 16964953]

179. VIDMAR, Jakob. ▫▫$\lambda$▫-račun in kartezične zaprte kategorije : delo diplomskega seminarja▫. Ljubljana: [J. Vidmar], 2012. 32 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97099, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97099. [COBISS.SI-ID 16655961]

180. NIKIĆ, Svetlana. Konična drevesa : delo diplomskega seminarja. Ljubljana: [S. Nikić], 2012. 23 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97104, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97104. [COBISS.SI-ID 16658265]

181. SKRT, Darja. Risanje realističnih slik z metodo sledenja žarku : delo diplomskega seminarja. Ljubljana: [D. Skrt], 2012. 19 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97111, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97111. [COBISS.SI-ID 16660057]

182. JANŠA, Tina. Spletna aplikacija za linearno programiranje : delo diplomskega seminarja. Ljubljana: [T. Janša], 2012. 25 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96866, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96866. [COBISS.SI-ID 16767577]

183. MARŠIČ, Andrej. Uporaba genetskih algoritmov in metod Monte Carlo za iskanje optimalne strategije samozadrževanja v bonus-malus sistemih : delo diplomskega seminarja. Ljubljana: [A. Maršič], 2012. 24 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96867, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96867. [COBISS.SI-ID 16767833]

184. ZADRAŽNIK, Katarina. Algoritmi za risanje fraktalov IFS : delo diplomskega seminarja. Ljubljana: [K. Zadražnik], 2011. 32 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=95839, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=95839. [COBISS.SI-ID 16379737]

185. ZUPANČIČ, Anja. Odločitvena drevesa : delo diplomskega seminarja. Ljubljana: [A. Zupančič], 2011. 39 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96824, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=96824. [COBISS.SI-ID 16402777]

186. AŽMAN, Gašper. ▫▫$\pi$▫-račun : delo diplomskega seminarja▫. Ljubljana: [G. Ažman], 2010. 30 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97089, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97089. [COBISS.SI-ID 15844953]

187. HABIČ, Miha Emerik. Adjungirani funktorji : delo diplomskega seminarja. Ljubljana: [M. E. Habič], 2010. 31 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97078, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97078. [COBISS.SI-ID 15796825]

188. KRANJC, Jaka. Infinitezimalna analiza : delo diplomskega seminarja. Ljubljana: [J. Kranjc], 2010. 28 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97088, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97088. [COBISS.SI-ID 15844697]

189. BIZJAK, Aleš. Lambda račun in izračunljive funkcije : delo diplomskega seminarja. Ljubljana: [A. Bizjak], 2010. 33 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97077, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97077. [COBISS.SI-ID 15796569]

Author of introduction, etc.

190. KRALJ, Tomo (artist). Tomo Kralj Tona : [monografija]. Ljubljana: Iskra Delta, 1985. 54 str., ilustr. [COBISS.SI-ID 56243200]

Co-Mentor for Doctoral Dissertations

191. DOLINAR, Gregor. Constructing ▫$\square_{\omega_1}$▫ by means of forcing with finite conditions : doctoral thesis. Ljubljana: [G. Dolinar], 2013. 88 f. [COBISS.SI-ID 16639321]

192. LOVRENOV, Maja. Teorija kategorij in Cassirerjeva filozofija matematike : doktorska disertacija. Ljubljana: [M. Lovrenov], 2013. 138 f., skice. [COBISS.SI-ID 274063872]

193. HAJDINJAK, Melita. Predstavitev znanja in vrednotenje učinkovitosti sodelujočih samodejnih sistemov za dialog : doktorska disertacija. Ljubljana: [M. Hajdinjak], 2006. XXVI, 218 str., ilustr. http://www.dlib.si/details/URN:NBN:SI:doc-I81T81X5. [COBISS.SI-ID 5480020]

Co-Mentor for Master's Theses (Bologna study programme)

194. STEPIŠNIK, Tomaž. Razdalje na strukturiranih podatkih : magistrsko delo. Ljubljana: [T. Stepišnik Perdih], 2016. V, 46 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97310, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97310. [COBISS.SI-ID 17730137]

195. OSOJNIK, Aljaž. Modeliranje dinamičnih sistemov z rudarjenjem podatkovnih tokov : magistrsko delo. Ljubljana: [A. Osojnik], 2013. 88 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97239, https://repozitorij.uni-lj.si/IzpisGradiva.php?id=97239. [COBISS.SI-ID 16750169]

UNCLASSIFIED

196. BAŠIĆ, Nino, BAUER, Andrej, BRADEŠKO, Luka, BRODNIK, Andrej, GABRIJELČIČ, Primož, GAŠPERIN, Boris, HOČEVAR, Tomaž, KODRE, Jurij, LASIČ, Mitja, MARTINEC, Mark, MIKLAVEC, Mojca, SIMONIČ, Klemen, TORI, Andraž, TRAMPUŠ, Mitja, TRAMPUŠ, Mitja, VUK, Miha, ŽAGAR, Klemen, BRANK, Janez. Bilten. Ljubljana: Institut Jožef Stefan, 2012. 143 str., ilustr. ISBN 978-961-264-039-2, ISBN 978-961-264-040-8. http://rtk.ijs.si/2011/rtk2011-bilten.pdf, http://www.dlib.si/details/URN:NBN:SI:doc-VKGPFKQ2. [COBISS.SI-ID 260809728]

197. BAUER, Andrej, BRANK, Janez (editor). Bilten. Ljubljana: Institut Jožef Stefan, 2011. ISBN 978-961-264-033-0. http://rtk.ijs.si/2010/rtk2010-bilten.pdf, http://www.dlib.si/details/URN:NBN:SI:doc-T0LXPEZK. [COBISS.SI-ID 255355904]

198. BAŠIĆ, Nino, BAUER, Andrej, FERLEŽ, Jure, GABRIJELČIČ, Primož, GAŠPERIN, Boris, GRČAR, Miha, HOČEVAR, Tomaž, JOVANOVIČ, Uroš, LASIČ, Mitja, LESKOVEC, Jurij, MARTINEC, Mark, NOVAK, Polona, ŠTERK, Marjan, TRAMPUŠ, Mitja, VUK, Miha, ZUPANIČ, Darko, ŽAGAR, Anže, ŽAGAR, Klemen, BRANK, Janez (author, editor). Bilten. Ljubljana: Institut Jožef Stefan, 2009. 141 str., ilustr. ISBN 978-961-264-014-9. http://rtk.ijs.si/2009/rtk2009-bilten.pdf. [COBISS.SI-ID 248588800]

199. AWODEY, Steve, BAUER, Andrej. Propositions as [types]. Report. 2001, no. 34, 30 str. ISSN 1103-467X. [COBISS.SI-ID 512475161]

200. BAUER, Andrej, PETKOVŠEK, Marko. Multibasic and mixed Gosper's algorithm. Preprint series. 1998, vol. 36, št. 583, str. 1-15. ISSN 1318-4865. http://www.imfm.si/preprinti/PDF/00583.pdf. [COBISS.SI-ID 7933017]