Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 181-200 of 4990 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
181Dik, Josephine Femke Disambiguating permissions: A contribution from MimamsaPresentation Vortrag9-Jun-2023
182Sober-2023-Distributed Key Generation with Smart Contracts using zk-SNARKs-smur.pdf.jpgSober, Michael ; Max Kobelt ; Scaffino, Giulia ; Kaaser, Dominik ; Schulte, Stefan Distributed Key Generation with Smart Contracts using zk-SNARKsInproceedings Konferenzbeitrag 7-Jun-2023
183Rabbani, Kashif ; Lissandrini, Matteo ; Hose, Katja SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating ShapesInproceedings Konferenzbeitrag 5-Jun-2023
184Hansen, Emil Riis ; Nielsen, Thomas Dyhre ; Mulvad, Thomas ; Strausholm, Mads Nibe ; Sagi, Tomer ; Hose, Katja Patient Event Sequences for Predicting Hospitalization Length of StayInproceedings Konferenzbeitrag 5-Jun-2023
185Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag 3-Jun-2023
186Hozzova-2023-Overapproximation of Non-Linear Integer Arithmetic for Smart...-vor.pdf.jpgHozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
187Bhayat-2023-Refining Unification with Abstraction-vor.pdf.jpgBhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
188Pichler, Dominik First-order modal logic, Extensionality in an alethic-deontic settingPresentation Vortrag2-Jun-2023
189Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian First-Order Model Checking on Structurally Sparse Graph ClassesInproceedings Konferenzbeitrag 2-Jun-2023
190Heinzl-2023-Towards Efficient Annotation Databases-vor.pdf.jpgHeinzl, René ; Nissl, Markus ; Sallinger, Emanuel Towards Efficient Annotation DatabasesInproceedings Konferenzbeitrag 2-Jun-2023
191Bellomarini-2023-Model-Independent Design of Knowledge Graphs-vor.pdf.jpgBellomarini, Luigi ; Gentili, Andrea ; Laurenza, Eleonora ; Sallinger, Emanuel Model-Independent Design of Knowledge GraphsInproceedings Konferenzbeitrag 2-Jun-2023
192Wallinger, Markus ; Dobler, Alexander ; Nöllenburg, Martin LinSets.zip: Compressing Linear Set DiagramsArticle Artikel 1-Jun-2023
193Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan On the parameterized complexity of clustering problems for incomplete dataArticle Artikel Jun-2023
194Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
195Limmer-2023-Energies-vor.pdf.jpgLimmer, Steffen ; Varga, Johannes ; Raidl, Günther Large neighborhood search for electric vehicle fleet schedulingArticle Artikel Jun-2023
196Fichte-2023-Communications of the ACM-vor.pdf.jpgFichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
197Lackner-2023-Constraints-vor.pdf.jpgLackner, Marie-Louise ; Mrkvicka, Christoph ; Musliu, Nysret ; Walkiewicz, Daniel ; Winter, Felix Exact methods for the Oven Scheduling ProblemArticle Artikel Jun-2023
198Eiter, Thomas ; Kiesel, Rafael Peter David Semiring Reasoning Frameworks in AI and Their Computational ComplexityArticle Artikel 31-May-2023
199Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
200Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey Numerical networks of cellsArticle Artikel 22-May-2023