Noam Zeilberger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2007–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FSCD | Convolution Products on Double Categories and Categorification of Rule Algebras. | Nicolas Behr, Paul-Andr Mellis, Noam Zeilberger |
| 2020 | MFPS | Bifibrations of Polycategories and Classical Linear Logic. | Nicolas Blanco, Noam Zeilberger |
| 2020 | MFPS | Eilenberg-Kelly Reloaded. | Tarmo Uustalu, Niccol Veltri, Noam Zeilberger |
| 2018 | LICS | A theory of linear typings as flows on 3-valent graphs. | Noam Zeilberger |
| 2016 | LICS | A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. | Paul-Andr Mellis, Noam Zeilberger |
| 2015 | POPL | Functors are Type Refinement Systems. | Paul-Andr Mellis, Noam Zeilberger |
| 2010 | LICS | Polarity and the Logic of Delimited Continuations. | Noam Zeilberger |
| 2008 | LICS | Focusing on Binding and Computation. | Daniel R. Licata, Noam Zeilberger, Robert Harper |
| 2008 | POPL | Focusing and higher-order abstract syntax. | Noam Zeilberger |
| 2007 | MODELS | Model-Driven Construction of Certified Binaries. | Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger |