Fakultät für Informatik

View Statistics Email Alert RSS Feed

Details

Informatik.jpg picture
 
Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 321-340 of 22572 (Search time: 0.01 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Brendle, Jörg ; Halbeisen, Lorenz ; Klausner, Lukas Daniel ; Lischka, Marc ; Shelah, Saharon Halfway New Cardinal CharacteristicsArticle Artikel Oct-2023
2Weyns, Danny ; Calinescu, Radu ; Mirandola, Raffaela ; Tei, Kenji ; Acosta, Maribel ; Bennaceur, Amel ; Boltz, Nicolas ; Bures, Tomas ; Camara, Javier ; Diaconescu, Ada ; Engels, Gregor ; Gerasimou, Simos ; Gerostathopoulos, Ilias ; Getir Yaman, Sinem ; Grassi, Vincenzo ; Hahner, Sebastian ; Letier, Emmanuel ; Litoiu, Marin ; Marsso, Lina ; Musil, Angelika ; Musil, Jürgen ; Nunes Rodrigues, Genaina ; Perez-Palacin, Diego ; Quin, Federico ; Nunes Rodrigues, Genaina ; Scandurra, Patrizia ; Vallecillo, Antonio ; Zisman, Andrea Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive SystemsArticle ArtikelOct-2023
3Payne, Blakeley H. ; Taylor, Jordan ; Spiel, Katta ; Fiesler, Casey How to Ethically Engage Fat People in HCI ResearchInproceedings Konferenzbeitrag Oct-2023
4McDonnell, Emma J. ; Mack, Kelly Avery ; Gerling, Kathrin ; Spiel, Katta ; Bennett, Cynthia L. ; Brewer, Robin N. ; Williams, Rua Mae ; Tigwell, Garreth W. Tackling the Lack of a Practical Guide in Disability-Centered ResearchInproceedings Konferenzbeitrag Oct-2023
5Kender, Kay ; Spiel, Katta Banal Autistic Social Media: A Found Footage AutoethnographyInproceedings Konferenzbeitrag Oct-2023
6Naseer-2023-ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS-vor.pdf.jpgNaseer, Mahum ; Hasan, Osman ; Shafique, Muhammad QuanDA: GPU accelerated quantitative deep neural network analysisArticle Artikel Oct-2023
72023-No PAIN no Gain More Expressive GNNs with Paths-vor.pdf.jpgGraziani, Caterina ; Drucks, Tamara ; Bianchini, Monica ; Scarselli, Franco ; Gärtner, Thomas No PAIN no Gain: More Expressive GNNs with PathsInproceedings Konferenzbeitrag Oct-2023
8Hochrainer-2023-A pred-LL parsable typed higher-order macro system for ar...-vor.pdf.jpgHochrainer, Christoph ; Krall, Andreas A pred-LL(*) parsable typed higher-order macro system for architecture description languagesInproceedings Konferenzbeitrag Oct-2023
9Unkovic-2023-Supporting Non-CS Teachers with Programming Lessons-vor.pdf.jpgUnkovic, Svetlana ; Landman, Martina Supporting Non-CS Teachers with Programming LessonsInproceedings Konferenzbeitrag Oct-2023
10Fenz-2023-European Journal of Agronomy-vor.pdf.jpgFenz, Stefan ; Neubauer, Thomas ; Heurix, Johannes ; Friedel, Juergen K. ; Wohlmuth, Marie-Luise AI- and data-driven pre-crop values and crop rotation matricesArticle Artikel Oct-2023
11Larraz-2023-CRV An Automated Resiliency Reasoner for System Design Models-vor.pdf.jpgLarraz, Daniel ; Lorch, Robert ; Yahyazadeh, Moosa ; Arif, M. Fareed ; Chowdhury, Omar ; Tinelli, Cesare CRV: An Automated Resiliency Reasoner for System Design ModelsInproceedings Konferenzbeitrag Oct-2023
12Taylor-2023-Cycle and Commute Rare-Event Probability Verification for Che...-vor.pdf.jpgTaylor, Landon ; Israelsen, Bryant ; Zhang, Zhen Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction NetworksInproceedings Konferenzbeitrag Oct-2023
13Tafese-2023-Btor2MLIR A Format for Hardware Verification-vor.pdf.jpgTafese, Joseph ; Gurfinkel, Arie ; Garcia-Contreras, Isabel Btor2MLIR: A Format for Hardware VerificationInproceedings Konferenzbeitrag Oct-2023
14Cai-2023-Local Search and Its Application in CDCLCDCLT solvers for SATSMT-vor.pdf.jpgCai, Shaowei Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMTKonferenzbeitrag Inproceedings Oct-2023
15Pastva-2023-Binary decision diagrams on modern hardware-vor.pdf.jpgPastva, Samuel ; Henzinger, Thomas A. Binary decision diagrams on modern hardwareKonferenzbeitrag Inproceedings Oct-2023
16Stuckey-2023-MiniZinc for Formal Methods-vor.pdf.jpgStuckey, Peter J. MiniZinc for Formal MethodsInproceedings Konferenzbeitrag Oct-2023
17Lam-2023-Lift-off Trustworthy ARMv8 semantics from formal specifications-vor.pdf.jpgLam, Kait ; Coughlin, Nicholas Lift-off: Trustworthy ARMv8 semantics from formal specificationsInproceedings Konferenzbeitrag Oct-2023
18Godbole-2023-Modelling and Verification of Security-Oriented Resource Par...-vor.pdf.jpgGodbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit Modelling and Verification of Security-Oriented Resource Partitioning SchemesInproceedings Konferenzbeitrag Oct-2023
19Fazekas-2023-SAT-Based Quantified Symmetric Minimization of the Reachable...-vor.pdf.jpgFazekas, Katalin ; Aman, Goel ; Sakallah, Karem SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed ProtocolsInproceedings Konferenzbeitrag Oct-2023
20Elsaleh-2023-DelBugV Delta-Debugging Neural Network Verifiers-vor.pdf.jpgElsaleh, Raya ; Katz, Guy DelBugV: Delta-Debugging Neural Network VerifiersInproceedings Konferenzbeitrag Oct-2023