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.

10458 Publications


2011 | Journal Article | LibreCat-ID: 3183
Schneider, S., Treharne, H., & Wehrheim, H. (2011). Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80. https://doi.org/10.1016/j.entcs.2011.11.019
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. {ACM} Trans. Program. Lang. Syst., (1), 4:1--4:43. https://doi.org/10.1145/1889997.1890001
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). ReL: {A} Generic Refactoring Language for Specification and Execution. In 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. 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 (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 27622
Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multi-touch, tangible and pen-based interaction in incident planning. 263–273.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27623
Keil, R., & Selke, H. (2011). Virtual Learning Spaces for Co-Active Learning. Proc. of Int. Conf. on Improving University Teaching, 191–202.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27624
Paelke, V., Nebe, K., Klompmaker, F., & Jung, H. (2011). Multi-Touch Interaction for Disaster Management.}.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27625
Keil, R. (2011). Hypothesis- guided technology design as the basis of contextual computer science (A. Breiter & M. Wind, Eds.; pp. 165–184). Lit Verlag, M {\" u} nster.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, F., Nebe, Karsten, & Jung, H. (2011). Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker, F., Nebe, Karsten, Busch, C., & Willemsen, Detlev. (2011). User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. Proceedings of the International Conference on Health Informatics.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27628
Laroque, C., & Schulte, J. (2011). KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In M. I. Chinni & D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27629
Schulte, J. (2011). WasabiBeans - Web Application Services and Business Integration. 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 (pp. 348–357).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S., & Niehus, D. (2011). Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27631
Schulte, J., Keil, R., Klaholt, D., & Sauer, J. (2011). Koi School - Towards the Next Level of Communication, Organization and Integration in Education. 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 (pp. 43–52).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27632
Schulte, J., Keil, R., & Oberhoff, A. (2011). Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science (Th. K {\ "o} hler & J. Neumann, Eds.). Waxmann Verlag, M { \ "u} nster.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27633
Schulte, J., Keil, R., Rybka, J., & Ferber, F. (2011). Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. 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 (pp. 407–412).
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 27634
Schulte, J., Rybka, J., Ferber, F., & Keil, R. (2011). KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work ( Th. K {\ "o} hler & J. Neumann, Eds.; pp. 92–101). Waxmann Verlag, M {\ "u} nster.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 27635
Erren, P. (2011). Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed