Christoph Meyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | IJCNN | General Cross-Architecture Distillation of Pretrained Language Models into Matrix Embeddings. | Lukas Galke, Isabelle Cuber, Christoph Meyer, Henrik Ferdinand Nlscher, Angelina Sonderecker, Ansgar Scherp |
| 1999 | LICS | The Two-Variable Guarded Fragment with Transitive Relations. | Harald Ganzinger, Christoph Meyer, Margus Veanes |
| 1998 | AiML | A Resolution-Based Decision Procedure for Extensions of K4. | Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt |
| 1997 | CADE | Soft Typing for Ordered Resolution. | Harald Ganzinger, Christoph Meyer, Christoph Weidenbach |
| 1996 | CADE | Advanced Indexing Operations on Substitution Trees. | Peter Graf, Christoph Meyer |