Brief Announcement: Information Dissemination on Multiple Channels Stephan Holzer1 , Yvonne-Anne Pignolet2 , Jasmin Smula1 , Roger Wattenhofer1 1 Computer Eng. and Networks Laboratory (TIK), ETH Zurich, Switzerland

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Mathematics
• Distributed data storage
• Computational complexity theory
• Selection algorithm
• Randomized algorithm
• Network theory
• Networks
• Koorde
• Kademlia

A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds Jasmin Christian Blanchette CADE August 4, 2015

Source URL: lara.epfl.ch

R+ PRESS RELEASE Please contact: Jasmin Weber +22 50

Source URL: www.snowpolo-stmoritz.com

A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

Source URL: lara.epfl.ch

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 17 February 2016

Source URL: mirror.clarkson.edu

Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https://cedeela.fr/~simon/ April 7th, 2016

Source URL: cedeela.fr

• Logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution

Emerging CO2 capture technologies and their cost reduction potential Jasmin Kemper IEA Greenhouse Gas R&D Programme NETL CO2 Capture Technology Meeting

Source URL: www.ieaghg.org

• Carbon sequestration
• Cost of electricity by source
• Technology readiness level
• Carbon dioxide
• Energy economics
• Kemper Project
• Carbon capture and storage

Model Finding for Recursive Functions in SMT∗ Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , and Cesare Tinelli4 1 4

Source URL: lara.epfl.ch

Microsoft Word - Hen House blog by Jasmin Singerdocx

Source URL: www.dancingforanimals.org

Molecular and bioacoustic divergence in Mantidactylus granulatus and M. zavona n.sp. (Anura: Mantellidae): bearings for the biogeography of northern Madagascar Miguel Vences1*, Franco Andreone2, Frank Glaw3 & Jasmin E. R

Source URL: www.francoandreone.it