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.
5693 Publications
2013 | Journal Article | LibreCat-ID: 15282
Animatronics Workshop: A Theater+ Engineering Collaboration at a High School
J.G. Alford, L. Jacob, P. Dietz, IEEE Computer Graphics and Applications 33 (2013) 9–13.
LibreCat
| DOI
J.G. Alford, L. Jacob, P. Dietz, IEEE Computer Graphics and Applications 33 (2013) 9–13.
2013 | Conference Paper | LibreCat-ID: 15284
Visualizing Dissections of the Heart in a Dataflow-based Shader Framework for Volume Rendering
S. Arens, M. Bolte, G. Domik, in: M. Bronstein , J. Favre , K. Hormann (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2013.
LibreCat
| DOI
S. Arens, M. Bolte, G. Domik, in: M. Bronstein , J. Favre , K. Hormann (Eds.), Vision, Modeling & Visualization, The Eurographics Association, 2013.
2013 | Journal Article | LibreCat-ID: 16044
Multilabel classification for exploiting cross-resistance information in HIV-1 drug resistence prediction
D. Heider, R. Senge, W. Cheng, E. Hüllermeier, Bioinformatics 29 (2013) 1946–1952.
LibreCat
D. Heider, R. Senge, W. Cheng, E. Hüllermeier, Bioinformatics 29 (2013) 1946–1952.
2013 | Journal Article | LibreCat-ID: 16081
Chest pain in primary care: is the localization of pain diagnostically helpful in the critical evaluation of patients? A cross sectional study.
S. Bösner, K. Bönisch, J. Haasenritter , P. Schlegel, E. Hüllermeier, N. Donner-Banzhoff, BMC Family Practice 14 (2013) 154–162.
LibreCat
S. Bösner, K. Bönisch, J. Haasenritter , P. Schlegel, E. Hüllermeier, N. Donner-Banzhoff, BMC Family Practice 14 (2013) 154–162.
2013 | Journal Article | LibreCat-ID: 16086
Diagnose im Kontext - eine erweiterte Perspektive
J. Haasenritter, A. Viniol, A. Becker, S. Bösner, E. Hüllermeier, R. Senge, N. Donner-Banzhoff, Zeitschrift Für Evidenz, Fortbildung Und Qualität Im Gesundheitswesen (ZEFQ) 107 (2013) 585–591.
LibreCat
J. Haasenritter, A. Viniol, A. Becker, S. Bösner, E. Hüllermeier, R. Senge, N. Donner-Banzhoff, Zeitschrift Für Evidenz, Fortbildung Und Qualität Im Gesundheitswesen (ZEFQ) 107 (2013) 585–591.
2013 | Journal Article | LibreCat-ID: 16123
Evolving fuzzy pattern trees for binary classification on data streams
A. Shaker, R. Senge, E. Hüllermeier, Information Sciences 220 (2013) 34–45.
LibreCat
A. Shaker, R. Senge, E. Hüllermeier, Information Sciences 220 (2013) 34–45.
2013 | Conference Paper | LibreCat-ID: 16393
Spherical Visibility Sampling
B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Computer Graphics Forum, 2013, pp. 49–58.
LibreCat
| DOI
B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Computer Graphics Forum, 2013, pp. 49–58.
2013 | Book Chapter | LibreCat-ID: 16406
Evaluation of Rendering Algorithms Using Position-Dependent Scene Properties
C. Jähn, B. Eikel, M. Fischer, R. Petring, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat
| DOI
C. Jähn, B. Eikel, M. Fischer, R. Petring, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
2013 | Book Chapter | LibreCat-ID: 16407
Real-Time 3D Rendering of Heterogeneous Scenes
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
LibreCat
| DOI
R. Petring, B. Eikel, C. Jähn, M. Fischer, F. Meyer auf der Heide, in: Advances in Visual Computing, Berlin, Heidelberg, 2013.
2013 | Conference Paper | LibreCat-ID: 13115
Learning to rank lexical substitutions
G. Szarvas, R. Busa-Fekete, E. Hüllermeier, in: In Proceedings EMNLP-2013 Conference on Empirical Methods in Natural Language Processing, Seattle, USA, 2013.
LibreCat
G. Szarvas, R. Busa-Fekete, E. Hüllermeier, in: In Proceedings EMNLP-2013 Conference on Empirical Methods in Natural Language Processing, Seattle, USA, 2013.
2013 | Conference Paper | LibreCat-ID: 13116
Optimizing the F-measure in multi-label classification: Plug-in rule approach versus structured loss minimization
K. Dembczynski, A. Jachnik, W. Kotlowski, W. Waegeman, E. Hüllermeier, in: S. Dasgupta, D. McAllester (Eds.), In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1130–1138.
LibreCat
K. Dembczynski, A. Jachnik, W. Kotlowski, W. Waegeman, E. Hüllermeier, in: S. Dasgupta, D. McAllester (Eds.), In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1130–1138.
2013 | Conference Paper | LibreCat-ID: 13117
Top-k selection based on adaptive sampling of noisy preferences
R. Busa-Fekete, B. Szoreny, P. Weng, W. Cheng, E. Hüllermeier, in: S. Dasgupta, D. McAllester (Eds.), In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1094–1102.
LibreCat
R. Busa-Fekete, B. Szoreny, P. Weng, W. Cheng, E. Hüllermeier, in: S. Dasgupta, D. McAllester (Eds.), In Proceedings ICML-2013, 30th International Conference on Machine Learning, Atlanta, USA, 2013, pp. 1094–1102.
2013 | Conference Paper | LibreCat-ID: 13118
Preference-based CBR: General ideas and basic principles
E. Hüllermeier, W. Cheng, in: F. Rossi (Ed.), In Proceedings IJCAI-13, 23rd International Joint Conference on Artificial Intelligence, Beijing, China, AAAI Press, 2013, pp. 3012–3016.
LibreCat
E. Hüllermeier, W. Cheng, in: F. Rossi (Ed.), In Proceedings IJCAI-13, 23rd International Joint Conference on Artificial Intelligence, Beijing, China, AAAI Press, 2013, pp. 3012–3016.
2013 | Conference Paper | LibreCat-ID: 13119
Rule chains for visualizing evolving fuzzy rule-based systems
S. Henzgen, M. Strickert, E. Hüllermeier, in: R. Burduk, K. Jackowski, M. Kurzynski, M. Wozniak, A. Zolnierek (Eds.), In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, Springer, 2013, pp. 279–288.
LibreCat
S. Henzgen, M. Strickert, E. Hüllermeier, in: R. Burduk, K. Jackowski, M. Kurzynski, M. Wozniak, A. Zolnierek (Eds.), In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, Springer, 2013, pp. 279–288.
2013 | Conference Paper | LibreCat-ID: 13190
Recovery analysis for adaptive learning from non-stationary data streams
A. Shaker, E. Hüllermeier, in: R. Burduk, K. Jackowski, M. Kurzynski, W. Wozniak, A. Zolnierek (Eds.), In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, Springer, 2013, pp. 289–298.
LibreCat
A. Shaker, E. Hüllermeier, in: R. Burduk, K. Jackowski, M. Kurzynski, W. Wozniak, A. Zolnierek (Eds.), In Proceedings CORES 2013, 8th International Conference on Computer Recognition Systems, Wroclaw, Poland, Springer, 2013, pp. 289–298.
2013 | Conference Paper | LibreCat-ID: 13645
On Semeai Detection in Monte-Carlo Go.
T. Graf, L. Schäfers, M. Platzner, in: Proceedings of the International Conference on Computers and Games (CG), Springer, 2013.
LibreCat
T. Graf, L. Schäfers, M. Platzner, in: Proceedings of the International Conference on Computers and Games (CG), Springer, 2013.
2013 | Conference Paper | LibreCat-ID: 36919
Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models: A Non-Invasive Approach
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
LibreCat
| DOI
F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.
2013 | Conference Paper | LibreCat-ID: 36920
An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors
D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.
LibreCat
D. He, W. Müller, in: H. Weghorn (Ed.), Proceedings of the International Conference on Applied Computing (AC), Fort Worth, Texas, USA, 2013.
2013 | Dissertation | LibreCat-ID: 8425 |
Approximation, Proof Systems, and Correlations in a Quantum World
S. Gharibian, Approximation, Proof Systems, and Correlations in a Quantum World, 2013.
LibreCat
| Files available
| Download (ext.)
| arXiv
S. Gharibian, Approximation, Proof Systems, and Correlations in a Quantum World, 2013.
2013 | Journal Article | LibreCat-ID: 8173 |
QMA variants with polynomially many provers
S. Gharibian, J. Sikora, S. Upadhyay, Quantum Information & Computation 13 (2013) 135–157.
LibreCat
| Download (ext.)
| arXiv
S. Gharibian, J. Sikora, S. Upadhyay, Quantum Information & Computation 13 (2013) 135–157.
2013 | Conference Paper | LibreCat-ID: 528
FPGA-accelerated Key Search for Cold-Boot Attacks against AES
H. Riebler, T. Kenter, C. Sorge, C. Plessl, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2013, pp. 386–389.
LibreCat
| Files available
| DOI
H. Riebler, T. Kenter, C. Sorge, C. Plessl, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2013, pp. 386–389.
2013 | Conference Paper | LibreCat-ID: 505
On-The-Fly Computing: A Novel Paradigm for Individualized IT Services
M. Happe, P. Kling, C. Plessl, M. Platzner, F. Meyer auf der Heide, in: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS), IEEE, 2013.
LibreCat
| Files available
| DOI
M. Happe, P. Kling, C. Plessl, M. Platzner, F. Meyer auf der Heide, in: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS), IEEE, 2013.
2013 | Conference Paper | LibreCat-ID: 1787
Parallel Macro Pipelining on the Intel SCC Many-Core Computer
T. Suess, A. Schoenrock, S. Meisner, C. Plessl, in: Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW), IEEE Computer Society, Washington, DC, USA, 2013, pp. 64–73.
LibreCat
| DOI
T. Suess, A. Schoenrock, S. Meisner, C. Plessl, in: Proc. Int. Symp. on Parallel and Distributed Processing Workshops (IPDPSW), IEEE Computer Society, Washington, DC, USA, 2013, pp. 64–73.
2013 | Book Chapter | LibreCat-ID: 46385
The Directed Search Method for Pareto Front Approximations with Maximum Dominated Hypervolume
H.V. Sosa, O. Schütze, G. Rudolph, H. Trautmann, in: M. Emmerich, A. Deutz, O. Schuetze, T. Bäck, A. Tantar, P. Moral, P. Legrand, P. Bouvry, C. Coello (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV, Springer International Publishing, 2013, pp. 189–205.
LibreCat
| DOI
H.V. Sosa, O. Schütze, G. Rudolph, H. Trautmann, in: M. Emmerich, A. Deutz, O. Schuetze, T. Bäck, A. Tantar, P. Moral, P. Legrand, P. Bouvry, C. Coello (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation IV, Springer International Publishing, 2013, pp. 189–205.
2013 | Book Chapter | LibreCat-ID: 46386
Finding Evenly Spaced Pareto Fronts for Three-Objective Optimization Problems
H. Trautmann, G. Rudolph, C. Dominguez-Medina, O. Schütze, in: O. Schütze, C.C. Coello, A. Tantar, E. Tantar, P. Bouvry, M.P. Del, P. Legrand (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II, Springer Berlin Heidelberg, 2013, pp. 89–105.
LibreCat
| DOI
H. Trautmann, G. Rudolph, C. Dominguez-Medina, O. Schütze, in: O. Schütze, C.C. Coello, A. Tantar, E. Tantar, P. Bouvry, M.P. Del, P. Legrand (Eds.), EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation II, Springer Berlin Heidelberg, 2013, pp. 89–105.
2013 | Conference Paper | LibreCat-ID: 46388
A Feature-Based Comparison of Local Search and the Christofides Algorithm for the Travelling Salesperson Problem
S. Nallaperuma, M. Wagner, F. Neumann, B. Bischl, O. Mersmann, H. Trautmann, in: Proceedings of the Twelfth Workshop on Foundations of Genetic Algorithms XII, Association for Computing Machinery, New York, NY, USA, 2013, pp. 147–160.
LibreCat
| DOI
S. Nallaperuma, M. Wagner, F. Neumann, B. Bischl, O. Mersmann, H. Trautmann, in: Proceedings of the Twelfth Workshop on Foundations of Genetic Algorithms XII, Association for Computing Machinery, New York, NY, USA, 2013, pp. 147–160.
2013 | Conference Paper | LibreCat-ID: 46390
Evenly Spaced Pareto Front Approximations for Tricriteria Problems Based on Triangulation
G. Rudolph, H. Trautmann, S. Sengupta, O. Schütze, in: R. Purshouse, P. Fleming, C. Fonseca, S. Greco, J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings, Springer, 2013, pp. 443–458.
LibreCat
| DOI
G. Rudolph, H. Trautmann, S. Sengupta, O. Schütze, in: R. Purshouse, P. Fleming, C. Fonseca, S. Greco, J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization — 7$^th$ International Conference, EMO 2013, Sheffield, UK, Proceedings, Springer, 2013, pp. 443–458.
2013 | Conference Paper | LibreCat-ID: 46391
Directed Search Method for Indicator-based Multi-objective Evolutionary Algorithms
V. Sosa-Hernandez, O. Schütze, G. Rudoph, H. Trautmann, in: Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion, ACM, New York, NY, USA, 2013, pp. 1699–1702.
LibreCat
| DOI
V. Sosa-Hernandez, O. Schütze, G. Rudoph, H. Trautmann, in: Proceeding of the Fifteenth Annual Conference Companion on Genetic and Evolutionary Computation Conference Companion, ACM, New York, NY, USA, 2013, pp. 1699–1702.
2013 | Conference Paper | LibreCat-ID: 46387
Evenly spaced Pareto fronts of quad-objective problems using PSA partitioning technique
C. Dominguez-Medina, G. Rudolph, O. Schütze, H. Trautmann, in: Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC), Cancun, Mexico, 2013, pp. 3190–3197.
LibreCat
| DOI
C. Dominguez-Medina, G. Rudolph, O. Schütze, H. Trautmann, in: Proceedings of the 2013 IEEE Congress on Evolutionary Computation (CEC), Cancun, Mexico, 2013, pp. 3190–3197.
2013 | Conference Paper | LibreCat-ID: 46389
Reactive strategy choice in StarCraft by means of Fuzzy Control
M. Preuss, D. Kozakowski, J. Hagelbäck, H. Trautmann, in: 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013, pp. 1–8.
LibreCat
| DOI
M. Preuss, D. Kozakowski, J. Hagelbäck, H. Trautmann, in: 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013, pp. 1–8.
2013 | Journal Article | LibreCat-ID: 46395
Indicator-based Selection in Evolutionary Multiobjective Optimization Algorithms Based On the Desirability Index
H. Trautmann, T. Wagner, D. Biermann, C. Weihs, Journal of Multi-Criteria Decision Analysis 20 (2013) 319–337.
LibreCat
| DOI
H. Trautmann, T. Wagner, D. Biermann, C. Weihs, Journal of Multi-Criteria Decision Analysis 20 (2013) 319–337.
2013 | Conference Paper | LibreCat-ID: 46393
Preference Articulation by Means of the R2 Indicator
T. Wagner, H. Trautmann, D. Brockhoff, in: R.C. Purshouse, P.J. Fleming, C.M. Fonseca, S. Greco, J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 81–95.
LibreCat
T. Wagner, H. Trautmann, D. Brockhoff, in: R.C. Purshouse, P.J. Fleming, C.M. Fonseca, S. Greco, J. Shaw (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 81–95.
2013 | Conference Paper | LibreCat-ID: 46392
R2-EMOA: Focused Multiobjective Search Using R2-Indicator-Based Selection
H. Trautmann, T. Wagner, D. Brockhoff, in: G. Nicosia, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 70–74.
LibreCat
H. Trautmann, T. Wagner, D. Brockhoff, in: G. Nicosia, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 70–74.
2013 | Journal Article | LibreCat-ID: 46394
A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesman Problem
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.
LibreCat
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.
2013 | Conference Paper | LibreCat-ID: 47161
On the ecological validity of a password study
S. Fahl, M. Harbach, Y. Acar, M. Smith, in: Proceedings of the Ninth Symposium on Usable Privacy and Security, ACM, 2013.
LibreCat
| DOI
S. Fahl, M. Harbach, Y. Acar, M. Smith, in: Proceedings of the Ninth Symposium on Usable Privacy and Security, ACM, 2013.
2013 | Journal Article | LibreCat-ID: 48889
A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.
LibreCat
| DOI
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.
2012 | Report | LibreCat-ID: 2504
Simulating Cooperative Diversity Protocols for Multi-hop Wireless and Sensor Networks
R.A.M. Khan, H. Karl, Simulating Cooperative Diversity Protocols for Multi-Hop Wireless and Sensor Networks, 2012.
LibreCat
| Download (ext.)
R.A.M. Khan, H. Karl, Simulating Cooperative Diversity Protocols for Multi-Hop Wireless and Sensor Networks, 2012.
2012 | Report | LibreCat-ID: 2505
Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures
C. Dannewitz, H. Karl, A. Yadav, Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures, 2012.
LibreCat
| Files available
C. Dannewitz, H. Karl, A. Yadav, Report on Locality in DNS Requests – Evaluation and Impact on Future Internet Architectures, 2012.
2012 | Conference Paper | LibreCat-ID: 20173
Impact of Neuron Models and Network Structure on Evolving Modular Robot Neural Network Controllers
H. Hamann, J. Stradner, N. Bredeche, L. Cazenille, in: 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012, ACM, 2012, pp. 89–96.
LibreCat
| DOI
H. Hamann, J. Stradner, N. Bredeche, L. Cazenille, in: 14th Annual Genetic and Evolutionary Computation Conference, GECCO 2012, ACM, 2012, pp. 89–96.
2012 | Conference Paper | LibreCat-ID: 20174
Towards Morphological Flexibility: Modular Robotics and Bio-inspired Control
H. Hamann, T. Schmickl, J. Stradner, in: Austrian Robotics Workshop (Operational Programme Slovenia-Austria), 2012.
LibreCat
H. Hamann, T. Schmickl, J. Stradner, in: Austrian Robotics Workshop (Operational Programme Slovenia-Austria), 2012.
2012 | Conference Paper | LibreCat-ID: 20175
On-line, On-board Evolution of Reaction-Diffusion Control for Self-Adaptation
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Zahadat, C. Adami, D.M. Bryson, C. Ofria, R.T. Pennock, in: Alife XIII, MIT Press, 2012, pp. 597–598.
LibreCat
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Zahadat, C. Adami, D.M. Bryson, C. Ofria, R.T. Pennock, in: Alife XIII, MIT Press, 2012, pp. 597–598.
2012 | Journal Article | LibreCat-ID: 20176
Self-organized pattern formation in a swarm system as a transient phenomenon of non-linear dynamics
H. Hamann, T. Schmickl, K. Crailsheim, Mathematical and Computer Modelling of Dynamical Systems 18 (2012) 39–50.
LibreCat
| DOI
H. Hamann, T. Schmickl, K. Crailsheim, Mathematical and Computer Modelling of Dynamical Systems 18 (2012) 39–50.
2012 | Journal Article | LibreCat-ID: 20177
A Hormone-Based Controller for Evaluation-Minimal Evolution in Decentrally Controlled Systems
H. Hamann, T. Schmickl, K. Crailsheim, Artificial Life 18 (2012) 165–198.
LibreCat
| DOI
H. Hamann, T. Schmickl, K. Crailsheim, Artificial Life 18 (2012) 165–198.
2012 | Journal Article | LibreCat-ID: 20178
Analysis of emergent symmetry breaking in collective decision making
H. Hamann, T. Schmickl, H. Wörn, K. Crailsheim, Neural Computing and Applications 21 (2012) 207–218.
LibreCat
| DOI
H. Hamann, T. Schmickl, H. Wörn, K. Crailsheim, Neural Computing and Applications 21 (2012) 207–218.
2012 | Conference Paper | LibreCat-ID: 20179
Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions
H. Hamann, A. Engelbrecht, M. Birattari, M. Dorigo, C. Blum, T. Stuetzle, A.L. Christensen, R. Gross, in: Swarm Intelligence: 8th International Conference, ANTS 2012, Springer, Berlin, Heidelberg, 2012, pp. 168–179.
LibreCat
| DOI
H. Hamann, A. Engelbrecht, M. Birattari, M. Dorigo, C. Blum, T. Stuetzle, A.L. Christensen, R. Gross, in: Swarm Intelligence: 8th International Conference, ANTS 2012, Springer, Berlin, Heidelberg, 2012, pp. 168–179.
2012 | Conference Paper | LibreCat-ID: 25744
Automated Source Code Annotation for Timing Analysis of Embedded Software
M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.
LibreCat
M. tech. M.M. Joy, M. Becker, E. Mathews, W. Müller, in: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 25749
Real-Time Android: Deterministic Ease of Use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded Linux Conference Europe, 5. - 7. Nov. 2012, 2012.
2012 | Conference Paper | LibreCat-ID: 25752
Biologically Inspired Swarm Robotic Network Ensuring Coverage and Connectivity
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), IEEE Computer Society, 2012.
LibreCat
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: In Proceedings of IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), IEEE Computer Society, 2012.
2012 | Conference Paper | LibreCat-ID: 25758
XEMU: An Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software
M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.
LibreCat
M. Becker, D. Baldin, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: EMSOFT’12: Teenth ACM International Conference on Embedded Software 2012 Proceedings , 2012.
2012 | Conference Paper | LibreCat-ID: 25761
The System Verification Methodology for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.
2012 | Conference Paper | LibreCat-ID: 25767
A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 25776
Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in: IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.
LibreCat
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in: IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 25777
Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.
LibreCat
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.
2012 | Conference Paper | LibreCat-ID: 25781
Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, Las Vegas, Nevada, USA, 2012.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, Las Vegas, Nevada, USA, 2012.
2012 | Conference Paper | LibreCat-ID: 25783
A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems
S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.
LibreCat
S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.
2012 | Conference Paper | LibreCat-ID: 26022
Binary Mutation Testing Through Dynamic Translation
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat
| Download (ext.)
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
2012 | Conference Paper | LibreCat-ID: 26023
Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26024
Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
2012 | Book Chapter | LibreCat-ID: 26025
Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks
N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat
N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
2012 | Conference Paper | LibreCat-ID: 26026
Towards Adaptive Resource Management for Virtualized Real-Time Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.
LibreCat
S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.
2012 | Conference Paper | LibreCat-ID: 26027
Online Model Checking for Dependable Real-time Systems
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–161.
LibreCat
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–161.
2012 | Conference Paper | LibreCat-ID: 26028
Agent-Based Modeling and Simulation of Artificial Immune Systems
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.
LibreCat
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.
2012 | Conference Paper | LibreCat-ID: 26029
Self-Coordination as Fundamental Concept for Cyber Physical Systems
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.
LibreCat
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.
2012 | Conference Paper | LibreCat-ID: 26030
Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks
E. Mathews, in: Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.
LibreCat
E. Mathews, in: Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.
2012 | Conference Paper | LibreCat-ID: 26031
Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26032
Efficient Alignment of Aerial Images Based on Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.
2012 | Conference Paper | LibreCat-ID: 26034
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.
2012 | Conference Paper | LibreCat-ID: 26035
Dynamic Resource Management for Virtualized Mixed-Criticality Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
2012 | Conference Paper | LibreCat-ID: 26036
A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
2012 | Journal Article | LibreCat-ID: 26037
A model-driven engineering framework for embedded systems design
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
LibreCat
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
2012 | Conference Paper | LibreCat-ID: 26079
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26080
XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26081
Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
2012 | Conference Paper | LibreCat-ID: 26086
Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
LibreCat
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
2012 | Conference Paper | LibreCat-ID: 26089
Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
2012 | Conference Paper | LibreCat-ID: 26090
A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
LibreCat
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
2012 | Journal Article | LibreCat-ID: 26091
Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
2012 | Conference Paper | LibreCat-ID: 26092
Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
2012 | Book Chapter | LibreCat-ID: 26093
Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
2012 | Book Chapter | LibreCat-ID: 26094
Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
2012 | Book Chapter | LibreCat-ID: 26102
Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
2012 | Conference Paper | LibreCat-ID: 26181
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
2012 | Conference Paper | LibreCat-ID: 26190
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 26212
Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
LibreCat
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
2012 | Conference Paper | LibreCat-ID: 26264
Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
2012 | Conference Paper | LibreCat-ID: 3812
Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
2012 | Conference Paper | LibreCat-ID: 2982
StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
LibreCat
| DOI
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
2012 | Journal Article | LibreCat-ID: 2984
Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat
| DOI
J. Blömer, Informatik-Spektrum 35 (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3133
On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
2012 | Conference Paper | LibreCat-ID: 3134
Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, 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
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, 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
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
2012 | Conference Paper | LibreCat-ID: 3136
Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, 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
D. Hofheinz, T. Jager, E. Knapp, 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.
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 27177
User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.