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 870 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
181Wallinger, Markus ; Jacobsen, Ben ; Kobourov, Stephen G. ; Nöllenburg, Martin On the Readability of Abstract Set VisualizationsArtikel Article 2021
182Jacobsen, Ben ; Wallinger, Markus ; Kobourov, Stephen G. ; Nöllenburg, Martin MetroSets: Visualizing Sets as Metro MapsArtikel Article 2021
183Bikakis, Antonis ; Cohen, Andrea ; Dvorak, Wolfgang ; Flouris, Giorgos ; Parsons, Simon Joint Attacks and Accrual in Argumentation FrameworksArtikel Article 2021
184Chen, Jiehua ; Grottke, Sven Small one‑dimensional Euclidean preference profilesArtikel Article 2021
185Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard HyperBench: A Benchmark and Tool for Hypergraphs and Empirical FindingsArtikel Article 2021
186Eiter, Thomas ; Ichise, Ryutaro ; Parreira, Josiane Xavier ; Schneider, Patrik ; Zhao, Lihua Deploying Spatial-Stream Query Answering in C-ITS ScenariosArtikel Article 2021
187Bodei, Chiara ; Ceragioli, Lorenzo ; Degano, Pierpaolo ; Focardi, Riccardo ; Galletta, Letterio ; Luccio, Flaminia ; Tempesta, Mauro ; Veronese, Lorenzo FWS: Analyzing, Maintaining and Transcompiling FirewallsArtikel Article 2021
188FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
189Dvořák, Pavel ; Eiben, Eduard ; Ganian, Robert ; Knop, Dušan ; Ordyniak, Sebastian The complexity landscape of decompositional parameters for ILP: Programs with few global variables and constraintsArtikel Article 2021
190Ganian, Robert ; Ordyniak, Sebastian ; Ramanujan, M. S. On Structural Parameterizations of the Edge Disjoint Paths ProblemArtikel Article 2021
191Förster, Henry ; Ganian, Robert ; Klute, Fabian ; Nöllenburg, Martin On Strict (Outer-)Confluent GraphsArtikel Article 2021
192Klute, Fabian ; Löffler, Maarten ; Nöllenburg, Martin Labeling nonograms: Boundary labeling for curve arrangementsArtikel Article 2021
193Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
194Pavlova, Alexandra ; Freiman, Robert ; Lang, Timo From Semantic Games to Provability: The Case of Gödel LogicArtikel Article 2021
195Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
196Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Beyond Uniform Equivalence between Answer-set ProgramsArtikel Article 2021
197Powell, Thomas ; Wiesnet, Franziskus Rates of convergence for asymptotically weakly contractive mappings in normed spacesArtikel Article 2021
198Dalmonte, Tiziano ; Lellmann, Björn ; Olivetti, Nicola ; Pimentel, Elaine Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity.Artikel Article 2021
199Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen Display to Labeled Proofs and Back Again for Tense LogicsArtikel Article 2021
200Iggena, Thorben ; Ilyas, Eushay Bin ; Fischer, Marten ; Tönjes, Ralf ; Elsaleh, Tarek ; Rezvani, Roonak ; Pourshahrokhi, Narges ; Bischof, Stefan ; Fernbach, Andreas ; Parreira, Josiane ; Schneider, Patrik ; Smirnov, Pavel ; Strohbach, Martin ; Truong, Hien ; García-González, Aurora ; Skarmeta, Antonio F. ; Singh, Parwinder ; Beliatis, Michail J. ; Presser, Mirko ; Martinez, Juan A. IoTCrawler: Challenges and Solutions for Searching the Internet of ThingsArtikel Article 2021