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.

7272 Publications


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
 

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
 

2015 | Book Chapter | LibreCat-ID: 25408
A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews
F.S. Baeumer, M. Geierhos, S. Schulze, in: Information and Software Technologies: 21th International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings, 1st ed., Springer International Publishing, 2015, pp. 3–15.
LibreCat
 

2015 | Book Chapter | LibreCat-ID: 25413
Filtering Reviews by Random Individual Error
M. Geierhos, Frederik Simon Baeumer, S. Sabine, S. Valentina, in: M. Ali, Y.S. Kwon, C.-H. Lee, J. Kim, Y. Kim (Eds.), Current Approaches in Applied Artificial Intelligence, Lecture Notes in Computer Science, Springer International Publishing Switzerland, Switzerland, 2015, pp. 305–315.
LibreCat
 
 

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
 

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
 

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
 

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
 

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
 

2015 | Dissertation | LibreCat-ID: 28222
Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung
F. Bauer, Planungswerkzeug zur wissensbasierten Produktionssystemkonzipierung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
LibreCat
 

2015 | Misc | LibreCat-ID: 28223
10. Paderborner Workshop Entwurf mechatronischer Systeme
J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler, 10. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
LibreCat
 

2015 | Misc | LibreCat-ID: 28224
Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015
J. Gausemeier, Vorausschau und Technologieplanung. 11. Symposium für Vorausschau und Technologieplanung, Heinz Nixdorf Institut, 29. und 30. Oktober 2015, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015.
LibreCat
 

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
 

2015 | Journal Article | LibreCat-ID: 28304
Planning and Optimisation of Manufacturing Process Chains for Functionally Graded Components – Part 2: Case Study on Self-reinforced Thermoplastic Composites
D. Biermann, J. Gausemeier, H.-P. Heim, S. Hess, M. Petersen, A. Ries, T. Wagner, Production Engineering Research & Development 9(3) (2015) 405–416.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 28312
BUSINESS MODEL PATTERNS FOR DISRUPTIVE TECHNOLOGIES
B. Amshoff, C. Dülme, J. Echterfeld, J. Gausemeier, International Journal of Innovation Management 19(3) (2015).
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 28321
Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen
M. Petersen, G. Rehage, J. Gausemeier, F. Bauer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 189–209.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 28322
Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell
C. Jähn, M. Fischer, M. Gerges, J. Berssenbrügge, in: 12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Band 342, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 107–120.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 28326
Industrie 4.0 – Dezentralisierung bestehender Produktionssysteme durch kostengünstige Einplatinenrechner
M. Petersen, J. Gausemeier, D. Köchling, M. Schneider, M. Wellpott, in: 24. Deutscher Materialfluss-Kongress Mit VDI-Konferenz Shuttle in Der Logistik, VDI-Berichte, Band 2234, VDI-Gesellschaft Produktion und Logistik, VDI Wissensforum, 2015, pp. 249–265.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 285
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-642-32819-0

Search

Filter Publications

Display / Sort

Export / Embed