prof. dr hab. Marek Zaionc

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Instytut Informatyki Analitycznej
  • Katedra Podstaw Informatyki

ProfesuraOtwarcie: 2005-01-27, Zamknięcie: 2006-05-17

Publikacje:

37.
Zofia Kostrzycka, Marek Zaionc
Quantitative Study of Fuzzy Logics, 2020 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE) (2020), 1-8
36.
Neininger Ralph, Hwang, Hsien-Kuei
Preface, COMB PROBAB COMPUT vol. 28(4) (2019), 483-484
34.
Asymptotic density in logic and computability, PROCEEDINGS OF THE TENTH WORKSHOP ON INFORMATION THEORETIC METHODS IN SCIENCE AND ENGINEERING, PARIS, FRANCE, SEPTEMBER 11-13, 2017 vol. Publication series B, Report B-2017-3 (Editors: Jacquet Philippe, Leppä-Aho Janne, Roos Teemu (2017), 43
33.
Combinatorics of λ-terms: a natural approach, J LOGIC COMPUT vol. Volume 27, Issue 8 (2017), 2611–2630
29.
Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier,
27.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
26.
25.
Zofia Kostrzycka, Marek Zaionc
22.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc
19.
Probabilistic approach to the lambda definability for fourth order types, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005), 41-54
18.
15.
Statistics of implicational logic, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 84 (2003), 205–216
1.
A computer model of evolution and ecological processes, MODELING, SIMULATION & CONTROL C (1984), 59-63

Konferencje:

4.
IEEE International Conference on Fuzzy Systems, IEEE, Glasgow, Wielka Brytania, 2020-07-19 - 2020-07-24
3.
14th workshop Computational Logic and Applications, Versailles University, France, Versailles, Francja, 2019-07-01 - 2019-07-03
2.
The Tenth Workshop on Information Theoretic Methods in Science and Engineering, Laboratory for Information, Networking and Communication Sciences (LINCS), Telecom ParisTech, INRIA,, Paryż, Francja, 2017-09-11 - 2017-09-13
1.
12th Annual Conference on Theory and Applications of Models of Computation, 18 - 20 May 2015 School of Computing National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-22

Konferencje organizowane:

Doktoranci (po 27 października 2003 roku)

DoktorantOtwarcieZakonczenie
Mateusz Kostanek2010-02-25 
Łukasz Lachowski2018-05-24 
Michał Handzlik2013-06-27 
Jakub Kozik2005-01-272006-11-30
Jarosław Duda2008-02-282010-10-28
Katarzyna Grygiel2010-12-162013-05-23
Maciej Bendkowski2015-12-172017-11-30

Recenzje (po 27 października 2003 roku)

RecenzowanyJednostkaTreść recenzji
Doktorat: Przemysław Broniek 
Doktorat: Edward SzczypkaKatedra Metod Efektywnych Algebry 
Doktorat: Grzegorz MateckiKatedra Algorytmiki 

Granty (realizowane po maju 2009 roku)