Towards Strong Higher-Order Automation for Fast Interactive Verification Jasmin Christian Blanchette1,2,3 , Pascal Fontaine3 , Stephan Schulz4 , and Uwe Waldmann2 1

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Software engineering
• Mathematical software
• Formal methods
• Proof assistants
• Logic in computer science
• Automated theorem proving
• Isabelle
• Automated reasoning
• E theorem prover
• Formal verification
• KeY

Non-trivial θ-Vacuum Effects in the 2-d O(3) Model Uwe-Jens Wiese Albert Einstein Center for Fundamental Physics Institute for Theoretical Physics, Bern University

Source URL: www.wiese.itp.unibe.ch

SP 02: Modelling and measurements of land  use specific greenhouse gas emissions Researchers:     Florian Stange 1, Uwe Franko 2, Hermann Jungkunst 3 Objective The main objective is to achieve substant

Source URL: www.uni-goettingen.de

3D-Reconstruction of Basal Cell Carcinoma Patrick Scheibe1 , Ulf-Dietrich Braumann2 , Jens-Peer Kuskad, Markus L¨offler3 , Jan C. Simon4 , Uwe Paasch4 , and Tino Wetzig4 1 2

Source URL: halirutan.de

Denkmale – Statuten – Zeitzeugen Facetten Rostocker Universitätsgeschichtsschreibung (2) Herausgegeben von Gisela Boeck und Hans-Uwe Lammel

Source URL: rosdok.uni-rostock.de

Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft für Informatik, BonnModel-based Security Verification for Evolving Systems Jan Jürjens 1,2, Sven Wenzel

Source URL: subs.emis.de

Ni, W., Fang, J., Yao, Y., Moulinec, C. and Lu, LLargescale turbulent secondary flows induced by spanwise alternatively distributed strips control. In: UKTC Annual Workshop 2016, Cambridge, UK, 1-2 September 201

Source URL: eprints.uwe.ac.uk

Consecutive Job Submission Behavior at Mira Supercomputer Stephan Schlagkamp1,2 , Rafael Ferreira da Silva2 , William Allcock3 Ewa Deelman2 , Uwe Schwiegelshohn1 1

Source URL: rafaelsilva.com

Wissenstransparenz als Wettbewerbsvorteil – Einstiegsmethode und -werkzeug in das praktische Wissensmanagement von Unternehmen Dipl.-Ing. Ingo Dämmig 1 , Dipl.-Ing. Uwe Hess 1 , Dipl.-Wirtsch.-Ing. Claudius Borgmann 2

Source URL: sunsite.informatik.rwth-aachen.de

Sozialmedizin systematisch Prof. Dr. Jens-Uwe Niehoff (Hrsg.) Klinische Lehrbuchreihe, 2., neubearb. Auflage 2006, 276 Seiten, 38 Abb., Hardcover, ISBN, Euro 24,80, SFr 43,80 Dieses Lehrbuch stellt die Soz

Source URL: kurse.fh-regensburg.de