Lecture Notes in Computer Science
Journal Abbreviation: LECT NOTES ARTIF INT
ISSN: 0302-9743
Publisher: Springer Verlag
Publications (992)
Morphism Equality in Theory Graphs (2023)
Rabe F, Weber F
Conference contribution
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award) (2023)
Brandner J, Mayer F, Philippsen M
Conference contribution, Original article
Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023)
Schaefer JF, Kohlhase M
Conference contribution
Extracting Theory Graphs from Aldor Libraries (2023)
Rabe F, Watt SM
Conference contribution
On a Cornerstone of Bare-Simulation Distance/Divergence Optimization (2023)
Broniatowski M, Stummer W
Conference contribution
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023)
Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L
Conference contribution
Theorem Proving in Dependently-Typed Higher-Order Logic (2023)
Rothgang C, Rabe F, Benzmüller C
Conference contribution
Practical Schnorr Threshold Signatures Without the Algebraic Group Model (2023)
Chu TTH, Gerhart P, Ruffing T, Schröder D
Conference contribution
Optimization of OLAP In-Memory Database Management Systems with Processing-In-Memory Architecture (2023)
Hosseinzadeh S, Parvaresh A, Fey D
Conference contribution
Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023)
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution