dr Grzegorz Herman

Jednostki:

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

Publikacje:

7.
Grzegorz Herman
Faster general parsing through context-free memoization, ACM-SIGPLAN Conference on Programming Language Design and Implementation [PLDI], (2020), 1022-1035
6.
Grzegorz Herman
Complexity of Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices, Reports on Mathematical Logic (2014), 99-117
5.
Grzegorz Herman, Michael Soltys
Unambiguous functions in logarithmic space, Fundamenta Informaticae vol. 114 (2012), 129-147
4.
Grzegorz Herman, Michael Soltys
On the Ehrenfeucht-Mycielski sequence, Journal of Discrete Algorithms (2009), 500-508
3.
Grzegorz Herman, Michael Soltys
Unambiguous functions in logarithmic space, 5th Conference On Computability in Europe, Proceedings (2009), 162-175
2.
Grzegorz Herman, Michael Soltys
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem, the Computing Research Repository (2008), abs/0811.3959
1.
Grzegorz Herman, Tim Paterson, Michael Soltys
A Propositional Proof System with Quantification Over Permutations, Fundamenta Informaticae vol. 79 (2007), 71-83

Konferencje organizowane:

Granty (realizowane po maju 2009 roku)