61![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/959333a62af525ebfec4a7f2c5e291e2.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
62![Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie](https://www.pdfsearch.io/img/fc4aeb0058696f4b64fc7e350e17c973.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2014-01-17 10:18:12
|
---|
63![Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1,
Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1,
Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung](https://www.pdfsearch.io/img/8c3e7a4be8fb17700558ee17d091fb54.jpg) | Add to Reading ListSource URL: legal.itemis.comLanguage: German - Date: 2018-08-08 08:21:48
|
---|
64![General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0,
General Terms and Conditions of ITEMIS AG for Maintenance Services General Terms and Conditions of ITEMIS AG for Maintenance Services itemis AG Version 1.2.0,
General Terms and Conditions of ITEMIS AG for Maintenance Services](https://www.pdfsearch.io/img/b43f28b90872a746a986a31d227e6597.jpg) | Add to Reading ListSource URL: legal.itemis.comLanguage: English - Date: 2018-08-08 08:21:28
|
---|
65![Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France,](https://www.pdfsearch.io/img/58e70e97c4f973d48910540abdcbcacd.jpg) | Add to Reading ListSource URL: www.avacs.orgLanguage: English - Date: 2015-10-05 02:55:26
|
---|
66![2 C++ API for BLAS and LAPACK Mark Gates Piotr Luszczek Ahmad Abdelfattah 2 C++ API for BLAS and LAPACK Mark Gates Piotr Luszczek Ahmad Abdelfattah](https://www.pdfsearch.io/img/11c76f7f920971fd0d6bf5ccc4453d10.jpg) | Add to Reading ListSource URL: www.icl.utk.eduLanguage: English - Date: 2018-02-21 11:54:36
|
---|
67![24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨ 24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨](https://www.pdfsearch.io/img/3777c3d5107718598dd74dbb3c644026.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:35
|
---|
68![Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2](https://www.pdfsearch.io/img/9110e2a7508f936b79ba681c030d525c.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-05-09 09:40:14
|
---|
69![The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
70![Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1](https://www.pdfsearch.io/img/8a8e11599a4fbd624c0b12bccab48232.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2017-06-28 10:54:34
|
---|