Gilles Nies

(1 - 15 von 15

)

dblp: Gilles Nies

dblp.uni-trier.de

List of computer science publications by Gilles Nies

GitLab has been migrated from https://liebe.cs.uni-saarland.de/gitlab/ to https://dgit.cs.uni-saarland.de/. Old URLs will redirect or continue to work for the foreseeable future, but we still recommend that you update your remote URLs. Contact Felix Freiberger if you encounter any problems. Gilles Nies. @gilles.nies Member ...

dblp: David Gerhardt

dblp.uni-trier.de

List of computer science publications by David Gerhardt

Gilles Nies: Bachelor Thesis

www.ps.uni-saarland.de

Representations of Boolean functions in Constructive Type Theory. Author: Gilles Nies Advisor: Chad E. Brown Supervisor: Gert Smolka ...

dblp: Marvin Stenger

dblp.uni-trier.de

List of computer science publications by Marvin Stenger

Gilles Nies · Depend

depend.cs.uni-saarland.de

Gilles Nies. I am Ph.D. student at the chair of Prof. Holger Hermanns since December My research interests range over, but are not limited to the analysis ... Missing: sulinea

dblp: Jan Krcál

dblp.uni-trier.de

List of computer science publications by Jan Krcál

www.ps.uni-saarland.de

Bachelor Student. I'm a bachelor student at Saarland University and currently working on my bachelor's thesis at the Programming Systems ...

Dependable Systems and Software: Programmierung I

depend.cs.uni-saarland.de

Assistent. Alexander Graf-Brill · Gilles Nies. Tutoren. Unser Tutorenteam betreut die Übungen und steht Ihnen bei Fragen jederzeit zur Verfügung. Dependable ... Es fehlt: met ‎finanz ‎gmbh

From space to the streets: New battery model also makes electric cars...

www.sciencedaily.com

Nano satellites weighing just a few kilograms orbit the Earth. Pivotal point of these miniature computers are their solar-powered batteries. Computer...

Hauptseite

dcms.cs.uni-saarland.de

Assistent. Alexander Graf-Brill · Gilles Nies. Die Assistenten begleiten den Übungsbetrieb und sind für organisatorische Fragen zuständig.

Nanosatellite Battery Helps Electric Cars Become Five Times More...

www.sciencetimes.com

Holder Hermanns led a team of researchers together with his students Marvin Stenger and Gilles Nies. They have built a battery model, the Nanosatellite battery...

Partners & People – CAP Project

www.cap-sino-german-lab.science

German Partners. SAU – Saarland University. Holger Hermanns (PI); Jan Krcál · Alexander Graf-Brill · Gilles Nies. ALU – Albert-Ludwigs-University.

dblp: Holger Hermanns

dblp.org

List of computer science publications by Holger Hermanns

Bachelor Theses, Programming Systems Lab, Prof. Gert Smolka

www.ps.uni-saarland.de

Gilles Nies, 2012, Representations of Boolean Functions in Constructive Type Theory (Advisor: Brown) Andreas Teucke, 2011, Translating a Satallax Refutation to a Tableau