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 161-180 of 4996 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023
162Frohner, Nikolaus ; Raidl, Günther ; Chicano, Francisco Multi-Objective Policy Evolution for a Same-Day Delivery Problem with Soft DeadlinesInproceedings Konferenzbeitrag 24-Jul-2023
163Dreier, Jan ; Tucker-Foltz, Jamie Pseudorandom Finite ModelsInproceedings Konferenzbeitrag 14-Jul-2023
164Jungwirth, Gerhard ; Saha, Aakanksha ; Schröder, Michael ; Fiebig, Tobias ; Lindorfer, Martina ; Cito, Jürgen Connecting the .dotfiles: Checked-In Secret Exposure with Extra (Lateral Movement) StepsInproceedings Konferenzbeitrag 12-Jul-2023
165Mischek-2023-Leveraging problem-independent hyper-heuristics for real-wor...-vor.pdf.jpgMischek, Florian ; Musliu, Nysret Leveraging problem-independent hyper-heuristics for real-world test laboratory schedulingInproceedings Konferenzbeitrag 12-Jul-2023
166Ganian, Robert ; Hamm, Thekla ; Knop, Dusan ; Roy, Sanjukta ; Schierreich, Šimon ; Suchý, Ondřej Maximizing Social Welfare in Score-Based Social Distance GamesInproceedings Konferenzbeitrag 11-Jul-2023
167Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James Positivity Problems for Reversible Linear Recurrence SequencesInproceedings Konferenzbeitrag 5-Jul-2023
168Dreier-2023-Indiscernibles and Flatness in Monadically Stable and Monadic...-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian ; Toruńczyk, Szymon Indiscernibles and Flatness in Monadically Stable and Monadically NIP ClassesInproceedings Konferenzbeitrag 5-Jul-2023
169Kletzander-2023-Dynamic Weight Setting for Personnel Scheduling with Many...-vor.pdf.jpgKletzander, Lucas ; Musliu, Nysret Dynamic Weight Setting for Personnel Scheduling with Many ObjectivesInproceedings Konferenzbeitrag 1-Jul-2023
170Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
171Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
172Freiman, Robert ; Bernreiter, Michael Validity in Choice Logics - A Game-Theoretic InvestigationInproceedings Konferenzbeitrag Jul-2023
173Lamurias, Andre ; Tibo, Allessando ; Hose, Katja ; Albertsen, Mads ; Nielsen, Thomas Dyhre Metagenomic Binning using Connectivity-constrained Variational AutoencodersInproceedings Konferenzbeitrag Jul-2023
174Pradeep-2023-Not Your Average App A Large-scale Privacy Analysis of Andro...-vor.pdf.jpgPradeep, Amogh ; Feal, Álvaro ; Gamba, Julien ; Rao, Ashwin ; Lindorfer, Martina ; Vallina-Rodriguez, Narseo ; Choffnes, David Not Your Average App: A Large-scale Privacy Analysis of Android BrowsersInproceedings Konferenzbeitrag Jul-2023
175Fiebig-2023-Heads in the Clouds Measuring Universities Migration to Publi...-vor.pdf.jpgFiebig, Tobias ; Gürses, Seda ; Hernández Gañán, Carlos ; Kotkamp, Erna ; Kuipers, Fernando ; Lindorfer, Martina ; Prisse, Menghua ; Sari, Taritha Heads in the Clouds? Measuring Universities’ Migration to Public Clouds: Implications for Privacy & Academic FreedomInproceedings Konferenzbeitrag Jul-2023
176Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpgBernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation under a Claim-Centric ViewInproceedings Konferenzbeitrag 26-Jun-2023
177Brill-2023-Proportionality in Approval-Based Participatory Budgeting-vor.pdf.jpgBrill, Markus ; Forster, Stefan ; Lackner, Martin ; Maly, Jan ; Peters, Jannik Proportionality in Approval-Based Participatory BudgetingInproceedings Konferenzbeitrag 26-Jun-2023
178Lackner-2023-Proportional Decisions in Perpetual Voting-vor.pdf.jpgLackner, Martin ; Maly, Jan Proportional Decisions in Perpetual VotingInproceedings Konferenzbeitrag 26-Jun-2023
179Kletzander-2023-Large-State Reinforcement Learning for Hyper-Heuristics-vor.pdf.jpgKletzander, Lucas ; Musliu, Nysret Large-State Reinforcement Learning for Hyper-HeuristicsInproceedings Konferenzbeitrag 26-Jun-2023
180Dik, Josephine Femke Disambiguating Permissions: A Contribution from MimamsaPresentation Vortrag23-Jun-2023