1![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/d66a0f809300cc8199620c1b864e8294.jpg) | Add to Reading ListSource URL: mirror.clarkson.eduLanguage: English - Date: 2018-08-15 07:19:21
|
---|
2![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/9a482109cb046954ed08134eff4aa305.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:21
|
---|
3![Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech](https://www.pdfsearch.io/img/7e189e5b32c21d85815270c08a5c9ccf.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English |
---|
4![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/9d3c4b0161ed4e4e557dfb297a0c50f6.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2018-08-15 07:19:21
|
---|
5![MARCH for SCIENCE HEIDELBERG Redebeiträge / Speakers’ contributions Lorenz Adlung, Science Slammer/Doktorand DKFZ ....................................................................................................... MARCH for SCIENCE HEIDELBERG Redebeiträge / Speakers’ contributions Lorenz Adlung, Science Slammer/Doktorand DKFZ .......................................................................................................](https://www.pdfsearch.io/img/9b025a5321754dd60bfe061e0d0679bb.jpg) | Add to Reading ListSource URL: marchforscience.deLanguage: English - Date: 2017-05-05 15:02:00
|
---|
6![gestaltung: art-work-buero.de Gerd Blum, Münster Diedrich Diederichsen, Stuttgart Richard Eldridge, Swarthmore College Lorenz Engell, Weimar gestaltung: art-work-buero.de Gerd Blum, Münster Diedrich Diederichsen, Stuttgart Richard Eldridge, Swarthmore College Lorenz Engell, Weimar](https://www.pdfsearch.io/img/7d85d727bfc3fc15fca960a7c15c2542.jpg) | Add to Reading ListSource URL: www.dgae.deLanguage: German - Date: 2015-09-03 17:39:31
|
---|
7![The Role of Aristotelian Diagrams in Scientific Communication Lorenz Demey Abstract: The Role of Aristotelian Diagrams in Scientific Communication Lorenz Demey Abstract:](https://www.pdfsearch.io/img/1694e8baaec64b7dd70755732312d99e.jpg) | Add to Reading ListSource URL: www.logicalgeometry.orgLanguage: English - Date: 2018-04-04 05:37:58
|
---|
8![Designing a Feedback Control System via Mixed-Integer Programming Lena C. Altherr, Thorsten Ederer, Ulf Lorenz, Peter Pelz, Philipp P¨ottgen Abstract Pure analytical or experimental methods can only find a control strat Designing a Feedback Control System via Mixed-Integer Programming Lena C. Altherr, Thorsten Ederer, Ulf Lorenz, Peter Pelz, Philipp P¨ottgen Abstract Pure analytical or experimental methods can only find a control strat](https://www.pdfsearch.io/img/594771ae9d26c87e0347c235f9b3b8c6.jpg) | Add to Reading ListSource URL: wl.fst.tu-darmstadt.deLanguage: English - Date: 2015-02-03 03:25:32
|
---|
9![CSIDH: An Efficient Post-Quantum Commutative Group Action Wouter Castryck1 , Tanja Lange2 , Chloe Martindale2 , Lorenz Panny2 , and Joost Renes3 , , chloemartindale@ CSIDH: An Efficient Post-Quantum Commutative Group Action Wouter Castryck1 , Tanja Lange2 , Chloe Martindale2 , Lorenz Panny2 , and Joost Renes3 , , chloemartindale@](https://www.pdfsearch.io/img/d71520eb694e6ce3995c1760e5f6a3de.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2018-05-03 07:42:10
|
---|
10![SVM-Based Failure Detection of GHT Localizations T. Blaffert*a, C. Lorenz a, H. Nickisch a, J. Peters a, J. Weese a a Philips Research Laboratories, Hamburg, Germany ABSTRACT This paper addresses the localization of anat SVM-Based Failure Detection of GHT Localizations T. Blaffert*a, C. Lorenz a, H. Nickisch a, J. Peters a, J. Weese a a Philips Research Laboratories, Hamburg, Germany ABSTRACT This paper addresses the localization of anat](https://www.pdfsearch.io/img/52ff79d482f4f7ef10a2df3c752a3a99.jpg) | Add to Reading ListSource URL: hannes.nickisch.orgLanguage: English - Date: 2017-03-08 05:30:08
|
---|