Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9737 Publications
2012 | Journal Article | LibreCat-ID: 20177
Hamann H, Schmickl T, Crailsheim K. A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems. Artificial Life. 2012;18(2):165-198. doi:10.1162/artl_a_00058
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20178
Hamann H, Schmickl T, Wörn H, Crailsheim K. Analysis of emergent symmetry breaking in collective decision making. Neural Computing and Applications. 2012;21(2):207-218. doi:10.1007/s00521-010-0368-6
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20179
Hamann H, Engelbrecht A, Birattari M, et al. Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions. In: Swarm Intelligence: 8th International Conference, ANTS 2012. Vol 7461. Berlin, Heidelberg: Springer; 2012:168-179. doi:10.1007/978-3-642-32650-9_15
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 24401
Mao Y, Scheytt C, Schmalz K, Borngräber J. 245 GHz subharmonic receiver in SiGe. In: Microwave Integrated Circuits Conference (EuMIC), 2012 7th European. ; 2012:183-186.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24402
Debski W, Winkler W, Sun Y, Marinkovic M, Borngräber J, Scheytt C. 120 GHz Radar Mixed-Signal Transceiver. In: Microwave Integrated Circuits Conference (EuMIC), 2012 7th European. ; 2012:191-194.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24403
Wessel J, Schmalz K, Cahill B, Gastrock G, Scheytt C. Microwave Biosensor for Characterization of Compartments in Teflon Cappilaries. In: Microwave Conference (EuMC), 2012 42nd European. ; 2012. doi:10.23919/EuMC.2012.6459231
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24404
Tanoto A, Li H, Rückert U, Sitte J. Scalable and Flexible Vision-Based Multi-Robot Tracking System. In: In Proceedings of the IEEE International Symposium on Intelligent Control (ISIC). ; 2012:19-24. doi:10.1109/ISIC.2012.6398261
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24405
Ostrovskyy P, Heuermann H, Sadeghfam A, Scheytt C. Performance Estimation of Fully Digital Polar Modulation driving a 2 GHz Switch-Mode Power Amplifier. In: Microwave Integrated Circuits Conference (EuMIC), 2012 7th European. ; 2012:659-662. doi:10.23919/EuMC.2012.6459419
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24406
Mao Y, Schmalz K, Borngräber J, Scheytt C. 245-GHz subharmonic receiver in SiGe . Microwave Theory and Techniques, IEEE Transactions on. 2012;PP(99):183-186.
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 24407
Ostrovskyy P, Gustat H, Ortmanns M, Scheytt C. A 5-Gb/s 2.1–2.2-GHz Bandpass \Delta \Sigma Modulator for Switch-Mode Power Amplifier. Microwave Theory and Techniques, IEEE Transactions on. 2012;60(8):2524-2531. doi:10.1109/TMTT.2012.2203143
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24408
Sun Y, Fischer GG, Scheytt C. A Compact Linear 60-GHz PA With 29.2% PAE Operating at Weak Avalanche. Microwave Theory and Techniques, IEEE Transactions on. 2012;60(8):2581-2589. doi:10.1109/TMTT.2012.2202684
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24409
Sedighi B, Scheytt C. Low-Power SiGe BiCMOS Transimpedance Amplifier for 25-GBaud Optical Links. (Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering. 2012;59(8):461-465. doi:10.1109/TCSII.2012.2204118
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24410
Scheytt C, Sun Y, Schmalz K, Wang R. SiGe BiCMOS Transceivers, Antennas, and Ultra-Low-Cost Packaging for the ISM Bands at 122 and 245 GHz. In: IMS 2012 (International Microwave Symposium). ; 2012. doi:10.1109/MWSYM.2012.6259487
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24411
Schmalz K, Borngräber J, Heinemann B, Rücker H, Scheytt C. A 245 GHz transmitter in SiGe technology. In: Radio Frequency Integrated Circuits Symposium (RFIC), 2012 IEEE. ; 2012:195-198. doi:10.1109/RFIC.2012.6242262
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24412
Laemmle B, Schmalz K, Scheytt C, Weigel R, Kissinger D. An integrated 125GHz Sensor with read-out circuit for permittivity measurement of liquids. In: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International. ; 2012:1-3. doi:10.1109/MWSYM.2012.6258392
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24413
Ostrovskyy P, Scheytt C, Lee S, Park B, Jung J. A fully digital polar modulator for switch mode RF power amplifier. In: Proc. IEEE Int Circuits and Systems (ISCAS) Symp. ; 2012:2385-2388. doi:10.1109/ISCAS.2012.6271777
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24414
Mehr W, Dabrowski J, Lemme MC, et al. Vertical Graphene Base Transistor. (Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering. 2012;33(5):691-693. doi:10.1109/LED.2012.2189193
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24415
Garcia-Ariza A-P, Müller R, Stephan R, et al. 60 GHz Polarimetric MIMO Sensing: architectures and technology. In: EuCAP2012 (European Conference on Antennas and Propagation). ; 2012:2578-2582. doi:10.1109/EuCAP.2012.6206544
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24416
Elkhouly M, Glisic S, Ellinger F, Scheytt C. 120 GHz phased-array circuits in 0.25 µm SiGe BiCMOS technology. In: GeMIC 2012. ; 2012:1-4.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24417
Luetkemeier S, Jungeblut T, Porrmann M, Rückert U. A 200mV 32b Subthreshold Processor with Adaptive Supply Voltage Control. In: Proc. IEEE Int. Solid-State Circuits Conf. Digest of Technical Papers. ; 2012:484-485. doi:10.1109/ISSCC.2012.6177101
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24418
Mao Y, Schmalz K, Borngräber J, Scheytt C. A 245 GHz CB LNA and SHM mixer in SiGe technology. In: SiRF 2012 (Silicon Monolithic Integrated Circuits in RF Systems). ; 2012:5-8. doi:10.1109/SiRF.2012.6160120
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24419
Laemmle B, Schmalz K, Scheytt C, Kissinger D, Weigel R. A 62GHz Reflectometer for Biomedical Sensor Readout in SiGe BiCMOS Technology. In: SiRF 2012 (Silicon Monolithic Integrated Circuits in RF Systems). ; 2012. doi:10.1109/SiRF.2012.6160125
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24420
Scheytt C, Debski W, Sun Y, Wang R, Winkler W. 122 GHz Radartransceiver und Komponenten in 0.13ym SiGe BiCMOS. In: ; 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24422
Tanoto A, Rückert U. Local Navigation Strategies for Multi-Robot Exploration. In: From Simulation to Experimentation with Mini-Robots. Vol 41. ; 2012:pp.1197-1203. doi:10.1016/j.proeng.2012.07.301
LibreCat
| Files available
| DOI
2012 | Book Chapter | LibreCat-ID: 24424
Tanoto A, Werner F, Rückert U, Sitte J. Multi-Robot System Validation: From Simulation to Prototyping with Mini Robots in the Teleworkbench. In: Advances in Autonomous Mini Robots. Springer-Verlag Berlin Heidelberg; 2012:147-159.
LibreCat
| Files available
2012 | Patent | LibreCat-ID: 24425
Scheytt C. Mixed-Signal PSSS-Empfänger. Published online 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24543
Sun Y, Beer S, Scheytt C, Wang R, Zwick T. mm-Wave SOC and SIP Design for 122 GHz Radar SSensor in the EU-FP7 Project SUCCESS. In: RF-MST Cluster Workshop on MEMSWAVE 2012. ; 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24544
Sedighi B, Scheytt C. 40 Gb/s VCSEL driver IC with a new output current and pre-emphasis adjustment method. In: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International. ; 2012:1-3. doi:10.1109/MWSYM.2012.6259501
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24545
Sedighi B, Borokhovych Y, Gustat H, Scheytt C. Low-power BiCMOS track-and-hold circuit with reduced signal feedthrough. In: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International. ; 2012:1-3. doi:10.1109/MWSYM.2012.6259505
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24546
Sedighi B, Ostrovskyy P, Scheytt C, Stille KSC, Böcker J. Low-power 20-Gb/s SiGe BiCMOS driver with 2.5 V output swing. In: Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International. ; 2012:1-3. doi:10.1109/MWSYM.2012.6259502
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 25744
Joy M tech. MM, Becker M, Mathews E, Müller W. Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012). IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of Use. In: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
Mathews E, Graf T, Kulathunga KSSB. Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity. In: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012). IEEE Computer Society; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
Becker M, Baldin D, Kuznik C, Joy M tech. MM, Xie T, Müller W. XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software. In: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings . ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
He D, Müller W. A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
Rasche C, Jungmann A, Schierbaum T, Werdehausen B, Kleinjohann B. Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots. In: IEEE 10th International Conference on Industrial Informatics,. IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
Esau N, Krüger M, Rasche C, Beringer S, Kleinjohann L, Kleinjohann B. Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System. In: 7th IEEE Conference in Industrial Electronics and Applications. IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces. In: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
Grösbrink S. A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems. In: Symposium on System-Integrated Intelligence. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
Becker M, Kuznik C, Joy M tech. MM, Xie T, Müller W. Binary Mutation Testing Through Dynamic Translation. In: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). ; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
He D, Müller W. Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: EdaWorkshop 12. ; 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
Montealegre N, Hagenkötter S. Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks. In: Journal of Intelligent Manufacturing 23(3). Published online on June 2010; 2012:699-715.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
Grösbrink S, Oberthür S, Baldin D. Towards Adaptive Resource Management for Virtualized Real-Time Systems. In: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
Zhao Y, Rammig F-J. Online Model Checking for Dependable Real-time Systems. In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China. IEEE Computer Society; 2012:154-161.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
Montealegre N, Rammig F-J. Agent-Based Modeling and Simulation of Artificial Immune Systems. In: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
Rammig F-J. Self-Coordination as Fundamental Concept for Cyber Physical Systems. In: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012. SBC; 2012:45-48.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
Mathews E. Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks. In: Ninth International Conference On Information Technology : New Generations (ITNG). IEEE Computer Society; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
He D, Müller W. Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
Stern C, Rasche C, Kleinjohann L, Kleinjohann B. Efficient Alignment of Aerial Images Based on Virtual Forces. In: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS). IEEE Xplore; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
Jungmann A, Kleinjohann B, Kleinjohann L, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE). Xpert Publishing Services; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
Grösbrink S, Oberthür S, Baldin D. Dynamic Resource Management for Virtualized Mixed-Criticality Systems. In: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
Oliveira MF, Kuznik C, Müller W, Ecker W, Esen V. A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON). ; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
Nascimento FAM, Oliveira MF, Wagner F. A model-driven engineering framework for embedded systems design. Innovations in Systems and Software Engineering 8. Published online 2012:19-33.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
Becker M, Gnokam Defo GB, Müller W, Fummi F, Pravadelli G, Vinco S. MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution. In: Design, Automation and Test in Europe (DATE 2012). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
Becker M, Kuznik C, Joy M tech. M, Xie T, Müller W. XEMU: A QEMU Based Binary Mutation Testing Framework. In: Design, Automation and Test in Europe DATE. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
Mauerer W, Hillier G, Sawallisch J, Hönick S, Oberthür S. Real-Time Android: Deterministic Ease of use. In: Proceedings of Embedded World Conference. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
Jungmann A, Schierbaum T, Kleinjohann B. Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot. In: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP). INSTICC PRESS; 2012:441-444.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
Bin Tariq F. Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints. In: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
Mathews E, Frey H. A Localized Link Removal and Addition based Planarization Algorithm. In: 13th International Conference On Distributed Computing And Networking (ICDCN). Springer; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
Mathews E, Mathew C. Deployment of mobile routers ensuring coverage and connectivity. International Journal of Computer Networks and Communications 4(1). Published online 2012:175-192.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
Müller W, Becker M, Zabel H, Elfeky A, DiPasquale A. Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012. ; 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf Y, Mathews E, Rammig F-J. Swarm Robotic Time Synchronization for Object Tracking. In: Higuera-Toledano MT, Brinkschulte U, Rettberg A, eds. Self-Organization in Embedded Real-Time Systems. Springer; 2012:75-92.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig F-J. Biologically Inspired Information Technology: Towards a Cyber Biosphere. In: Conradi T, Ecker G, Eke NO, Muhle F, eds. Schemata Und Praktiken. Wilhelm Fink Verlag; 2012:141-160.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq F, Korrapati S. Adaptive Web Services for Modular and Reusable Software Development. In: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems. IGI Global; 2012:263-276.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION). Xpert Publishing Services; 2012:43-47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Services Computing (SCC). IEEE; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf Y, Weiss F, Micus S. Master Election for Time Synchronization in Swarm Robotic Systems. In: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews E, Mathew C. Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. In: Third International Conference on Networks & Communications, LNICST. Springer; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth H, Stein B. Optimal Scheduling of Information Extraction Algorithms. In: Proceedings of COLING 2012: Posters. ; 2012:1281-1290.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi S, Kiltz E, May A. Certifying RSA. In: Advances in Cryptology – ASIACRYPT 2012. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:404-414. doi:10.1007/978-3-642-34961-4_25
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi S, Kiltz E. Optimal Security Proofs for Full Domain Hash, Revisited. In: Advances in Cryptology – EUROCRYPT 2012. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:537-553. doi:10.1007/978-3-642-29011-4_32
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann MR, Märtens M, Raupach C, Swierkot K, Lammersen C, Sohler C. StreamKM++: A clustering algorithm for data streams. 2012;17. doi:10.1145/2133803.2184450
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer J. Turing und Kryptografie. Informatik-Spektrum. 2012;35(4). doi:10.1007/s00287-012-0622-7
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager T. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager T, Kohlar F, Schäge S, Schwenk J. On the Security of TLS-DHE in the Standard Model. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:273--293. doi:10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz D, Jager T. Tightly Secure Signatures and Public-Key Encryption. In: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. ; 2012:590--607. doi:10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager T, Schinzel S, Somorovsky J. Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption. In: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. ; 2012:752--769. doi:10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz D, Jager T, Knapp E. Waters Signatures with Optimal Security Reduction. In: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings. ; 2012:66--83. doi:10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin O, Wehrheim H, Schellhorn G. Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}. 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth T, Wehrheim H. Model evolution and refinement. Sci Comput Program. 2012;(3):270--289. doi:10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn G, Wehrheim H, Derrick J. How to Prove Algorithms Linearisable. In: Madhusudan P, A. Seshia S, eds. Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science. ; 2012:243--259. doi:10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring D, Selke H. Computer science and society as a field of computer science. Forbrig P, Rick D, Schmolitzky A, eds. 2012;5:111-116.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker F, Workowski Anke , Thronicke W, Ostermair F, Willemsen D, Hoffmann D. User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. In: ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker F, Nebe K, Eschenlohr J. Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . In: Springer; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke H, Winkelnkemper F. The technical potential of digital boards. In: Desel J{\ "o} rg, Haake J {\" o} rg, Spannagel C, eds. ; 2012:171-182.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer HG, Geis T, Kluge O, Bogner C, Polkehn Knut. Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten. In: German UPA; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias M, Nebe K, Klompmaker F. Base Requirements for Virtual Tabletop Groupware Artifacts. In: ; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer HG, Klompmaker Florian. Collaborative work on interactive displays - design, operation and fields of application. M & C, humans and computers. Published online 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
Keil R. Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich. In: Universit{\"a}t Paderborn; 2012:270-277.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker F, Dridger Alexander , Nebe K. EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. ASME; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27187
Fischer HG. Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark. ; 2012:321-324.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff Steffan. Summary and Outlook. In: Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff S, eds. ; 2012:112-115.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
Keil R, Niehus Dominik, Ossenschmidt D. Durchl {\ "a} ssigkeitsorientierte Bildung. In: Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff S, eds. ; 2012:80-94.
LibreCat
2012 | Journal Article | LibreCat-ID: 27190
Brand M, Klompmaker F, Schleining P, Weiss F. Automatic emotion recognition - technologies, interpretation and applications. Computer science spectrum. 2012;35(2).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27191
Keil Reinhard , Metternich Hans-J {\ "u} rgen, Ritzenhoff S. Passability in education - a challenge for {\" u} r the future. In: Keil R, Metternich H-J{\ "u} rgen, Ritzenhoff S, eds. ; 2012:15-17.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27192
Fischer HG, Klompmaker F. Enriching Disaster Control Management based on Human-Centered Design. In: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada. ; 2012.
LibreCat
2012 | Report | LibreCat-ID: 27193
Behrenbruch K, Bogner C, Fischer HG, et al. German UPA Qualit{\"a}tsstandard F{\"u}r Usability Engineering.; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27194
Jakoblew M, Niehus D, Selke H. Learning scenarios for school 2.0. In: Apostolopoulos N, Mu {\ ss } mann U, Coy W, Schwill Andreas, eds. Waxmann Verlag, M {\ "u} nster; 2012:281-297.
LibreCat