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.
5685 Publications
2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat
| DOI
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
2011 | Conference Paper | LibreCat-ID: 27626
Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
LibreCat
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27627
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
2011 | Conference Paper | LibreCat-ID: 27629
WasabiBeans - Web Application Services and Business Integration
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
2011 | Conference Paper | LibreCat-ID: 27630
Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
LibreCat
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27631
Koi School - Towards the Next Level of Communication, Organization and Integration in Education
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
2011 | Conference Paper | LibreCat-ID: 27632
Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
2011 | Conference Paper | LibreCat-ID: 27633
Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
2011 | Conference Paper | LibreCat-ID: 27634
KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
2011 | Dissertation | LibreCat-ID: 27635
Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27636
A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
LibreCat
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
2011 | Conference Paper | LibreCat-ID: 27637
Authenticated entries on multi-touch tables
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
LibreCat
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
2011 | Conference Paper | LibreCat-ID: 27638
Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
LibreCat
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
2011 | Conference Paper | LibreCat-ID: 27639
Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
LibreCat
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
2011 | Conference Paper | LibreCat-ID: 20958
Automatic Validation and Correction of Formalized, Textual Requirements
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
LibreCat
| DOI
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
2011 | Conference Paper | LibreCat-ID: 20960
Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR
J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
LibreCat
J. Meyer, J. Holtmann, in: Tagungsband Des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung Eingebetteter Systeme VII, fortiss GmbH, 2011, pp. 21–30.
2011 | Conference Paper | LibreCat-ID: 20975
Interpreting Story Diagrams for the Static Detection of Software Patterns
M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.
LibreCat
M. Fockel, D. Travkin, M. von Detten, in: Proceedings of the 8th International Fujaba Days, University of Tartu, Estonia, 2011.
2011 | Conference Paper | LibreCat-ID: 17420
Approximative occlusion culling using the hull tree
T. Suess, C. Koch, C. Jähn, M. Fischer, in: S. Brooks, P. Irani (Eds.), Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada, Canadian Human-Computer Communications Society, 2011, pp. 79--86.
LibreCat
T. Suess, C. Koch, C. Jähn, M. Fischer, in: S. Brooks, P. Irani (Eds.), Proceedings of the Graphics Interface 2011 Conference, May 25-27, St. John’s, Newfoundland, Canada, Canadian Human-Computer Communications Society, 2011, pp. 79--86.
2011 | Conference Paper | LibreCat-ID: 17421
Simulation aided, knowledge based routing for AGVs in a distribution warehouse
A. Klaas, C. Laroque, W. Dangelmaier, M. Fischer, in: Proceedings of the 2011 Winter Simulation Conference (WSC), 2011.
LibreCat
| DOI
A. Klaas, C. Laroque, W. Dangelmaier, M. Fischer, in: Proceedings of the 2011 Winter Simulation Conference (WSC), 2011.
2011 | Conference Paper | LibreCat-ID: 17450
Ein paralleles Out-of-Core Renderingsystem für Standard-Rechnernetze
T. Suess, C. Jähn, M. Fischer, F. Meyer auf der Heide, C. Koch, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 185--197.
LibreCat
T. Suess, C. Jähn, M. Fischer, F. Meyer auf der Heide, C. Koch, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 185--197.
2011 | Dissertation | LibreCat-ID: 17454
Parallel Real-Time Rendering using Heterogeneous PC Clusters
T. Suess, Parallel Real-Time Rendering Using Heterogeneous PC Clusters, Universität Paderborn, 2011.
LibreCat
| Files available
T. Suess, Parallel Real-Time Rendering Using Heterogeneous PC Clusters, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 1891
Competitive and Fair Medium Access Despite Reactive Jamming
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, IEEE Computer Society, 2011, pp. 507--516.
LibreCat
| DOI
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, IEEE Computer Society, 2011, pp. 507--516.
2011 | Conference Paper | LibreCat-ID: 1892
Towards jamming-resistant and competitive medium access in the SINR model
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 3rd ACM Workshop on Wireless of the Students, by the Students, for the Students, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011, ACM, 2011, pp. 33--36.
LibreCat
| DOI
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 3rd ACM Workshop on Wireless of the Students, by the Students, for the Students, S3@MOBICOM 2011, Las Vegas, NV, USA, September 19 - 23, 2011, ACM, 2011, pp. 33--36.
2011 | Conference Paper | LibreCat-ID: 1893
Self-stabilizing leader election for single-hop wireless networks despite jamming
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011, ACM, 2011, p. 15.
LibreCat
| DOI
A. W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 12th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2011, Paris, France, May 16-20, 2011, ACM, 2011, p. 15.
2011 | Conference Paper | LibreCat-ID: 1895
Re-Chord: a self-stabilizing chord overlay network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-Located with FCRC 2011), 2011, pp. 235--244.
LibreCat
| DOI
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-Located with FCRC 2011), 2011, pp. 235--244.
2011 | Dissertation | LibreCat-ID: 18973
Algorithms for Dynamic Geometric Data Streams
G. Frahling, Algorithms for Dynamic Geometric Data Streams, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
G. Frahling, Algorithms for Dynamic Geometric Data Streams, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 18974
Power-Aware Online File Allocation in Dynamic Networks
J. Mehler, Power-Aware Online File Allocation in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
J. Mehler, Power-Aware Online File Allocation in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 18976
Peer-to-Peer Based Parallel Web Computing
J. Gehweiler, Peer-to-Peer Based Parallel Web Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
J. Gehweiler, Peer-to-Peer Based Parallel Web Computing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 1899
Hashed Patricia Trie: Efficient Longest Prefix Matching in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, in: WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings, Springer, 2011, pp. 170--181.
LibreCat
| DOI
S. Kniesburges, C. Scheideler, in: WALCOM: Algorithms and Computation - 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings, Springer, 2011, pp. 170--181.
2011 | Book Chapter | LibreCat-ID: 1900
Programming for Distributed Computing: From Physical to Logical Networks
C. Scheideler, K. Graffi, in: Computer Science, The Hardware, Software and Heart of It, Springer, 2011, pp. 155--168.
LibreCat
| DOI
C. Scheideler, K. Graffi, in: Computer Science, The Hardware, Software and Heart of It, Springer, 2011, pp. 155--168.
2011 | Book Chapter | LibreCat-ID: 1901
Broadcasting - How Can I Quickly Disseminate Information?
C. Scheideler, in: Algorithms Unplugged, Springer, 2011, pp. 223--229.
LibreCat
| DOI
C. Scheideler, in: Algorithms Unplugged, Springer, 2011, pp. 223--229.
2011 | Book | LibreCat-ID: 1902
Algorithms Unplugged
B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner, Algorithms Unplugged, 2011.
LibreCat
| DOI
B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner, Algorithms Unplugged, 2011.
2011 | Conference Paper | LibreCat-ID: 19026
The car sharing problem
P. Briest, C. Raupach, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
LibreCat
| DOI
P. Briest, C. Raupach, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11, 2011.
2011 | Dissertation | LibreCat-ID: 19040
Verfahren zur redundanten Datenplatzierung in skalierbaren Speichersystemen
S. Effert, Verfahren Zur Redundanten Datenplatzierung in Skalierbaren Speichersystemen, Universität Paderborn, 2011.
LibreCat
| Files available
S. Effert, Verfahren Zur Redundanten Datenplatzierung in Skalierbaren Speichersystemen, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 1924
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, in: 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany, 2011, pp. 129--140.
LibreCat
| DOI
P. Kolman, C. Scheideler, in: 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany, 2011, pp. 129--140.
2011 | Journal Article | LibreCat-ID: 23739
Approximation Techniques for Utilitarian Mechanism Design
P. Briest, P. Krysta, B. Vöcking, SIAM Journal on Computing (2011) 1587–1622.
LibreCat
| DOI
P. Briest, P. Krysta, B. Vöcking, SIAM Journal on Computing (2011) 1587–1622.
2011 | Journal Article | LibreCat-ID: 23740
Buying Cheap Is Expensive: Approximability of Combinatorial Pricing Problems
P. Briest, P. Krysta, SIAM Journal on Computing (2011) 1554–1586.
LibreCat
| DOI
P. Briest, P. Krysta, SIAM Journal on Computing (2011) 1554–1586.
2011 | Book Chapter | LibreCat-ID: 20709
Collisionless Gathering of Robots with an Extent
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F.M. auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: SOFSEM 2011: Theory and Practice of Computer Science, Berlin, Heidelberg, 2011.
LibreCat
| DOI
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F.M. auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: SOFSEM 2011: Theory and Practice of Computer Science, Berlin, Heidelberg, 2011.
2011 | Book Chapter | LibreCat-ID: 20710
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat
| DOI
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
2011 | Conference Paper | LibreCat-ID: 20915
Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen
J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.
LibreCat
J. Meyer, J. Holtmann, M. Meyer, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2011, pp. 203–215.
2011 | Conference Paper | LibreCat-ID: 20916
A Seamless Model-Based Development Process for Automotive Systems
J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.
LibreCat
J. Holtmann, J. Meyer, M. Meyer, in: Software Engineering 2011 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2011, pp. 79–88.