Automated Reasoning with Theories and Induction for Software Technologies

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
ARTIST
 
Project Title (de) Projekttitel (de)
Automated Reasoning with Theories and Induction for Software Technologies
 
Project Title (en) Projekttitel (en)
Automated Reasoning with Theories and Induction for Software Technologies
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
European Commission
Grant number Förderkennnummer
ERC Consolidator Grant 2020
 

Publications

Results 41-52 of 52 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Kovacs, Laura Automated Program ReasoningPresentation Vortrag30-May-2022
42Petkovic Komel, Anja The essence of elaborationPresentation Vortrag20-May-2022
43Kovacs, Laura Enjoying Research at the Intersection of Math and Computer SciencePresentation Vortrag3-Apr-2022
44Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
45Kovacs, Laura Getting Saturated with InductionPresentation Vortrag27-Jan-2022
46Kovacs, Laura Can Computers Think as Humans?Presentation Vortrag26-Jan-2022
47Kofnov, Andrey ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio ; Bura, Efstathia Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsInproceedings Konferenzbeitrag 2022
48Hozzova-2021-Automated Generation of Exam Sheets for Automated Deduction-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Rath, Jakob Automated Generation of Exam Sheets for Automated DeductionInproceedings Konferenzbeitrag 12-Aug-2021
49Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021
50Kenison-2021-On Positivity and Minimality for Second-Order Holonomic Sequ...-vor.pdf.jpgKenison, George James ; Klurman, Oleksiy ; Lefaucheux, Engel ; Luca, Florian ; Moree, Pieter ; Ouaknine, Joël ; Whiteland, Markus ; Worrell, James On Positivity and Minimality for Second-Order Holonomic SequencesInproceedings Konferenzbeitrag 1-Aug-2021
51Hozzova-2021-Integer Induction in Saturation-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Integer Induction in SaturationInproceedings Konferenzbeitrag 29-Jul-2021
52Kovacs, Laura Induction in Saturation-Based ReasoningPresentation Vortrag26-Jul-2021