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


2013 | Journal Article | LibreCat-ID: 46394
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, pp. 151–182, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 11818 | OA
M. K. Hoang, S. Schmitz, C. Drueke, D. H. T. Vu, J. Schmalenstroeer, and R. Haeb-Umbach, “Server based indoor navigation using RSSI and inertial sensor information,” in Positioning Navigation and Communication (WPNC), 2013 10th Workshop on, 2013, pp. 1–6, doi: 10.1109/WPNC.2013.6533263.
LibreCat | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 11817 | OA
M. K. Hoang, J. Schmalenstroeer, C. Drueke, D. H. Tran Vu, and R. Haeb-Umbach, “A Hidden Markov Model for Indoor User Tracking Based on WiFi Fingerprinting and Step Detection,” 2013.
LibreCat | Files available | Download (ext.)
 

2013 | Conference Paper | LibreCat-ID: 47161
S. Fahl, M. Harbach, Y. Acar, and M. Smith, “On the ecological validity of a password study,” 2013, doi: 10.1145/2501604.2501617.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 48889
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, and F. Neumann, “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem,” Annals of Mathematics and Artificial Intelligence, vol. 69, no. 2, pp. 151–182, 2013, doi: 10.1007/s10472-013-9341-2.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 51395
J. Hilgert, M. Laubinger, and A. Alldridge, “Harmonic analysis on Heisenberg-Clifford Lie supergroups,” J. London Math. Soc., vol. 87, pp. 561–585, 2013.
LibreCat
 

2013 | Book (Editor) | LibreCat-ID: 51490
J. Hilgert, Ed., Arbeitsbuch Mathematik für das erste Studienjahr. Springer Spektrum, 2013.
LibreCat | Download (ext.)
 

2013 | Book (Editor) | LibreCat-ID: 51491
J. Hilgert, Ed., Lesebuch Mathematik für das erste Studienjahr. Springer Spektrum, 2013.
LibreCat | Download (ext.)
 

2013 | Preprint | LibreCat-ID: 51532
J. Hilgert and G. Ólafsson, “The Radon transform and its dual for limits of symmetric spaces.” 2013.
LibreCat | Download (ext.)
 

2013 | Preprint | LibreCat-ID: 51533
J. Hilgert, A. Alldridge, and T. Wurzbacher, “Singular superspaces.” 2013.
LibreCat | Download (ext.)
 

2013 | Journal Article | LibreCat-ID: 48332
S. Prediger and L. Wessel, “Fostering German-language learners’ constructions of meanings for fractions—design and effects of a language- and mathematics-integrated intervention,” Mathematics Education Research Journal, vol. 25, no. 3, pp. 435–456, 2013, doi: 10.1007/s13394-013-0079-2.
LibreCat | DOI
 

2013 | Book Chapter | LibreCat-ID: 48333
S. Prediger, L. Wessel, K. Tschierschky, B. Seipp, and E. Özdil, “Diagnose und Förderung schulpraktisch erproben-am Beispiel Mathematiklernen bei Deutsch als Zweitsprache,” in Diagnose und individuelle Förderung in der MINT-Lehrerbildung. Das Projekt dortMINT, S. Hußmann and C. Selter, Eds. Münster: Waxmann, 2013, pp. 171–192.
LibreCat
 

2013 | Journal Article | LibreCat-ID: 48329
S. Prediger, N. Krägeloh, and L. Wessel, “Wieso 3/4 von 12, und wo ist der Kreis? Brüche für Teile von Mengen handlungs- und strukturorientiert erarbeiten. ,” Praxis der Mathematik in der Schule, vol. 55, no. 52, pp. 9–14, 2013.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 48395
L. Wessel, “Sprache und Vorstellungen parallel entwickeln – Wirkungen einer fach- und sprachintegrierten Förderung für sprachlich schwache Lernende,” in Beiträge zum Mathematikunterricht 2013, G. Greefrath, F. Käpnick, and M. Stein, Eds. Münster: WTM-Verlag, 2013, pp. 1082–1085.
LibreCat | Download (ext.)
 

2012 | Report | LibreCat-ID: 2504
R. A. M. Khan and H. Karl, Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks. 2012.
LibreCat | Download (ext.)
 

