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.
9750 Publications
2013 | Book (Editor) | LibreCat-ID: 51491
@book{Hilgert_2013, title={Lesebuch Mathematik für das erste Studienjahr}, publisher={Springer Spektrum}, year={2013} }
LibreCat
| Download (ext.)
2013 | Preprint | LibreCat-ID: 51532
@article{Hilgert_Ólafsson_2013, title={The Radon transform and its dual for limits of symmetric spaces}, author={Hilgert, Joachim and Ólafsson, G.}, year={2013} }
LibreCat
| Download (ext.)
2013 | Preprint | LibreCat-ID: 51533
@article{Hilgert_Alldridge_Wurzbacher_2013, title={Singular superspaces}, author={Hilgert, Joachim and Alldridge, A. and Wurzbacher, T.}, year={2013} }
LibreCat
| Download (ext.)
2013 | Journal Article | LibreCat-ID: 48332
@article{Prediger_Wessel_2013, title={Fostering German-language learners’ constructions of meanings for fractions—design and effects of a language- and mathematics-integrated intervention}, volume={25}, DOI={10.1007/s13394-013-0079-2}, number={3}, journal={Mathematics Education Research Journal}, publisher={Springer Science and Business Media LLC}, author={Prediger, Susanne and Wessel, Lena}, year={2013}, pages={435–456} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 48333
@inbook{Prediger_Wessel_Tschierschky_Seipp_Özdil_2013, place={Münster}, title={Diagnose und Förderung schulpraktisch erproben-am Beispiel Mathematiklernen bei Deutsch als Zweitsprache}, booktitle={Diagnose und individuelle Förderung in der MINT-Lehrerbildung. Das Projekt dortMINT}, publisher={Waxmann}, author={Prediger, Susanne and Wessel, Lena and Tschierschky, K and Seipp, B and Özdil, E}, editor={Hußmann, S. and Selter, C.}, year={2013}, pages={171–192} }
LibreCat
2013 | Journal Article | LibreCat-ID: 48329
@article{Prediger_Krägeloh_Wessel_2013, title={Wieso 3/4 von 12, und wo ist der Kreis? Brüche für Teile von Mengen handlungs- und strukturorientiert erarbeiten. }, volume={55}, number={52}, journal={Praxis der Mathematik in der Schule}, author={Prediger, Susanne and Krägeloh, N. and Wessel, Lena}, year={2013}, pages={9–14} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 48395
@inbook{Wessel_2013, place={Münster}, title={Sprache und Vorstellungen parallel entwickeln – Wirkungen einer fach- und sprachintegrierten Förderung für sprachlich schwache Lernende}, booktitle={Beiträge zum Mathematikunterricht 2013}, publisher={WTM-Verlag}, author={Wessel, Lena}, editor={Greefrath, G. and Käpnick, F. and Stein, M.}, year={2013}, pages={1082–1085} }
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2504
@book{Khan_Karl_2012, title={Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks}, author={Khan, Rana Azeem M. and Karl, Holger}, year={2012} }
LibreCat
| Download (ext.)
2012 | Report | LibreCat-ID: 2505
@book{Dannewitz_Karl_Yadav_2012, title={Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures}, author={Dannewitz, Christian and Karl, Holger and Yadav, Aditya}, year={2012} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 20173
@inproceedings{Hamann_Stradner_Bredeche_Cazenille_2012, title={Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers}, DOI={10.1145/2330163.2330177}, booktitle={14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012}, publisher={ACM}, author={Hamann, Heiko and Stradner, Jürgen and Bredeche, Nicolas and Cazenille, Leo}, year={2012}, pages={89–96} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20174
@inproceedings{Hamann_Schmickl_Stradner_2012, title={Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control}, booktitle={Austrian Robotics Workshop (Operational Programme Slovenia-Austria)}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 20175
@inproceedings{Hamann_Schmickl_Stradner_Crailsheim_Zahadat_Adami_Bryson_Ofria_Pennock_2012, title={On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation}, booktitle={Alife XIII}, publisher={MIT Press}, author={Hamann, Heiko and Schmickl, Thomas and Stradner, Jürgen and Crailsheim, Karl and Zahadat, Payam and Adami, Christoph and Bryson, David M. and Ofria, Charles and Pennock, Robert T.}, year={2012}, pages={597–598} }
LibreCat
2012 | Journal Article | LibreCat-ID: 20176
@article{Hamann_Schmickl_Crailsheim_2012, title={Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics}, volume={18}, DOI={10.1080/13873954.2011.601418}, number={1}, journal={Mathematical and Computer Modelling of Dynamical Systems}, author={Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2012}, pages={39–50} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20177
@article{Hamann_Schmickl_Crailsheim_2012, title={A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems}, volume={18}, DOI={10.1162/artl_a_00058}, number={2}, journal={Artificial Life}, author={Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2012}, pages={165–198} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 20178
@article{Hamann_Schmickl_Wörn_Crailsheim_2012, title={Analysis of emergent symmetry breaking in collective decision making}, volume={21}, DOI={10.1007/s00521-010-0368-6}, number={2}, journal={Neural Computing and Applications}, author={Hamann, Heiko and Schmickl, Thomas and Wörn, Heinz and Crailsheim, Karl}, year={2012}, pages={207–218} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20179
@inproceedings{Hamann_Engelbrecht_Birattari_Dorigo_Blum_Stuetzle_Christensen_Gross_2012, place={Berlin, Heidelberg}, title={Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions}, volume={7461}, DOI={10.1007/978-3-642-32650-9_15}, booktitle={Swarm Intelligence: 8th International Conference, ANTS 2012}, publisher={Springer}, author={Hamann, Heiko and Engelbrecht, Andreas and Birattari, Mauro and Dorigo, Marco and Blum, Christian and Stuetzle, Thomas and Christensen, Anders Lyhne and Gross, Roderich}, year={2012}, pages={168–179} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 24401
@inproceedings{Mao_Scheytt_Schmalz_Borngräber_2012, place={Amsterdam, Netherland}, title={245 GHz subharmonic receiver in SiGe}, booktitle={Microwave Integrated Circuits Conference (EuMIC), 2012 7th European}, author={Mao, Yanfei and Scheytt, Christoph and Schmalz, Klaus and Borngräber, Johannes}, year={2012}, pages={183–186} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24402
@inproceedings{Debski_Winkler_Sun_Marinkovic_Borngräber_Scheytt_2012, title={120 GHz Radar Mixed-Signal Transceiver}, booktitle={Microwave Integrated Circuits Conference (EuMIC), 2012 7th European}, author={Debski, Wojciech and Winkler, Wolfgang and Sun, Yaoming and Marinkovic, Miroslav and Borngräber, Johannes and Scheytt, Christoph}, year={2012}, pages={191–194} }
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 24403
@inproceedings{Wessel_Schmalz_Cahill_Gastrock_Scheytt_2012, title={Microwave Biosensor for Characterization of Compartments in Teflon Cappilaries}, DOI={10.23919/EuMC.2012.6459231 }, booktitle={Microwave Conference (EuMC), 2012 42nd European}, author={Wessel, Jan and Schmalz, Klaus and Cahill, Brian and Gastrock, Gunter and Scheytt, Christoph}, year={2012} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24404
@inproceedings{Tanoto_Li_Rückert_Sitte_2012, place={Dubrovnik, Croatia}, title={Scalable and Flexible Vision-Based Multi-Robot Tracking System}, DOI={10.1109/ISIC.2012.6398261}, booktitle={In Proceedings of the IEEE International Symposium on Intelligent Control (ISIC)}, author={Tanoto, Andry and Li, Hanyi and Rückert, Ulrich and Sitte, Joaquin}, year={2012}, pages={19–24} }
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 24405
@inproceedings{Ostrovskyy_Heuermann_Sadeghfam_Scheytt_2012, place={European Microwave Week 2012, Amsterdam}, title={Performance Estimation of Fully Digital Polar Modulation driving a 2 GHz Switch-Mode Power Amplifier}, DOI={10.23919/EuMC.2012.6459419}, booktitle={Microwave Integrated Circuits Conference (EuMIC), 2012 7th European}, author={Ostrovskyy, Philip and Heuermann, Holger and Sadeghfam, Arash and Scheytt, Christoph}, year={2012}, pages={659–662} }
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 24406
@article{Mao_Schmalz_Borngräber_Scheytt_2012, title={245-GHz subharmonic receiver in SiGe }, volume={PP}, number={99}, journal={Microwave Theory and Techniques, IEEE Transactions on}, author={Mao, Yanfei and Schmalz, Klaus and Borngräber, Johannes and Scheytt, Christoph}, year={2012}, pages={183–186} }
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 24407
@article{Ostrovskyy_Gustat_Ortmanns_Scheytt_2012, title={A 5-Gb/s 2.1–2.2-GHz Bandpass \Delta \Sigma Modulator for Switch-Mode Power Amplifier}, volume={60}, DOI={10.1109/TMTT.2012.2203143}, number={8}, journal={Microwave Theory and Techniques, IEEE Transactions on}, author={Ostrovskyy, Philip and Gustat, Hans and Ortmanns, Maurits and Scheytt, Christoph}, year={2012}, pages={2524–2531} }
LibreCat
| Files available
| DOI
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