Penulis: Robert Wille

Dukung
Andreas Grimmer studied Computer Science (Bachelor and Master) at the Johannes Kepler University Linz, Austria. During his studies, he was a student researcher working on program analysis methods at the laboratory for Monitoring and Evolution of Very-Large-Scale Software Systems. Afterwards, he was a researcher and teaching assistant at the Institute of Integrated Circuits, where he completed his Ph D in January 2019. His Ph D thesis was about the design and simulation of microfluidic devices. Robert Wille studied Computer Science (Diploma) at the University of Bremen from 2002 to 2006. After successfully completing his doctorate in 2009 (summa cum laude), he worked as postdoc at the University of Bremen and, since 2013, as Senior Researcher in the Cyber-Physical Systems department of the German Research Center for Artificial Intelligence (DFKI). Besides that, he served as lecturer at the University of Applied Science Bremen from 2010 to 2012 and was guest professor for Technical Computer Science at the University of Potsdam in 2012 as well as for Embedded Systems at the Technical University of Dresden in 2013/2014. In 2014, he completed his habilitation and, since October 2015, he is full professor at the Johannes Kepler University Linz and head of the Department for Integrated Circuit and System Design. Robert Wille”s expertise is in the development of design methods for various technologies and application areas. He considers thereby conventional as well as emerging computing technologies such as quantum computation, reversible circuits, or microfluidic biochips.




14 Ebooks oleh Robert Wille

Andreas Grimmer & Robert Wille: Designing Droplet Microfluidic Networks
This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in …
PDF
Inggris
€96.29
Rolf Drechsler & Robert Wille: Languages, Design Methods, and Tools for Electronic System Design
This book brings together a selection of the best papers from the eighteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2015, in …
PDF
Inggris
€53.49
Julia Seiter & Robert Wille: Automatic Methods for the Refinement of System Models
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable r …
PDF
Inggris
€53.49
Franco Fummi & Robert Wille: Languages, Design Methods, and Tools for Electronic System Design
This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in …
PDF
Inggris
€96.29
Philipp Niemann & Robert Wille: Compact Representations for the Design of Quantum Logic
This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issu …
PDF
Inggris
€53.49
Nils Przigoda & Robert Wille: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using …
PDF
Inggris
€149.79
Oliver Keszocze & Robert Wille: Exact Design of Digital Microfluidic Biochips
This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these &#xa …
PDF
Inggris
€96.29
Robert Wille & Rolf Drechsler: Towards a Design Flow for Reversible Logic
The development of computing machines found great success in the last decades. But the ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor …
PDF
Inggris
€96.29
Alexis De Vos & Robert Wille: Reversible Computation
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers …
PDF
Inggris
DRM
€57.06
Alwin Zulehner & Robert Wille: Introducing Design Automation for Quantum Computing
This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum compu …
PDF
Inggris
€85.59
Kevin Verma & Robert Wille: High Performance Simulation for Industrial Paint Shop Applications
This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized i …
PDF
Inggris
€53.49
Marcel Walter & Robert Wille: Design Automation for Field-coupled Nanotechnologies
This book discusses the main tasks of Design Automation for Field-coupled Nanocomputing (FCN) technologies, in order to enable large-scale composition of elementary building blocks, that obtain corre …
PDF
Inggris
€96.29
Stefan Hillmich & Robert Wille: Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams
This book provides an easy-to-read introduction into quantum computing as well as classical simulation of quantum circuits. The authors showcase the enormous potential that can be unleashed when doin …
PDF
Inggris
€53.49
Alwin Zulehner & Robert Wille: Einführung in die Entwurfsautomatisierung für Quantencomputer
Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencompu …
PDF
Jerman
€62.99