Institut für Logic and Computation

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
 


Results 121-140 of 4990 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
122Bernreiter, Michael ; König, Matthias From Qualitative Choice Logic to Abstract ArgumentationInproceedings Konferenzbeitrag 15-Sep-2023
123Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
124Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Choice LogicsPresentation Vortrag14-Sep-2023
125Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
1262023-Chrisimos A useful Proof-of-Work for finding Minimal Dominating Set o...-ao.pdf.jpgChatterjee, Diptendu ; Banerjee, Prabal ; Subhra Mazumdar Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graphPreprint Preprint 13-Sep-2023
127Depian-2023-Transitions in Dynamic Point Labeling-vor.pdf.jpgDepian, Thomas ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules Transitions in Dynamic Point LabelingInproceedings Konferenzbeitrag 7-Sep-2023
128Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerPresentation Vortrag6-Sep-2023
129Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
130Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
131Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
132Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpgHozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
133Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou M. ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; van Leeuwen, Erik Jan Space-Efficient Parameterized Algorithms on Graphs of Low ShrubdepthInproceedings Konferenzbeitrag 1-Sep-2023
134Xu, Zhenghua ; Zhang, Xudong ; Zhang, Hexiang ; Liu, Yunxin ; Zhan, Yuefu ; Lukasiewicz, Thomas EFPN: Effective medical image detection using feature pyramid fusion enhancementArticle Artikel Sep-2023
15Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes Contrastive Explanations for Answer-Set ProgramsInproceedings Konferenzbeitrag Sep-2023
16Brand, Cornelius ; Ganian, Robert ; Rocton, Mathis Teva New Complexity-Theoretic Frontiers of Tractability for Neural Network TrainingInproceedings Konferenzbeitrag Sep-2023
17Brand, Cornelius ; Ganian, Robert ; Röder Sebastian ; Schager Florian Fixed-Parameter Algorithms for Computing {RAC} Drawings of GraphsInproceedings Konferenzbeitrag Sep-2023
18Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
19Bhore-2023-ACM Transactions on Spatial Algorithms and Systems-vor.pdf.jpgBhore, Sujoy ; Ganian, Robert ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules Worbel: aggregating point labels into word cloudsArticle Artikel Sep-2023
20Wallinger-2023-Computer Graphics Forum-vor.pdf.jpgWallinger, Markus ; Archambault, Daniel ; Auber, David ; Nöllenburg, Martin ; Peltonen, Jaakko Faster edge‐path bundling through graph spannersArticle Artikel Sep-2023