Grzegorz Herman

According to our database, Grzegorz Herman authored at least 9 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Aggregating Pairwise Information Over Optimal Routes.

Grzegorz Herman, Grzegorz Gawryal

Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, 2023

Long-Distance Directional Dial-a-Ride Problems.

Grzegorz Gutowski, Grzegorz Herman

Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems, 2023

2020

Faster general parsing through context-free memoization.

Grzegorz Herman

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Relational parsing: a clean, fast parsing strategy for all context-free languages.

Grzegorz Herman

CoRR, 2019

2014

Complexity of cover-preserving embeddings of bipartite orders into Boolean lattices.

Grzegorz Herman

Reports Math. Log., 2014

2012

Unambiguous Functions in Logarithmic Space.

Grzegorz Herman, Michael Soltys

Fundam. Informaticae, 2012

2009

On the Ehrenfeucht-Mycielski sequence.

Grzegorz Herman, Michael Soltys

J. Discrete Algorithms, 2009

2008

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem

Grzegorz Herman, Michael Soltys

CoRR, 2008

2007

A Propositional Proof System with Quantification Over Permutations.

Grzegorz Herman, Tim Paterson, Michael Soltys

Fundam. Informaticae, 2007