1. A PCISPH implementation using distributed multi-GPU acceleration for simulating industrial engineering applications. (July 2020) Authors: Verma, Kevin; McCabe, Christopher; Peng, Chong; Wille, Robert Journal: International journal of high performance computing applications Issue: Volume 34:Number 4(2020) Page Start: 450 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016]) Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource (viii, 94 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Exact design of digital microfluidic biochips. (2018) Authors: Keszocze, Oliver; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2016 /: Selected Contributions from FDL 2016. (2017) Editors: Fummi, Franco; Wille, Robert Record Type: Book Extent: 1 online resource (116 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Compact representations for the design of quantum logic. ([2017]) Authors: Niemann, Philipp; Wille, Robert Record Type: Book Extent: 1 online resource (viii, 125 pages), 43 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Introducing Design Automation for Quantum Computing. (2020) Authors: Zulehner, Alwin; Wille, Robert Record Type: Book Extent: 1 online resource (222 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Designing droplet microfluidic networks : a toolbox for designers /: a toolbox for designers. (2019) Authors: Grimmer, Andreas; Wille, Robert Record Type: Book Extent: 1 online resource (145 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. NISQ circuit compilation is the travelling salesman problem on a torus. (8th March 2021) Authors: Paler, Alexandru; Zulehner, Alwin; Wille, Robert Journal: Quantum science and technology Issue: Volume 6:Number 2(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