2012 | Report | LibreCat-ID: 2505
C. Dannewitz, H. Karl, and A. Yadav, Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures. 2012.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 20173
H. Hamann, J. Stradner, N. Bredeche, and L. Cazenille, “Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers,” in 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012, 2012, pp. 89–96.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 20174
H. Hamann, T. Schmickl, and J. Stradner, “Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control,” in Austrian Robotics Workshop (Operational Programme Slovenia-Austria), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 20175
H. Hamann et al., “On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation,” in Alife XIII, 2012, pp. 597–598.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 20176
H. Hamann, T. Schmickl, and K. Crailsheim, “Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics,” Mathematical and Computer Modelling of Dynamical Systems, vol. 18, no. 1, pp. 39–50, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 20177
H. Hamann, T. Schmickl, and K. Crailsheim, “A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems,” Artificial Life, vol. 18, no. 2, pp. 165–198, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 20178
H. Hamann, T. Schmickl, H. Wörn, and K. Crailsheim, “Analysis of emergent symmetry breaking in collective decision making,” Neural Computing and Applications, vol. 21, no. 2, pp. 207–218, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 20179
H. Hamann et al., “Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions,” in Swarm Intelligence: 8th International Conference, ANTS 2012, 2012, vol. 7461, pp. 168–179.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 24401
Y. Mao, C. Scheytt, K. Schmalz, and J. Borngräber, “245 GHz subharmonic receiver in SiGe,” in Microwave Integrated Circuits Conference (EuMIC), 2012 7th European, 2012, pp. 183–186.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24402
W. Debski, W. Winkler, Y. Sun, M. Marinkovic, J. Borngräber, and C. Scheytt, “120 GHz Radar Mixed-Signal Transceiver,” in Microwave Integrated Circuits Conference (EuMIC), 2012 7th European, 2012, pp. 191–194.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24403
J. Wessel, K. Schmalz, B. Cahill, G. Gastrock, and C. Scheytt, “Microwave Biosensor for Characterization of Compartments in Teflon Cappilaries,” 2012, doi: 10.23919/EuMC.2012.6459231  .
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24404
A. Tanoto, H. Li, U. Rückert, and J. Sitte, “Scalable and Flexible Vision-Based Multi-Robot Tracking System,” in In Proceedings of the IEEE International Symposium on Intelligent Control (ISIC), 2012, pp. 19–24, doi: 10.1109/ISIC.2012.6398261.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24405
P. Ostrovskyy, H. Heuermann, A. Sadeghfam, and C. Scheytt, “Performance Estimation of Fully Digital Polar Modulation driving a 2 GHz Switch-Mode Power Amplifier,” in Microwave Integrated Circuits Conference (EuMIC), 2012 7th European, Amsterdam, 2012, pp. 659–662, doi: 10.23919/EuMC.2012.6459419.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 24406
Y. Mao, K. Schmalz, J. Borngräber, and C. Scheytt, “245-GHz subharmonic receiver in SiGe ,” Microwave Theory and Techniques, IEEE Transactions on, vol. PP, no. 99, pp. 183–186, 2012.
LibreCat | Files available
 

