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.
10483 Publications
2016 | Journal Article | LibreCat-ID: 56973
Didaktisch orientierte Rekonstruktion von Mathematik als Basis von Schulmathematik und Lehrerbildung – Editorial
R. Biehler, W. Blum, Journal für Mathematik-Didaktik 37 (2016) 1–4.
LibreCat
| DOI
| Download (ext.)
R. Biehler, W. Blum, Journal für Mathematik-Didaktik 37 (2016) 1–4.
2016 | Journal Article | LibreCat-ID: 56977
Didaktisch orientierte Beweiskonzepte – Eine Analyse zur mathematikdidaktischen Ideenentwicklung
R. Biehler, L. Kempen, Journal für Mathematik-Didaktik 37 (2016) 141–179.
LibreCat
| DOI
| Download (ext.)
R. Biehler, L. Kempen, Journal für Mathematik-Didaktik 37 (2016) 141–179.
2016 | Journal Article | LibreCat-ID: 56974
Stochastische Simulationen mit TinkerPlots–Von einfachen Zufallsexperimenten zum informellen Hypothesentesten
R. Biehler, D. Frischemeier, S. Podworny, Stochastik in der Schule 36 (2016) 22–27.
LibreCat
R. Biehler, D. Frischemeier, S. Podworny, Stochastik in der Schule 36 (2016) 22–27.
2016 | Conference Paper | LibreCat-ID: 56972
Professional development for teaching probability and inference statistics with digital tools at upper secondary level
R. Biehler, in: 2016.
LibreCat
| Download (ext.)
R. Biehler, in: 2016.
2016 | Journal Article | LibreCat-ID: 56976
Research in University Mathematics Education. The khdm
R. Biehler, R. Hochmuth, H.-G. Rück, R. Göller, A. Hoppenbrock, M. Liebendörfer, J. Püschl, EMS Newsletters December 2016 (2016) 49–50.
LibreCat
R. Biehler, R. Hochmuth, H.-G. Rück, R. Göller, A. Hoppenbrock, M. Liebendörfer, J. Püschl, EMS Newsletters December 2016 (2016) 49–50.
2016 | Journal Article | LibreCat-ID: 56971
Randomisierungstests mit TinkerPlots
R. Biehler, D. Frischemeier, Stochastik in der Schule 36 (2016) 9–15.
LibreCat
R. Biehler, D. Frischemeier, Stochastik in der Schule 36 (2016) 9–15.
2016 | Book Chapter | LibreCat-ID: 57009
Wirkung und Gelingensbedingungen von Unterstützungsmaßnahmen für mathematikbezogenes Lernen in der Studieneingangsphase
C. Colberg, R. Biehler, R. Hochmuth, N. Schaper, M. Liebendörfer, M. Schürmann, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 213–216.
LibreCat
| Download (ext.)
C. Colberg, R. Biehler, R. Hochmuth, N. Schaper, M. Liebendörfer, M. Schürmann, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 213–216.
2016 | Book Chapter | LibreCat-ID: 57008
Der Studikurs Mathematik NRW – Ein neuer Online-Mathematikvorkurs – Gestaltungsprinzipien am Beispiel linearer Gleichungssysteme
A. Börsch, R. Biehler, T. Mai, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 177–180.
LibreCat
| Download (ext.)
A. Börsch, R. Biehler, T. Mai, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 177–180.
2016 | Book Chapter | LibreCat-ID: 57010
Verbundprojekt WiGeMath: Wirkung und Gelingensbedingungen von Unterstützungsmaßnahmen für mathematikbezogenes Lernen in der Studieneingangsphase
R. Biehler, R. Hochmuth, N. Schaper, C. Kuklinski, E. Lankeit, E. Leis, M. Liebendörfer, M. Schürmann, in: A. Hanft, F. Bischoff, B. Prang (Eds.), Working Paper Studieneingangsphase - Perspektiven Aus Der Begelitforschung Zum Qualitätspakt Lehre, Carl-von-Ossietzky Universität, Oldenburg, 2016, pp. 19–23.
LibreCat
R. Biehler, R. Hochmuth, N. Schaper, C. Kuklinski, E. Lankeit, E. Leis, M. Liebendörfer, M. Schürmann, in: A. Hanft, F. Bischoff, B. Prang (Eds.), Working Paper Studieneingangsphase - Perspektiven Aus Der Begelitforschung Zum Qualitätspakt Lehre, Carl-von-Ossietzky Universität, Oldenburg, 2016, pp. 19–23.
2016 | Conference Paper | LibreCat-ID: 57012
Statistics education and monitoring progress towards civil rights
J. Engel, A. Schiller, D. Frischemeier, R. Biehler, in: Promoting Understanding of Statistics about Society. Proceedings of the Roundtable Conference of the International Association of Statistics Education (IASE), July 2016, Berlin, Germany, 2016.
LibreCat
| Download (ext.)
J. Engel, A. Schiller, D. Frischemeier, R. Biehler, in: Promoting Understanding of Statistics about Society. Proceedings of the Roundtable Conference of the International Association of Statistics Education (IASE), July 2016, Berlin, Germany, 2016.
2016 | Book Chapter | LibreCat-ID: 57017
Über die Rolle des Studikurses Mathematik in der Studifinder-Plattform und seine didaktischen Konzepte
T. Mai, R. Biehler, A. Börsch, C. Colberg, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge Zum Mathematikunterricht 2016, Band 2, WTM-Verlag, Münster, 2016, pp. 645–648.
LibreCat
T. Mai, R. Biehler, A. Börsch, C. Colberg, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge Zum Mathematikunterricht 2016, Band 2, WTM-Verlag, Münster, 2016, pp. 645–648.
2016 | Book (Editor) | LibreCat-ID: 57016
Lehren und Lernen von Mathematik in der Studieneingangsphase - Herausforderungen und Lösungsansätze
A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück, eds., Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016.
LibreCat
| Download (ext.)
A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück, eds., Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016.
2016 | Book Chapter | LibreCat-ID: 57018
Wie geben Tutoren Feedback? Anforderungen an studentische Korrekturen und Weiterbildungs-maßnahmen im LIMA-Projekt
J. Püschl, R. Biehler, R. Hochmuth, S. Schreiber, in: A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016, pp. 387–404.
LibreCat
| Download (ext.)
J. Püschl, R. Biehler, R. Hochmuth, S. Schreiber, in: A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016, pp. 387–404.
2016 | Book (Editor) | LibreCat-ID: 57019
Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium - khdm-Report Nr. 04-16
P. Wolf, R. Biehler, eds., Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium - Khdm-Report Nr. 04-16, Universität Kassel, Kassel, 2016.
LibreCat
| Download (ext.)
P. Wolf, R. Biehler, eds., Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium - Khdm-Report Nr. 04-16, Universität Kassel, Kassel, 2016.
2016 | Journal Article | LibreCat-ID: 57226
Tangential Gap Flow (TGF) navigation: A new reactive obstacle avoidance approach for highly cluttered environments
M. Mujahed, D. Fischer, B. Mertsching, Robotics and Autonomous Systems 84 (2016) 15–30.
LibreCat
| DOI
M. Mujahed, D. Fischer, B. Mertsching, Robotics and Autonomous Systems 84 (2016) 15–30.
2016 | Conference Paper | LibreCat-ID: 57227
Smooth reactive collision avoidance in difficult environments
M. Mujahed, D. Fischer, B. Mertsching, in: 2015 IEEE International Conference on Robotics and Biomimetics (ROBIO), IEEE, 2016.
LibreCat
| DOI
M. Mujahed, D. Fischer, B. Mertsching, in: 2015 IEEE International Conference on Robotics and Biomimetics (ROBIO), IEEE, 2016.
2016 | Journal Article | LibreCat-ID: 59690
Frequency tuning of polarization oscillations: Toward high-speed spin-lasers
M. Lindemann, T. Pusch, R. Michalzik, N.C. Gerhardt, M.R. Hofmann, Applied Physics Letters 108 (2016).
LibreCat
| DOI
M. Lindemann, T. Pusch, R. Michalzik, N.C. Gerhardt, M.R. Hofmann, Applied Physics Letters 108 (2016).
2016 | Journal Article | LibreCat-ID: 1454
Simulations of high harmonic generation from plasmonic nanoparticles in the terahertz region
Y. Grynko, T. Zentgraf, T. Meier, J. Förstner, Applied Physics B 122 (2016) 242.
LibreCat
| Files available
| DOI
Y. Grynko, T. Zentgraf, T. Meier, J. Förstner, Applied Physics B 122 (2016) 242.
2016 | Conference Paper | LibreCat-ID: 58665
Contour Analysis in Biological and Artificial Cognitive Systems
M. Hennig, B. Mertsching, in: Proceedings of the 5th Interdisciplinary Workshop on Cognitive Systems (KogSys 2016), 2016.
LibreCat
| Files available
M. Hennig, B. Mertsching, in: Proceedings of the 5th Interdisciplinary Workshop on Cognitive Systems (KogSys 2016), 2016.
2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat
| Files available
| DOI
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
2015 | Conference Paper | LibreCat-ID: 25082
Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
LibreCat
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
2015 | Conference Paper | LibreCat-ID: 25083
Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
LibreCat
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
2015 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
LibreCat
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
2015 | Journal Article | LibreCat-ID: 25107
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
LibreCat
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
2015 | Journal Article | LibreCat-ID: 25108
Online behavior classification for anomaly detection in self-x real-time systems
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
LibreCat
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
2015 | Journal Article | LibreCat-ID: 25109
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
LibreCat
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
2015 | Journal Article | LibreCat-ID: 25110
A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
LibreCat
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
2015 | Journal Article | LibreCat-ID: 25111
Analysis of long-term swarm performance based on short-term experiments
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
LibreCat
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
2015 | Conference Paper | LibreCat-ID: 252
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
2015 | Conference Paper | LibreCat-ID: 253
Short Group Signatures with Distributed Traceability
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
LibreCat
| Files available
| DOI
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
2015 | Conference Paper | LibreCat-ID: 19959
On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking
M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications 2015), 2015.
LibreCat
| DOI
M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications 2015), 2015.
2015 | Conference Paper | LibreCat-ID: 19960
Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids
H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S. Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P. Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015.
LibreCat
| DOI
H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S. Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P. Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015.
2015 | Journal Article | LibreCat-ID: 19962
Lessons from Speciation Dynamics: How to Generate Selective Pressure Towards Diversity
H. Hamann, Artificial Life (2015) 464–480.
LibreCat
| DOI
H. Hamann, Artificial Life (2015) 464–480.
2015 | Conference Paper | LibreCat-ID: 19966
Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings
M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015.
LibreCat
| DOI
M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015.
2015 | Conference Paper | LibreCat-ID: 19967
Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion
M. Wahby, M. Divband Soorati, S. von Mammen, H. Hamann, in: Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
M. Wahby, M. Divband Soorati, S. von Mammen, H. Hamann, in: Proceedings. 25. Computational Intelligence Workshop, 2015.
2015 | Conference Paper | LibreCat-ID: 19980
The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge
H. Hamann, M. Divband Soorati, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–160.
LibreCat
| DOI
H. Hamann, M. Divband Soorati, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–160.
2015 | Conference Paper | LibreCat-ID: 19988
Evolving Collective Behaviors With Diverse But Predictable Sensor States
H. Hamann, T. Schmickl, P. Zahadat, in: 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174.
LibreCat
| DOI
H. Hamann, T. Schmickl, P. Zahadat, in: 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174.
2015 | Book Chapter | LibreCat-ID: 19989
Probabilistic Modeling of Swarming Systems
H. Hamann, N. Correll, J. Kacprzyk, W. Pedrycz, in: Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–1431.
LibreCat
| DOI
H. Hamann, N. Correll, J. Kacprzyk, W. Pedrycz, in: Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–1431.
2015 | Conference Paper | LibreCat-ID: 19990
Dependability in Swarm Robotics: Error Detection and Correction
H. Ding, H. Hamann, in: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
LibreCat
H. Ding, H. Hamann, in: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
2015 | Conference Paper | LibreCat-ID: 19991
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms
H. Hamann, T. Schmickl, D. Kengyel, P. Zahadat, G. Radspieler, F. Wotawa, in: Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–217.
LibreCat
H. Hamann, T. Schmickl, D. Kengyel, P. Zahadat, G. Radspieler, F. Wotawa, in: Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–217.
2015 | Journal Article | LibreCat-ID: 19992
Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes
G. Valentini, H. Hamann, Swarm Intelligence (2015) 153–176.
LibreCat
| DOI
G. Valentini, H. Hamann, Swarm Intelligence (2015) 153–176.
2015 | Conference Paper | LibreCat-ID: 20005
Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off
M. Dorigo, H. Hamann, G. Valentini, in: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.
LibreCat
M. Dorigo, H. Hamann, G. Valentini, in: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.
2015 | Conference Paper | LibreCat-ID: 20006
Self-organized collective decisions in a robot swarm
M. Dorigo, H. Hamann, G. Valentini, in: AAAI-15 Video Proceedings, 2015.
LibreCat
M. Dorigo, H. Hamann, G. Valentini, in: AAAI-15 Video Proceedings, 2015.
2015 | Conference Paper | LibreCat-ID: 280
Market-Specific Service Compositions: Specification and Matching
S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat
| Files available
| DOI
S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
2015 | Conference Paper | LibreCat-ID: 283
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat
| Files available
| DOI
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.