Search 227 records for:
	Any fieldAuthorTitleyearunitcollectionjournalpublisherabstractkeywordDOI
Search Tips :: Advanced Search

Latest additions: 2020-11-24 09:35 Exploiting Errors for Efficiency: A Survey from Circuits to Applications Stanley-Marbell, Phillip ; Alaghi, Armin ; Carbin, Michael ; Darulova, Eva[...] Acm Computing Surveys, 53 (3), 51 (2020) 01 June 2020 | Journal Articles | Detailed record - Similar records 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 EPFL_TH9479 Verified Functional Programming Voirol, Nicolas Charles Yves ; Kuncak, Viktor 2019 | Theses | Detailed record - Similar records 2019-06-18 11:47 PDF s42003-019-0373-y 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 EPFL_TH8716 Scaling Functional Synthesis and Repair Koukoutos, Emmanouil ; Kuncak, Viktor 2019 | Theses | Detailed record - Similar records 2018-06-28 12:47 PDF KneussETAL15DeductiveProgramRepair 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 ReynoldsETAL15CegisSMT 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 KoukoutosETAL16UpdateDeductiveSynthesisRepairLeonTool 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 [>> more]