Wissenschaftliche Publikationen
Unsere öffentlich verfügbaren wissenschaftlichen Publikationen stehen Ihnen hier nach Veröffentlichungsdatum sortiert zur Verfügung.
Darüber hinaus bietet Ihnen die A-Z Leiste und das Suchfeld die Gelegenheit, unsere Publikationsdatenbank mit eigenen Auswahlkriterien zu durchsuchen. Sie können z. B. nach Autoren, Titel, Textinhalten oder Publikationsart suchen.
Die erweiterte Suche bietet Ihnen darüber hinaus die Möglichkeiten, die Suche direkt auf eine Person, eine Publikationsart, sowie ein Jahr einzuschränken. Die Kriterien sind selbstverständlich auch kombinierbar.
Bei Click auf die Anzahl-Anzeige rechts kommen Sie aus Ihrer Suche auch wieder auf die Anzeige aller Publikationen zurück.
Titel
Hybrid FIB/SEM/SPM System Used for In-situ Analysis of Milling Process on Metallic Thin Films
Buchtitel
Proceedings of the 3M-NANO Conference
Alle Autoren
Král, Z. and Urbánek, M. and Mick, U. and Eichhorn, V. and Fatikow, S. and Petrenec, M. and Jiruse, J. and Kolíbalová, E. and Zadrazil, M.
Jahr
2011
Titel
An Agent-based Framework for Adaptive Sustainable Transportation
Alle Autoren
Memari, Ammar and Wagner vom Berg, Benjamin and Marx Gomez, Jorge
Jahr
2011
Titel
Sustainable CRM for Mobility Services based on SOA architecture
Buchtitel
ITEE 2011 Information Technologies in Environmental Engineering
Alle Autoren
Wagner vom Berg, Benjamin and Memari, Ammar and Marx Gomez, Jorge
Jahr
2011
Titel
IT-for-Green: Next Generation CEMIS for Environmental, Energy and Resource Management<
Buchtitel
Shaker Verlag
Alle Autoren
Rapp, Barbara and Solsbach, Andreas and Mahmoud, Tariq and Memari, Ammar and Bremer, Jörg
Jahr
2011
Titel
Social Software in Customer Relationship Management, a Study Exemplified in Instant Messaging Networking
Buchtitel
Business Social Networking: Organizational, Managerial, and Technological Dimensions
Alle Autoren
Memari, Ammar; Assaad, Waad; Marx Gomez, Jorge
Jahr
2011
Titel
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Buchtitel
Proceedings of the Ninth International Conference on Software Engineering and Formal Methods (SEFM)
Alle Autoren
Andreas Eggers and Nacim Ramdani and Nedialko S. Nedialkov and Martin Fränzle
Jahr
2011
Titel
Measurability and Safety Verification for Stochastic Hybrid Systems
Buchtitel
Hybrid Systems: Computation and Control, 13th International Conference, HSCC 2011, Chicago, USA, Proceedings
Alle Autoren
Fränzle, Martin; Hahn, Ernst Moritz Hahn; Hermanns, Holgers; Wolovick, Nicolas; Zhang, Lijun
Jahr
2011
Titel
Proof Certificates and Non-linear Arithmetic Constraints
Buchtitel
Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2011)
Alle Autoren
Kupferschmid, Stefan; Becker, Bernd; Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Crossing the bridge between similar games
Buchtitel
Formal Modeling and Analysis of Timed Systems - 9th International Conference (FORMATS), Aalborg, Denmark, 21-23 September, 2011. Proceedings
Alle Autoren
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
Jahr
2011
Titel
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems
Buchtitel
Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Alle Autoren
Teige, Tino; Fränzle, Martin
Jahr
2011
Titel
Constraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
Alle Autoren
Teige, Tino; Eggers, Andreas; Fränzle, Martin
Jahr
2011
Titel
Semantic Independence
Buchtitel
Encyclopedia of Parallel Computing
Alle Autoren
Fränzle, Martin; Lengauer, Christian
Jahr
2011
Titel
Networking of multimedia women event beyond epsilon science: where to look and how to realize new opportunities
Buchtitel
Proceedings of the 19th ACM international conference on Multimedia (ACMMM)
Alle Autoren
Nahrstedt, Klara; Venkatesh, Svetha; Venkatasubramanian, Nalini; Ponceleon, Dulce B.; Zemankova, Maria; Boll, Susanne
Jahr
2011
Titel
Empowering Patients through Personal Health Records: A Survey of Existing Third-Party Web-Based PHR Products
Buchtitel
Electronic Journal of Health Informatics
Alle Autoren
Helmer, Axel; Lipprandt, Myriam; Frenken, Thomas; Eichelberg, Marco; Hein, Andreas
Jahr
2011
Titel
Towards Automated Manipulation and Characterisation of Paper-making Fibres and its Components
Buchtitel
Fine Structure of Papermaking Fibres
Alle Autoren
Mikczinski, M. and Bartenwerfer, M. and Saketi, P. and Heinemann, S. and Passas, R. and Kallio, P. and Fatikow, S.
Jahr
2011
Titel
Micro- and Nano-Robotic Manipulation and Characterisation of Paper-making Fibres and its Components
Buchtitel
COST Action E54 Final Meeting
Alle Autoren
Mikczinski, M.
Jahr
2011
Titel
Methoden für die Automatisierte Handhabung von Biomaterialien für die Verwendung als Nano-Bonddrähte in der AVT
Buchtitel
MikroSystemTechnik-Kongress 2011
Alle Autoren
Weigel-Jech, M. and Mikczinski, M. and Bartenwerfer, M. and Fatikow, S.
Jahr
2011
Titel
Biomaterials as bonding wires for integrated circuit nanopackaging
Buchtitel
IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM) 2011
Alle Autoren
Weigel-Jech, M. and Bartenwerfer, M. and Mikczinski, M. and Fatikow, S.
Jahr
2011
Titel
IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM) 2011: Conference Proceedings
Jahr
2011
Titel
Towards Automated Manipulation and Characterisation of Paper-making Fibres and its Components
Buchtitel
Fine Structure of Papermaking Fibres
Alle Autoren
Mikczinski, M. and Bartenwerfer, M. and Saketi, P. and Heinemann, S. and Passas, R. and Kallio, P. and Fatikow, S.
Jahr
2011
Titel
Micro- and Nano-Robotic Manipulation and Characterisation of Paper-making Fibres and its Components
Buchtitel
COST Action E54 Final Meeting
Alle Autoren
Mikczinski, M.
Jahr
2011
Titel
Methoden für die Automatisierte Handhabung von Biomaterialien für die Verwendung als Nano-Bonddrähte in der AVT
Buchtitel
MikroSystemTechnik-Kongress 2011
Alle Autoren
Weigel-Jech, M. and Mikczinski, M. and Bartenwerfer, M. and Fatikow, S.
Jahr
2011