Bacterial Sedimentation During Cardiac Surgery Reduced by Disposable Clothing
- 期刊名称Scandinavian Cardiovascular Journal
- 作者Lippert, SØRen; Gutschik, ErnÖ
- 卷第26卷
- 期第1期
- 印刷ISSN1401-7431
- 电子ISSN1651-2006
- 文件大小391.02KB
- 发表时间1992-01
- DOI10.3109/14017439209099058
- 页码79-82
Embedding of Large Boolean Functions for Reversible LogicSoeken, Mathias; Wille, Robert; Keszocze, Oliver; Miller, D. Michael; Drechsler, Rolf · ACM Journal on Emerging Technologies in Computing Systems · 2015
Verifying the structure and behavior in UML/OCL models using satisfiability solversPrzigoda, Nils; Soeken, Mathias; Wille, Robert; Drechsler, Rolf · IET Cyber-Physical Systems: Theory & Applications · 2016
Trading off circuit lines and gate costs in the synthesis of reversible logicWille, Robert; Soeken, Mathias; Michael Miller, D.; Drechsler, Rolf · Integration, the VLSI Journal · 2014
SyReC: A hardware description language for the specification and synthesis of reversible circuitsWille, Robert; Schönborn, Eleonora; Soeken, Mathias; Drechsler, Rolf · Integration, the VLSI Journal · 2016
[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Reducing the number of lines in reversible circuitsWille, Robert; Soeken, Mathias; Drechsler, Rolf · 2010
[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Verifying UML/OCL models using Boolean satisfiabilitySoeken, Mathias; Wille, Robert; Kuhlmann, Mirco; Gogolla, Martin; Drechsler, Rolf · 2010
[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Towards a Generic Verification Methodology for System ModelsWille, Robert; Gogolla, Martin; Soeken, Mathias; Kuhlmann, Mirco; Drechsler, Rolf · 2013
[IEEE 2008 IEEE Computer Society Annual Symposium on VLSI - Montpellier, France (2008.04.7-2008.04.9)] 2008 IEEE Computer Society Annual Symposium on VLSI - Using Higher Levels of Abstraction for Solving Optimization Problems by Boolean SatisfiabilityWille, Robert; Große, Daniel; Soeken, Mathias; Drechsler, Rolf · 2008