2012 | Journal Article | LibreCat-ID: 24407
P. Ostrovskyy, H. Gustat, M. Ortmanns, and C. Scheytt, “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, vol. 60, no. 8, pp. 2524–2531, 2012, doi: 10.1109/TMTT.2012.2203143.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 24408
Y. Sun, G. G. Fischer, and C. Scheytt, “A Compact Linear 60-GHz PA With 29.2% PAE Operating at Weak Avalanche,” Microwave Theory and Techniques, IEEE Transactions on, vol. 60, no. 8, pp. 2581–2589, 2012, doi: 10.1109/TMTT.2012.2202684.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 24409
B. Sedighi and C. Scheytt, “Low-Power SiGe BiCMOS Transimpedance Amplifier for 25-GBaud Optical Links,” (Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering, vol. 59, no. 8, pp. 461–465, 2012, doi: 10.1109/TCSII.2012.2204118.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24410
C. Scheytt, Y. Sun, K. Schmalz, and R. Wang, “SiGe BiCMOS Transceivers, Antennas, and Ultra-Low-Cost Packaging for the ISM Bands at 122 and 245 GHz,” Montreal, QC, Canada, 2012, doi: 10.1109/MWSYM.2012.6259487.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24411
K. Schmalz, J. Borngräber, B. Heinemann, H. Rücker, and C. Scheytt, “A 245 GHz transmitter in SiGe technology,” in Radio Frequency Integrated Circuits Symposium (RFIC), 2012 IEEE, 2012, pp. 195–198, doi: 10.1109/RFIC.2012.6242262.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24412
B. Laemmle, K. Schmalz, C. Scheytt, R. Weigel, and D. Kissinger, “An integrated 125GHz Sensor with read-out circuit for permittivity measurement of liquids,” in Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International, 2012, pp. 1–3, doi: 10.1109/MWSYM.2012.6258392.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24413
P. Ostrovskyy, C. Scheytt, S. Lee, B. Park, and J. Jung, “A fully digital polar modulator for switch mode RF power amplifier,” in Proc. IEEE Int Circuits and Systems (ISCAS) Symp, 2012, pp. 2385–2388, doi: 10.1109/ISCAS.2012.6271777.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 24414
W. Mehr et al., “Vertical Graphene Base Transistor,” (Refa) FB/IE Zeitschrift für Unternehmensentwicklung und Industrial Engineering, vol. 33, no. 5, pp. 691–693, 2012, doi: 10.1109/LED.2012.2189193.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24415
A.-P. Garcia-Ariza et al., “60 GHz Polarimetric MIMO Sensing: architectures and technology,” in EuCAP2012 (European Conference on Antennas and Propagation), 2012, pp. 2578–2582, doi: 10.1109/EuCAP.2012.6206544.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24416
M. Elkhouly, S. Glisic, F. Ellinger, and C. Scheytt, “120 GHz phased-array circuits in 0.25 µm SiGe BiCMOS technology,” in GeMIC 2012, 2012, pp. 1–4.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24417
S. Luetkemeier, T. Jungeblut, M. Porrmann, and U. Rückert, “A 200mV 32b Subthreshold Processor with Adaptive Supply Voltage Control,” in Proc. IEEE Int. Solid-State Circuits Conf. Digest of Technical Papers, 2012, pp. 484–485, doi: 10.1109/ISSCC.2012.6177101.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24418
Y. Mao, K. Schmalz, J. Borngräber, and C. Scheytt, “A 245 GHz CB LNA and SHM mixer in SiGe technology,” in SiRF 2012 (Silicon Monolithic Integrated Circuits in RF Systems), 2012, pp. 5–8, doi: 10.1109/SiRF.2012.6160120.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24419
B. Laemmle, K. Schmalz, C. Scheytt, D. Kissinger, and R. Weigel, “A 62GHz Reflectometer for Biomedical Sensor Readout in SiGe BiCMOS Technology,” 2012, doi: 10.1109/SiRF.2012.6160125.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24420
C. Scheytt, W. Debski, Y. Sun, R. Wang, and W. Winkler, “122 GHz Radartransceiver und Komponenten in 0.13ym SiGe BiCMOS,” 2012.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24422
A. Tanoto and U. Rückert, “Local Navigation Strategies for Multi-Robot Exploration,” in From Simulation to Experimentation with Mini-Robots, 2012, vol. 41, p. pp.1197-1203, doi: 10.1016/j.proeng.2012.07.301.
LibreCat | Files available | DOI
 

2012 | Book Chapter | LibreCat-ID: 24424
A. Tanoto, F. Werner, U. Rückert, and J. Sitte, “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, pp. 147–159.
LibreCat | Files available
 

2012 | Patent | LibreCat-ID: 24425
C. Scheytt, “Mixed-Signal PSSS-Empfänger.” 2012.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24543
Y. Sun, S. Beer, C. Scheytt, R. Wang, and T. Zwick, “mm-Wave SOC and SIP Design for 122 GHz Radar SSensor in the EU-FP7 Project SUCCESS,” Antalya, 2012.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 24544
B. Sedighi and C. Scheytt, “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, Montreal, QC, Canada, 2012, pp. 1–3, doi: 10.1109/MWSYM.2012.6259501.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24545
B. Sedighi, Y. Borokhovych, H. Gustat, and C. Scheytt, “Low-power BiCMOS track-and-hold circuit with reduced signal feedthrough,” in Microwave Symposium Digest (MTT), 2012 IEEE MTT-S International, 2012, pp. 1–3, doi: 10.1109/MWSYM.2012.6259505.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 24546
B. Sedighi, P. Ostrovskyy, C. Scheytt, K. S. C. Stille, and J. Böcker, “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, pp. 1–3, doi: 10.1109/MWSYM.2012.6259502.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 25744
M. tech. M. M. Joy, M. Becker, E. Mathews, and W. Müller, “Automated Source Code Annotation for Timing Analysis of Embedded Software,” Bangalore, 14. - 16. Dez. 2012, IEEE, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25749
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of Use,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25752
E. Mathews, T. Graf, and K. S. S. B. Kulathunga, “Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity,” presented at the 14. - 17. Okt. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25758
M. Becker, D. Baldin, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25761
M. F. Oliveira et al., “The System Verification Methodology for Advanced TLM Verification,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25767
D. He and W. Müller, “A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25776
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, and B. Kleinjohann, “ Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25777
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, and B. Kleinjohann, “Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System,” Singapore, 18. - 20. Jul. 2012 IEEE, IEEE, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25781
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces,” 16. - 19. Jul. 2012; Las Vegas, Nevada, USA, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 25783
S. Grösbrink, “A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems,” 27. - 29. Jun. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26022
M. Becker, C. Kuznik, M. tech. M. M. Joy, T. Xie, and W. Müller, “Binary Mutation Testing Through Dynamic Translation,” 2012.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 26023
D. He and W. Müller, “Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26024
S. Radke et al., “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 26025
N. Montealegre and S. Hagenkötter, “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, pp. 699–715.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26026
S. Grösbrink, S. Oberthür, and D. Baldin, “Towards Adaptive Resource Management for Virtualized Real-Time Systems,” presented at the 16. - 19. Apr. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26027
Y. Zhao and F.-J. Rammig, “Online Model Checking for Dependable Real-time Systems,” in 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, 2012, pp. 154–161.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26028
N. Montealegre and F.-J. Rammig, “Agent-Based Modeling and Simulation of Artificial Immune Systems,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26029
F.-J. Rammig, “Self-Coordination as Fundamental Concept for Cyber Physical Systems,” in 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, 2012, pp. 45–48.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26030
E. Mathews, “Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26031
D. He and W. Müller, “Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26032
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Efficient Alignment of Aerial Images Based on Virtual Forces,” presented at the 25. - 30. Mrz. 2012 IARIA, IEEE Xplore, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26034
A. Jungmann, B. Kleinjohann, L. Kleinjohann, and M. Bieshaar, “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems,” presented at the 25. - 30. Mrz. 2012 IARIA, Xpert Publishing Services, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26035
S. Grösbrink, S. Oberthür, and D. Baldin, “Dynamic Resource Management for Virtualized Mixed-Criticality Systems,” presented at the 12. - 16. Mrz. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26036
M. F. Oliveira, C. Kuznik, W. Müller, W. Ecker, and V. Esen, “A SystemC Library for Advanced TLM Verification,” 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26037
F. A. M. Nascimento, M. F. Oliveira, and F. Wagner, “A model-driven engineering framework for embedded systems design,” Innovations in Systems and Software Engineering 8, pp. 19–33, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26079
M. Becker, G. B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, and S. Vinco, “MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26080
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, and W. Müller, “XEMU: A QEMU Based Binary Mutation Testing Framework,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26081
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, and S. Oberthür, “Real-Time Android: Deterministic Ease of use,” presented at the 28. Feb. - 1. Mrz. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26086
A. Jungmann, T. Schierbaum, and B. Kleinjohann, “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), 2012, pp. 441–444.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26089
F. Bin Tariq, “Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints,” presented at the 24. - 26. Feb. 2012, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26090
E. Mathews and H. Frey, “A Localized Link Removal and Addition based Planarization Algorithm,” 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26091
E. Mathews and C. Mathew, “Deployment of mobile routers ensuring coverage and connectivity,” International Journal of Computer Networks and Communications 4(1), pp. 175–192, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26092
W. Müller, M. Becker, H. Zabel, A. Elfeky, and A. DiPasquale, “Virtual Prototyping of Cyber-Physical Systems,” 2012.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26093
Y. Khaluf, E. Mathews, and F.-J. Rammig, “Swarm Robotic Time Synchronization for Object Tracking,” in Self-Organization in Embedded Real-Time Systems, M. T. Higuera-Toledano, U. Brinkschulte, and A. Rettberg, Eds. New York, Heidelberg, Dordrecht, London: Springer, 2012, pp. 75–92.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26094
F.-J. Rammig, “Biologically Inspired Information Technology: Towards a Cyber Biosphere,” in Schemata und Praktiken, T. Conradi, G. Ecker, N. O. Eke, and F. Muhle, Eds. München: Wilhelm Fink Verlag, 2012, pp. 141–160.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 26102
F. Bin Tariq and S. Korrapati, “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, pp. 263–276.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26181
A. Jungmann and B. Kleinjohann, “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), 2012, pp. 43–47.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 3812
H. Wachsmuth and B. Stein, “Optimal Scheduling of Information Extraction Algorithms,” in Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 2918
S. Kakvi, E. Kiltz, and A. May, “Certifying RSA,” in Advances in Cryptology – ASIACRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 404–414.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 2919
S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,” in Advances in Cryptology – EUROCRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 537–553.
LibreCat | DOI | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 2982
M. R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, and C. Sohler, “StreamKM++: A clustering algorithm for data streams,” vol. 17. ACM, New York, NY, USA, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 2984
J. Blömer, “Turing und Kryptografie,” Informatik-Spektrum, vol. 35, no. 4, 2012.
LibreCat | DOI
 

2012 | Dissertation | LibreCat-ID: 3132
T. Jager, On black-box models of computation in cryptology. Ruhr University Bochum, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 3133
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “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, pp. 273--293.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3134
D. Hofheinz and T. Jager, “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, pp. 590--607.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3135
T. Jager, S. Schinzel, and J. Somorovsky, “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, pp. 752--769.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3136
D. Hofheinz, T. Jager, and E. Knapp, “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, pp. 66--83.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed