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 461-480 of 5004 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
461Dvorak-2022-Deletion-Backdoors for Argumentation Frameworks with Collecti...-vor.pdf.jpgDvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Deletion-Backdoors for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 8-Oct-2022
462Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey Prescribed Teams of Rules Working on Several ObjectsInproceedings Konferenzbeitrag 2-Oct-2022
463Alhazov-2022-P versus B P Systems as a Formal Framework for Controllabili...-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu P versus B: P Systems as a Formal Framework for Controllability of Boolean NetworksInproceedings Konferenzbeitrag 2-Oct-2022
464Li, Bowen ; Torr, Philip H. S. ; Lukasiewicz, Thomas Clustering Generative Adversarial Networks for Story VisualizationInproceedings Konferenzbeitrag Oct-2022
465Jang, Myeongjun ; Kwon, Deuk Sin ; Lukasiewicz, Thomas BECEL: Benchmark for Consistency Evaluation of Language ModelsInproceedings KonferenzbeitragOct-2022
466Avarikioti-2022-Suborn Channels Incentives Against Timelock Bribes-am.pdf.jpgAvarikioti, Georgia ; Thyfronitis Litos, Orfeas Stefanos Suborn Channels: Incentives Against Timelock BribesInproceedings Konferenzbeitrag Oct-2022
467Pradeep, Amogh ; Paracha, Muhammad Talha ; Bhowmick, Protick ; Davanian, Ali ; Razaghpanah, Abbas ; Chung, Taejoong ; Lindorfer, Martina ; Vallina-Rodriguez, Narseo ; Levin, Dave ; Choffnes, David A Comparative Analysis of Certificate Pinning in Android & iOSInproceedings Konferenzbeitrag Oct-2022
468Glaser-2022-Model-Based Construction ofEnterprise Architecture Knowledge G...-am.pdf.jpgGlaser, Philipp-Lorenz ; Ali, Syed Juned ; Sallinger, Emanuel ; Bork, Dominik Model-Based Construction of Enterprise Architecture Knowledge GraphsInproceedings Konferenzbeitrag Oct-2022
469Bernreiter-2022-Artificial Intelligence-vor.pdf.jpgBernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice logics and their computational propertiesArticle Artikel Oct-2022
470Brandmayr, Georg ; Hartmann, Manfred ; Fürbass, Franz ; Matz, Gerald ; Samwald, Matthias ; Kluge, Tilmann ; Dorffner, Georg Relational local electroencephalography representations for sleep scoringArticle Artikel Oct-2022
471Griggio-2022-Proceedings of the 22nd Conference on Formal Methods in Comp...-vor.pdf.jpgGriggio, Alberto ; Rungta, Neha Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022Proceedings Tagungsband Oct-2022
472Esen-2022-TRICERA Verifying C Programs Using the Theory of Heaps-vor.pdf.jpgEsen, Zafer ; Ruemmer, Philipp TRICERA Verifying C Programs Using the Theory of HeapsInproceedings Konferenzbeitrag Oct-2022
473Grover-2022-Synthesizing Transducers from Complex Specifications-vor.pdf.jpgGrover, Anvay ; Ehlers, Ruediger ; D'Antoni, Loris Synthesizing Transducers from Complex SpecificationsInproceedings Konferenzbeitrag Oct-2022
474Loeoew-2022-Reconciling Verified-Circuit Development and Verilog Development-vor.pdf.jpgLööw, Andreas Reconciling Verified-Circuit Development and Verilog DevelopmentKonferenzbeitrag Inproceedings Oct-2022
475Yang-2022-INC A Scalable Incremental Weighted Sampler-vor.pdf.jpgYang, Suwei ; Liang, Victor ; Meel, Kuldeep S. INC A Scalable Incremental Weighted SamplerKonferenzbeitrag Inproceedings Oct-2022
476Godbole-2022-Automated Conversion of Axiomatic to Operational Models Theo...-vor.pdf.jpgGodbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. Automated Conversion of Axiomatic to Operational Models: Theory and PracticeInproceedings Konferenzbeitrag Oct-2022
477Flatt-2022-Small Proofs from Congruence Closure-vor.pdf.jpgFlatt, Oliver ; Coward, Samuel ; Willsey, Max ; Tatlock, Zachary ; Panchekha, Pavel Small Proofs from Congruence ClosureKonferenzbeitrag Inproceedings Oct-2022
478Padon-2022-Verification of Distributed Protocols Decidable Modeling and I...-vor.pdf.jpgPadon, Oded Verification of Distributed Protocols: Decidable Modeling and Invariant InferenceKonferenzbeitrag Inproceedings Oct-2022
479Chockler-2022-Why Do Things Go Wrong or RightApplications of Causal Reaso...-vor.pdf.jpgChockler, Hana Why Do Things Go Wrong (or Right)_Applications of Causal Reasoning to VerificationKonferenzbeitrag Inproceedings Oct-2022
480Walter-2022-Enumerative Data Types with Constraints-vor.pdf.jpgWalter, Andrew T. ; Greve, David ; Manolios, Panagiotis Enumerative Data Types with ConstraintsKonferenzbeitrag Inproceedings Oct-2022