Petr Pudlk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1997–2008
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CADE | MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. | Josef Urban, Geoff Sutcliffe, Petr Pudlk, Jir Vyskocil |
| 2007 | CADE | Semantic Selection of Premisses for Automated Theorem Proving. | Petr Pudlk |
| 1997 | OPODIS | On the Amount of Randomness Needed in Distributed Computations. | Bruno Codenotti, Peter Gemmell, Petr Pudlk, Janos Simon |