Max Wisniewski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2014–2017
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LPAR | Leo-III Version 1.1 (System description). | Christoph Benzmller, Alexander Steen, Max Wisniewski |
| 2017 | LPAR | Going Polymorphic - TH1 Reasoning for Leo-III. | Alexander Steen, Max Wisniewski, Christoph Benzmller |
| 2017 | LPAR | Capability Discovery for Automated Reasoning Systems. | Alexander Steen, Max Wisniewski, Hans-Jrg Schurr, Christoph Benzmller |
| 2016 | CADE | TPTP and Beyond: Representation of Quantified Non-Classical Logics. | Max Wisniewski, Alexander Steen, Christoph Benzmller |
| 2016 | CADE | Effective Normalization Techniques for HOL. | Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmller |
| 2016 | ICAART | Is It Reasonable to Employ Agents in Automated Theorem Proving?. | Max Wisniewski, Christoph Benzmller |
| 2014 | CADE | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. | Max Wisniewski, Alexander Steen |