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.
9804 Publications
2012 | Journal Article | LibreCat-ID: 24408
@article{Sun_Fischer_Scheytt_2012, title={A Compact Linear 60-GHz PA With 29.2% PAE Operating at Weak Avalanche}, volume={60}, DOI={10.1109/TMTT.2012.2202684}, number={8}, journal={Microwave Theory and Techniques, IEEE Transactions on}, author={Sun, Yaoming and Fischer, Gerhard G. and Scheytt, Christoph}, year={2012}, pages={2581–2589} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24409
@article{Sedighi_Scheytt_2012, title={Low-Power SiGe BiCMOS Transimpedance Amplifier for 25-GBaud Optical Links}, volume={59}, DOI={10.1109/TCSII.2012.2204118}, number={8}, journal={(Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering}, author={Sedighi, Behnam and Scheytt, Christoph}, year={2012}, pages={461–465} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24410
@inproceedings{Scheytt_Sun_Schmalz_Wang_2012, title={SiGe BiCMOS Transceivers, Antennas, and Ultra-Low-Cost Packaging for the ISM Bands at 122 and 245 GHz}, DOI={10.1109/MWSYM.2012.6259487}, booktitle={IMS 2012 (International Microwave Symposium)}, author={Scheytt, Christoph and Sun, Yaoming and Schmalz, Klaus and Wang, Ruoyu}, year={2012} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24411
@inproceedings{Schmalz_Borngräber_Heinemann_Rücker_Scheytt_2012, title={A 245 GHz transmitter in SiGe technology}, DOI={10.1109/RFIC.2012.6242262}, booktitle={Radio Frequency Integrated Circuits Symposium (RFIC), 2012 IEEE}, author={Schmalz, Klaus and Borngräber, Johannes and Heinemann, Bernd and Rücker, Holger and Scheytt, Christoph}, year={2012}, pages={195–198} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24412
@inproceedings{Laemmle_Schmalz_Scheytt_Weigel_Kissinger_2012, title={An integrated 125GHz Sensor with read-out circuit for permittivity measurement of liquids}, DOI={10.1109/MWSYM.2012.6258392}, booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Laemmle, Benjamin and Schmalz, Klaus and Scheytt, Christoph and Weigel, Robert and Kissinger, Dietmar}, year={2012}, pages={1–3} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24413
@inproceedings{Ostrovskyy_Scheytt_Lee_Park_Jung_2012, title={A fully digital polar modulator for switch mode RF power amplifier}, DOI={10.1109/ISCAS.2012.6271777}, booktitle={Proc. IEEE Int Circuits and Systems (ISCAS) Symp}, author={Ostrovskyy, Philip and Scheytt, Christoph and Lee, SungJun and Park, BongHyuk and Jung, JaeHo}, year={2012}, pages={2385–2388} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24414
@article{Mehr_Dabrowski_Lemme_Lippert_Lupina_Ostling_Xie_Scheytt_2012, title={Vertical Graphene Base Transistor}, volume={33}, DOI={10.1109/LED.2012.2189193}, number={5}, journal={(Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering}, author={Mehr, Wolfgang and Dabrowski, Jarek and Lemme, Max C. and Lippert, Gunther and Lupina, Grzegorz and Ostling, Mikael and Xie, Ya-Hong and Scheytt, Christoph}, year={2012}, pages={691–693} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24415
@inproceedings{Garcia-Ariza_Müller_Stephan_Wollenschläger_Schulz_Elkhouly_Scheytt_Trautwein_Müller_Thomae_et al._2012, place={Prague}, title={60 GHz Polarimetric MIMO Sensing: architectures and technology}, DOI={10.1109/EuCAP.2012.6206544}, booktitle={EuCAP2012 (European Conference on Antennas and Propagation)}, author={Garcia-Ariza, Alexis-Paolo and Müller, Robert and Stephan, Ralf and Wollenschläger, Frank and Schulz, Alexander and Elkhouly, Mohamed and Scheytt, Christoph and Trautwein, Uwe and Müller, Jens and Thomae, Reiner and et al.}, year={2012}, pages={2578–2582} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24416
@inproceedings{Elkhouly_Glisic_Ellinger_Scheytt_2012, title={120 GHz phased-array circuits in 0.25 µm SiGe BiCMOS technology}, booktitle={GeMIC 2012}, author={Elkhouly, Mohamed and Glisic, Srdjan and Ellinger, Frank and Scheytt, Christoph}, year={2012}, pages={1–4} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24417
@inproceedings{Luetkemeier_Jungeblut_Porrmann_Rückert_2012, title={A 200mV 32b Subthreshold Processor with Adaptive Supply Voltage Control}, DOI={10.1109/ISSCC.2012.6177101}, booktitle={Proc. IEEE Int. Solid-State Circuits Conf. Digest of Technical Papers}, author={Luetkemeier, Sven and Jungeblut, Thorsten and Porrmann, Mario and Rückert, Ulrich}, year={2012}, pages={484–485} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24418
@inproceedings{Mao_Schmalz_Borngräber_Scheytt_2012, title={A 245 GHz CB LNA and SHM mixer in SiGe technology}, DOI={10.1109/SiRF.2012.6160120}, booktitle={SiRF 2012 (Silicon Monolithic Integrated Circuits in RF Systems)}, author={Mao, Yanfei and Schmalz, Klaus and Borngräber, Johannes and Scheytt, Christoph}, year={2012}, pages={5–8} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24419
@inproceedings{Laemmle_Schmalz_Scheytt_Kissinger_Weigel_2012, title={A 62GHz Reflectometer for Biomedical Sensor Readout in SiGe BiCMOS Technology}, DOI={10.1109/SiRF.2012.6160125}, booktitle={SiRF 2012 (Silicon Monolithic Integrated Circuits in RF Systems)}, author={Laemmle, Benjamin and Schmalz, Klaus and Scheytt, Christoph and Kissinger, Dietmar and Weigel, Robert}, year={2012} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24420
@inproceedings{Scheytt_Debski_Sun_Wang_Winkler_2012, title={122 GHz Radartransceiver und Komponenten in 0.13ym SiGe BiCMOS}, author={Scheytt, Christoph and Debski, Wojciech and Sun, Yaoming and Wang, Ruoyu and Winkler, Wolfgang}, year={2012} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24422
@inproceedings{Tanoto_Rückert_2012, title={Local Navigation Strategies for Multi-Robot Exploration}, volume={41}, DOI={10.1016/j.proeng.2012.07.301}, booktitle={From Simulation to Experimentation with Mini-Robots}, author={Tanoto, Andry and Rückert, Ulrich}, year={2012}, pages={pp.1197-1203} }
LibreCat
| Files available
| DOI
2012 | Book Chapter | LibreCat-ID: 24424
@inbook{Tanoto_Werner_Rückert_Sitte_2012, title={Multi-Robot System Validation: From Simulation to Prototyping with Mini Robots in the Teleworkbench}, booktitle={Advances in Autonomous Mini Robots}, publisher={Springer-Verlag Berlin Heidelberg}, author={Tanoto, Andry and Werner, Felix and Rückert, Ulrich and Sitte, Joaquin}, year={2012}, pages={147–159} }
LibreCat
| Files available
2012 | Patent | LibreCat-ID: 24425
@article{Scheytt_2012, title={Mixed-Signal PSSS-Empfänger}, author={Scheytt, Christoph}, year={2012} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24543
@inproceedings{Sun_Beer_Scheytt_Wang_Zwick_2012, place={Antalya, Turkey}, title={mm-Wave SOC and SIP Design for 122 GHz Radar SSensor in the EU-FP7 Project SUCCESS}, booktitle={RF-MST Cluster Workshop on MEMSWAVE 2012}, author={Sun, Yaoming and Beer, Stefan and Scheytt, Christoph and Wang, Ruoyu and Zwick, Thomas}, year={2012} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24544
@inproceedings{Sedighi_Scheytt_2012, title={40 Gb/s VCSEL driver IC with a new output current and pre-emphasis adjustment method}, DOI={10.1109/MWSYM.2012.6259501}, booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Sedighi, Behnam and Scheytt, Christoph}, year={2012}, pages={1–3} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24545
@inproceedings{Sedighi_Borokhovych_Gustat_Scheytt_2012, title={Low-power BiCMOS track-and-hold circuit with reduced signal feedthrough}, DOI={10.1109/MWSYM.2012.6259505}, booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Sedighi, Behnam and Borokhovych, Yevgen and Gustat, Hans and Scheytt, Christoph}, year={2012}, pages={1–3} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24546
@inproceedings{Sedighi_Ostrovskyy_Scheytt_Stille_Böcker_2012, title={Low-power 20-Gb/s SiGe BiCMOS driver with 2.5 V output swing}, DOI={10.1109/MWSYM.2012.6259502}, booktitle={Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International}, author={Sedighi, Behnam and Ostrovskyy, Philip and Scheytt, Christoph and Stille, Karl Stephan Christian and Böcker, Joachim}, year={2012}, pages={1–3} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 25744
@inproceedings{Joy_Becker_Mathews_Müller_2012, title={Automated Source Code Annotation for Timing Analysis of Embedded Software}, booktitle={ In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012)}, publisher={IEEE}, author={Joy, M. tech. Mabel Mary and Becker, Markus and Mathews, Emi and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25749
@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of Use}, booktitle={Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25752
@inproceedings{Mathews_Graf_Kulathunga_2012, title={Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity}, booktitle={In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012)}, publisher={IEEE Computer Society}, author={Mathews, Emi and Graf, Tobias and Kulathunga, K. S. S. B.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25758
@inproceedings{Becker_Baldin_Kuznik_Joy_Xie_Müller_2012, title={XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software}, booktitle={EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings }, author={Becker, Markus and Baldin, Daniel and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25761
@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25767
@inproceedings{He_Müller_2012, title={A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms}, booktitle={15th Euromicro Conference on Digital System Design (DSD)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25776
@inproceedings{Rasche_Jungmann_Schierbaum_Werdehausen_Kleinjohann_2012, title={ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots}, booktitle={ IEEE 10th International Conference on Industrial Informatics,}, publisher={IEEE Xplore}, author={Rasche, Christoph and Jungmann, Alexander and Schierbaum, Thomas and Werdehausen, Benjamin and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25777
@inproceedings{Esau_Krüger_Rasche_Beringer_Kleinjohann_Kleinjohann_2012, place={Singapore}, title={Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System}, booktitle={7th IEEE Conference in Industrial Electronics and Applications}, publisher={IEEE}, author={Esau, Natascha and Krüger, Martin and Rasche, Christoph and Beringer, Steffen and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25781
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={Las Vegas, Nevada, USA}, title={Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces}, booktitle={Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 25783
@inproceedings{Grösbrink_2012, title={A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems}, booktitle={Symposium on System-integrated Intelligence}, author={Grösbrink, Stefan}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26022
@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, title={Binary Mutation Testing Through Dynamic Translation}, booktitle={ 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 26023
@inproceedings{He_Müller_2012, title={Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms}, booktitle={Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26024
@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title={Compilation of Methodologies to Speed up the Verification Process at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al.}, year={2012} }
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 26025
@inbook{Montealegre_Hagenkötter_2012, title={Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks}, booktitle={Journal of Intelligent Manufacturing 23(3)}, publisher={Published online on June 2010}, author={Montealegre, Norma and Hagenkötter, Sebastian}, year={2012}, pages={699–715} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26026
@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Towards Adaptive Resource Management for Virtualized Real-Time Systems}, booktitle={4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26027
@inproceedings{Zhao_Rammig_2012, title={Online Model Checking for Dependable Real-time Systems}, booktitle={16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China}, publisher={ IEEE Computer Society}, author={Zhao, Yuhong and Rammig, Franz-Josef}, year={2012}, pages={154–161} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26028
@inproceedings{Montealegre_Rammig_2012, place={Shenzhen, China}, title={Agent-Based Modeling and Simulation of Artificial Immune Systems}, booktitle={Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012)}, author={Montealegre, Norma and Rammig, Franz-Josef}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26029
@inproceedings{Rammig_2012, place={Ouro Preto, Brazil}, title={Self-Coordination as Fundamental Concept for Cyber Physical Systems}, booktitle={2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012}, publisher={SBC}, author={Rammig, Franz-Josef}, year={2012}, pages={45–48} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26030
@inproceedings{Mathews_2012, title={Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks}, booktitle={Ninth International Conference On Information Technology : New Generations (ITNG)}, publisher={IEEE Computer Society}, author={Mathews, Emi}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26031
@inproceedings{He_Müller_2012, title={Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems}, booktitle={2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}, publisher={IEEE Xplore}, author={He, Da and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26032
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2012, place={St. Maarten, Netherlands Antilles}, title={Efficient Alignment of Aerial Images Based on Virtual Forces}, booktitle={Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS)}, publisher={IEEE Xplore}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26034
@inproceedings{Jungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title={Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems}, booktitle={Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26035
@inproceedings{Grösbrink_Oberthür_Baldin_2012, title={Dynamic Resource Management for Virtualized Mixed-Criticality Systems}, booktitle={Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012)}, author={Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26036
@inproceedings{Oliveira_Kuznik_Müller_Ecker_Esen_2012, title={A SystemC Library for Advanced TLM Verification}, booktitle={Proceeding of Design and Verification Conference (DVCON)}, author={Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26037
@article{Nascimento_Oliveira_Wagner_2012, title={A model-driven engineering framework for embedded systems design}, journal={Innovations in Systems and Software Engineering 8}, author={Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio}, year={2012}, pages={19–33} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26079
@inproceedings{Becker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place={Dresden}, title={MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution}, booktitle={Design, Automation and Test in Europe (DATE 2012)}, author={Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26080
@inproceedings{Becker_Kuznik_Joy_Xie_Müller_2012, place={University Booth, Dresden}, title={XEMU: A QEMU Based Binary Mutation Testing Framework}, booktitle={Design, Automation and Test in Europe DATE}, author={Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26081
@inproceedings{Mauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title={Real-Time Android: Deterministic Ease of use}, booktitle={Proceedings of Embedded World Conference}, author={Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26086
@inproceedings{Jungmann_Schierbaum_Kleinjohann_2012, title={Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot}, booktitle={Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP)}, publisher={ INSTICC PRESS}, author={Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd}, year={2012}, pages={441–444} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26089
@inproceedings{Bin Tariq_2012, title={Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints}, booktitle={Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems}, author={Bin Tariq, Fahad}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26090
@inproceedings{Mathews_Frey_2012, place={The Hong Kong Polytechnic University, Hong Kong, China}, title={A Localized Link Removal and Addition based Planarization Algorithm}, booktitle={13th International Conference On Distributed Computing And Networking (ICDCN)}, publisher={Springer}, author={Mathews, Emi and Frey, Hannes}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 26091
@article{Mathews_Mathew_2012, title={Deployment of mobile routers ensuring coverage and connectivity}, journal={International Journal of Computer Networks and Communications 4(1)}, author={Mathews, Emi and Mathew, Ciby}, year={2012}, pages={175–192} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26092
@inproceedings{Müller_Becker_Zabel_Elfeky_DiPasquale_2012, place={Sydney}, title={Virtual Prototyping of Cyber-Physical Systems}, booktitle={In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012}, author={Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony}, year={2012} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26093
@inbook{Khaluf_Mathews_Rammig_2012, place={New York, Heidelberg, Dordrecht, London}, title={Swarm Robotic Time Synchronization for Object Tracking}, booktitle={Self-Organization in Embedded Real-Time Systems}, publisher={Springer}, author={Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef}, editor={Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim}, year={2012}, pages={75–92} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
@inbook{Rammig_2012, place={München}, title={Biologically Inspired Information Technology: Towards a Cyber Biosphere}, booktitle={Schemata und Praktiken}, publisher={Wilhelm Fink Verlag}, author={Rammig, Franz-Josef}, editor={Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian}, year={2012}, pages={141–160} }
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
@inbook{Bin Tariq_Korrapati_2012, title={Adaptive Web Services for Modular and Reusable Software Development}, booktitle={Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems}, publisher={ IGI Global}, author={Bin Tariq, Fahad and Korrapati, Sandeep}, year={2012}, pages={263–276} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition}, booktitle={Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, publisher={Xpert Publishing Services}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition}, booktitle={Proceedings of the 9th IEEE International Conference on Services Computing (SCC)}, publisher={IEEE}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
@inproceedings{Khaluf_Weiss_Micus_2012, place={ Leganés, Madrid}, title={Master Election for Time Synchronization in Swarm Robotic Systems}, booktitle={The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications}, author={Khaluf, Yara and Weiss, Fabian and Micus, Sebastian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
@inproceedings{Mathews_Mathew_2012, place={Bangalore, India}, title={Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks}, booktitle={Third International Conference on Networks & Communications, LNICST}, publisher={Springer}, author={Mathews, Emi and Mathew, Ciby}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
@inproceedings{Wachsmuth_Stein_2012, title={Optimal Scheduling of Information Extraction Algorithms}, booktitle={Proceedings of COLING 2012: Posters}, author={Wachsmuth, Henning and Stein, Benno}, year={2012}, pages={1281–1290} }
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
@inbook{Kakvi_Kiltz_May_2012, place={Berlin, Heidelberg}, title={Certifying RSA}, DOI={10.1007/978-3-642-34961-4_25}, booktitle={Advances in Cryptology – ASIACRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike and May, Alexander}, year={2012}, pages={404–414} }
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
@inbook{Kakvi_Kiltz_2012, place={Berlin, Heidelberg}, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={10.1007/978-3-642-29011-4_32}, booktitle={Advances in Cryptology – EUROCRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike}, year={2012}, pages={537–553} }
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
@article{Ackermann_Märtens_Raupach_Swierkot_Lammersen_Sohler_2012, place={New York, NY, USA}, series={ACM Journal of Experimental Algorithmics}, title={StreamKM++: A clustering algorithm for data streams}, volume={17}, DOI={10.1145/2133803.2184450}, publisher={ACM}, author={Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian}, year={2012}, collection={ACM Journal of Experimental Algorithmics} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
@article{Blömer_2012, title={Turing und Kryptografie}, volume={35}, DOI={10.1007/s00287-012-0622-7}, number={4}, journal={Informatik-Spektrum}, author={Blömer, Johannes}, year={2012} }
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
@book{Jager_2012, title={On black-box models of computation in cryptology}, publisher={Ruhr University Bochum}, author={Jager, Tibor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
@inproceedings{Jager_Kohlar_Schäge_Schwenk_2012, title={On the Security of TLS-DHE in the Standard Model}, DOI={10.1007/978-3-642-32009-5_17}, booktitle={Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2012}, pages={273--293} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
@inproceedings{Hofheinz_Jager_2012, title={Tightly Secure Signatures and Public-Key Encryption}, DOI={10.1007/978-3-642-32009-5_35}, booktitle={Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor}, year={2012}, pages={590--607} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
@inproceedings{Jager_Schinzel_Somorovsky_2012, title={Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}, DOI={10.1007/978-3-642-33167-1_43}, booktitle={Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings}, author={Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}, year={2012}, pages={752--769} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
@inproceedings{Hofheinz_Jager_Knapp_2012, title={Waters Signatures with Optimal Security Reduction}, DOI={10.1007/978-3-642-30057-8_5}, booktitle={Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor and Knapp, Edward}, year={2012}, pages={66--83} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
@article{Travkin_Wehrheim_Schellhorn_2012, title={Proving Linearizability of Multiset with Local Proof Obligations}, journal={{ECEASST}}, author={Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
@article{Ruhroth_Wehrheim_2012, title={Model evolution and refinement}, DOI={10.1016/j.scico.2011.04.007}, number={3}, journal={Sci. Comput. Program.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2012}, pages={270--289} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
@inproceedings{Schellhorn_Wehrheim_Derrick_2012, series={Lecture Notes in Computer Science}, title={How to Prove Algorithms Linearisable}, DOI={10.1007/978-3-642-31424-7_21}, booktitle={Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, author={Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John}, editor={Madhusudan, P. and A. Seshia, SanjitEditors}, year={2012}, pages={243--259}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
@article{Engbring_Selke_2012, series={Commentarii informaticae didacticae}, title={Computer science and society as a field of computer science}, volume={5}, publisher={Universit { \ "a} tsverlag Potsda}, author={Engbring, Dieter and Selke, Harald}, editor={Forbrig, Peter and Rick, Detlef and Schmolitzky, Axel}, year={2012}, pages={111–116}, collection={Commentarii informaticae didacticae} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
@inproceedings{Klompmaker_ Workowski_Thronicke_Ostermair_Willemsen_Hoffmann_2012, title={User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes}, author={Klompmaker, Florian and Workowski, Anke and Thronicke, Wolfgang and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
@inproceedings{Klompmaker_ Nebe_Eschenlohr_2012, title={Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices }, publisher={Springer}, author={Klompmaker, Florian and Nebe, Karsten and Eschenlohr, Julien}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
@inproceedings{Selke_Winkelnkemper_2012, title={The technical potential of digital boards}, author={Selke, Harald and Winkelnkemper, Felix}, editor={Desel, J {\ "o} rg and Haake, J {\" o} rg and Spannagel, Christian}, year={2012}, pages={171–182} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
@inproceedings{Fischer_Geis_Kluge_Bogner_ Polkehn_2012, title={Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
@inproceedings{Tobias_Nebe_ Klompmaker_2012, title={Base Requirements for Virtual Tabletop Groupware Artifacts}, author={Tobias, M{\"u}ller and Nebe, Karsten and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
@article{Fischer_Klompmaker_2012, title={Collaborative work on interactive displays - design, operation and fields of application}, journal={M & C, humans and computers}, author={Fischer, Holger Gerhard and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
@inproceedings{Keil_2012, place={Paderborn}, title={Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich}, publisher={Universit{\"a}t Paderborn}, author={Keil, Reinhard}, year={2012}, pages={270–277} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
@inproceedings{Klompmaker_Dridger_Nebe_2012, title={EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS}, booktitle={Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference}, publisher={ASME}, author={Klompmaker, Florian and Dridger, Alexander and Nebe, Karsten}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27187
@inproceedings{Fischer_2012, title={Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards}, booktitle={Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark}, author={Fischer, Holger Gerhard}, year={2012}, pages={321–324} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
@inproceedings{Keil_Metternich_Ritzenhoff_2012, title={Summary and Outlook}, author={Keil, Reinhard and Metternich, Hans-J {\ "u} rgen and Ritzenhoff, Steffan}, editor={Keil, Reinhard and Metternich, Hans- J {\ "u} rgen and Ritzenhoff, Steffan}, year={2012}, pages={112–115} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
@inproceedings{Keil_Niehus_Ossenschmidt_2012, title={Durchl {\ "a} ssigkeitsorientierte Bildung}, author={Keil, Reinhard and Niehus, Dominik and Ossenschmidt, Daniel}, editor={Keil, Reinhard and Metternich, Hans-J {\ "u} rgen and Ritzenhoff, Steffan}, year={2012}, pages={80–94} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27190
@article{Brand_Klompmaker_Schleining_Weiss_2012, title={Automatic emotion recognition - technologies, interpretation and applications}, volume={35}, number={2}, journal={Computer science spectrum}, author={Brand, Marcel and Klompmaker, Florian and Schleining, Peter and Weiss, Fabian}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27191
@inproceedings{Keil_Metternich_Ritzenhoff_2012, title={Passability in education - a challenge for {\" u} r the future}, author={Keil, Reinhard and Metternich, Hans-J {\ "u} rgen and Ritzenhoff, Steffan}, editor={Keil, Reinhard and Metternich, Hans-J {\ "u} rgen and Ritzenhoff, Steffan}, year={2012}, pages={15–17} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27192
@inproceedings{Fischer_Klompmaker_2012, title={Enriching Disaster Control Management based on Human-Centered Design}, booktitle={Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada}, author={Fischer, Holger Gerhard and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Report | LibreCat-ID: 27193
@book{Behrenbruch_Bogner_Fischer_Geis_Geitner_Heimg{\"a}rtner_Hofmann_Hunkirchen_Kluge_ Litzenberg_et al._2012, place={German UPA e.V. (Hrsg.)}, title={German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering}, author={Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas and Geitner, Claudia and Heimg{\"a}rtner, R{\"u}diger and Hofmann, Britta and Hunkirchen, Peter and Kluge, Oliver and Litzenberg, Britta and et al.}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27194
@inproceedings{Jakoblew_ Niehus_Selke_2012, title={Learning scenarios for school 2.0}, publisher={Waxmann Verlag, M {\ "u} nster}, author={Jakoblew, Marcel and Niehus, Dominik and Selke, Harald}, editor={Apostolopoulos, Nicolas and Mu {\ ss } mann, Ulrike and Coy, Wolfgang and Schwill, Andreas}, year={2012}, pages={281–297} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27195
@inproceedings{Keil_Schild_Winkelnkemper_2012, title={E-learning strategies: best practice or careful structural renewal?}, author={Keil, Reinhard and Schild, Christian and Winkelnkemper, Felix}, editor={Apostolopoulos, Nicolas and Mu {\ ss} mann, Ulrike and Coy, Wolfgang and Schwill, Andreas}, year={2012}, pages={137–155} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27196
@inproceedings{Klompmaker_ Nebe_Fast_2012, title={dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera}, publisher={ACM Press}, author={Klompmaker, Florian and Nebe, Karsten and Fast, Alex}, year={2012}, pages={217–224} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27197
@inproceedings{Klompmaker_Fischer_Jung_2012, title={Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien}, author={Klompmaker, Florian and Fischer, Holger Gerhard and Jung, Helge}, year={2012}, pages={141–144} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27198
@inproceedings{Paelke_Nebe_Geiger_Klompmaker_Fischer_2012, title={Designing Multi-Modal Map-Based Interfaces for Disaster Management}, booktitle={Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien}, author={Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2012}, pages={95–100} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27617
@article{Selke_2012, title={Computer science and society - a lecture in the master’s degree in computer science}, journal={FIfF communication}, author={Selke, Harald}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27618
@article{Keil_Wessner_2012, title={Interdisciplinary {\ “a} t as a challenge for {\” u} r e-learning research}, journal={i -com magazine f {\ "u} r interactive and cooperative media}, author={Keil, Reinhard and Wessner, Martin}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27619
@article{Keil_2012, title={Between innovation and suitability for everyday use - “Lernstatt Paderborn”}, journal={Paderborn University {\ "a} ts-Zeitschrift}, author={Keil, Reinhard}, year={2012} }
LibreCat
2012 | Dissertation | LibreCat-ID: 27620
@book{Holzwei {\ ss} ig_2012, title={A coactive support approach for {\ "u} r processes of social reality construction in product creation processes}, author={Holzwei {\ ss} ig, Kai}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 2097
@inproceedings{Kasap_Redif_2012, title={FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm}, DOI={10.1109/FPT.2012.6412125}, booktitle={Proc. Int. Conf. on Field Programmable Technology (ICFPT)}, publisher={IEEE Computer Society}, author={Kasap, Server and Redif, Soydan}, year={2012}, pages={135–140} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
@inproceedings{Fockel_Holtmann_Meyer_2012, title={Semi-automatic establishment and maintenance of valid traceability in automotive development processes}, DOI={10.1109/sees.2012.6225489}, booktitle={2012 Second International Workshop on Software Engineering for Embedded Systems (SEES)}, author={Fockel, Markus and Holtmann, Jörg and Meyer, Jan}, year={2012} }
LibreCat
| DOI