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 41-60 of 1049 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Mazumdar-2022-Towards faster settlement in HTLC-based Cross-Chain Atomic...-smur.pdf.jpgMazumdar, Subhra Towards faster settlement in HTLC-based Cross-Chain Atomic SwapsPreprint Preprint 28-Nov-2022
422022-LightSwap An Atomic Swap Does Not Require Timeouts At Both Blockchains-smur.pdf.jpgHoenisch, Philipp ; Mazumdar, Subhra ; Moreno-Sanchez, Pedro ; Ruj, Sushmita LightSwap: An Atomic Swap Does Not Require Timeouts At Both BlockchainsPreprint Preprint 28-Nov-2022
43Fermüller, Christian Finite model theory for many-valued logics - Some challenges and open problemsPresentation Vortrag10-Nov-2022
44Eiter, Thomas Enhancing AI Capabilities by Rules: Applications and OpportunitiesPresentation Vortrag4-Nov-2022
45Raidl, Günther Learning for Guiding MetaheuristicsPresentation Vortrag3-Nov-2022
46Raidl, Günther Learning Beam Search: Utilizing Machine Learning for Solving Combinatorial Optimization ProblemsPresentation Vortrag1-Nov-2022
47Aumayr, Lukas ; Kasra Abbaszadeh ; Maffei, Matteo Thora: Atomic And Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag31-Oct-2022
48Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bi-directional Payment Channels without WatchtowersPresentation Vortrag31-Oct-2022
49Kovacs, Laura Symbolic Computation for Software AnalysisPresentation Vortrag25-Oct-2022
50Eiter, Thomas Enhancing AI Capabilities by Rules: Applications and OpportunitiesPresentation Vortrag18-Oct-2022
51Varonka, Anton ; Kovacs, Laura On the Undecidability of Loop AnalysisPresentation Vortrag12-Oct-2022
52Kovacs, Laura First-Order Theorem Proving - Theory and PracticePresentation Vortrag10-Oct-2022
53Kovacs, Laura Getting Saturated with InductionPresentation Vortrag29-Sep-2022
54Freiman-2022-Truth and Preferences -- A Game Approach for Qualitative Choi...-am.pdf.jpgFreiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Qualitative Choice LogicsPresentation Vortrag 27-Sep-2022
55Kovacs, Laura Algebra-Based Analysis of Polynomial Probabilistic ProgramsPresentation Vortrag22-Sep-2022
56Eisenhofer, Clemens User-Propagation for Custom Theories in SMT SolvingPresentation Vortrag14-Sep-2022
57Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022
58Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag31-Aug-2022
59Aumayr, Lukas ; Oguzhan Ersoy ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash Generalized Channels from Limited Blockchain Scripts and Adaptor SignaturesPresentation Vortrag30-Aug-2022
60Brugger-2022-Automating Security Analysis of Off-Chain Protocols-am.pdf.jpgBrugger, Lea Salome ; Kovacs, Laura ; Petkovic Komel, Anja ; Rain, Sophie ; Rawson, Michael Automating Security Analysis of Off-Chain ProtocolsPresentation Vortrag 11-Aug-2022