LARA - Laboratory for Automated Reasoning and Analysis

Search 227 records for:

Search Tips :: Advanced Search

Latest additions:

2020-03-13 02:20	Refutation-based synthesis in SMT Reynolds, Andrew ; Kuncak, Viktor ; Tinelli, Cesare ; Barrett, Clark[...] Formal Methods In System Design, 55 (2), 73-102 (2019) 01 December 2019 \| Journal Articles \| Detailed record - Similar records
2020-03-03 11:00	Limits on amplifiers of natural selection under death-Birth updating Tkadlec, Josef ; Pavlogiannis, Andreas ; Chatterjee, Krishnendu ; Nowak, Martin A. Plos Computational Biology, 16 (1), e1007494 (2020) 01 January 2020 \| Journal Articles \| Detailed record - Similar records
2019-09-06 02:21	On the complexity of linearizability Hamza, Jad Computing, 101 (9), 1227-1240 (2019) 01 September 2019 \| Journal Articles \| Detailed record - Similar records
2019-08-14 08:24	PDF Verified Functional Programming Voirol, Nicolas Charles Yves ; Kuncak, Viktor 2019 \| Theses \| Detailed record - Similar records
2019-06-18 11:47	PDF Population structure determines the tradeoff between fixation probability and fixation time Tkadlec, Josef ; Pavlogiannis, Andreas ; Chatterjee, Krishnendu ; Nowak, Martin A. Communications Biology, 2, 138 (2019) 23 April 2019 \| Journal Articles \| Detailed record - Similar records
2019-01-10 09:30	PDF Scaling Functional Synthesis and Repair Koukoutos, Emmanouil ; Kuncak, Viktor 2019 \| Theses \| Detailed record - Similar records
2018-06-28 12:47	PDF Deductive Program Repair, Computer Aided Verification Kneuss, Etienne ; Koukoutos, Manos ; Kuncak, Viktor Lecture Notes in Computer Science, 9207, 217-233 (2015) 14 July 2015 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:44	PDF Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification Reynolds, Andrew ; Deters, Morgan ; Kuncak, Viktor ; Tinelli, Cesare[...] Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015) 14 July 2015 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:39	PDF An Update on Deductive Synthesis and Repair in the Leon Tool Koukoutos, Manos ; Kneuss, Etienne ; Kuncak, Viktor Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017) 03 May 2017 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:31	PDF Translating Scala Programs to Isabelle/HOL, Automated Reasoning Hupel, Lars ; Kuncak, Viktor Lecture Notes in Computer Science, 9706, 568-577 (2016) 12 June 2016 \| Conference Papers \| Detailed record - Similar records

[>> more]