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.
1767 Publications
2015 | Book Chapter | LibreCat-ID: 3692
Bedingungsfaktoren beruflichen Könnens
C. Harteis, in: A. Rausch, J. Warwas, J. Seifried, E. Wuttke (Eds.), Konzepte Und Ergebnisse Ausgewählter Forschungsfelder Der Beruflichen Bildung, Schneider Hohengehren, Baltmannsweiler, 2015, pp. 157–174.
LibreCat
C. Harteis, in: A. Rausch, J. Warwas, J. Seifried, E. Wuttke (Eds.), Konzepte Und Ergebnisse Ausgewählter Forschungsfelder Der Beruflichen Bildung, Schneider Hohengehren, Baltmannsweiler, 2015, pp. 157–174.
2015 | Conference Paper | LibreCat-ID: 3782
A Shared Task on Argumentation Mining in Newspaper Editorials
J. Kiesel, K. Al-Khatib, M. Hagen, B. Stein, in: Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38.
LibreCat
| DOI
J. Kiesel, K. Al-Khatib, M. Hagen, B. Stein, in: Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38.
2015 | Conference Paper | LibreCat-ID: 3808
A Shared Task on Argumentation Mining in Newspaper Editorials
J. Kiesel, K. Al-Khatib, M. Hagen, B. Stein, in: Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38.
LibreCat
| DOI
J. Kiesel, K. Al-Khatib, M. Hagen, B. Stein, in: Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38.
2015 | Conference Paper | LibreCat-ID: 3815
Sentiment Flow - A General Model of Web Review Argumentation
H. Wachsmuth, J. Kiesel, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015, pp. 601–611.
LibreCat
| DOI
| Download (ext.)
H. Wachsmuth, J. Kiesel, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015, pp. 601–611.
2015 | Journal Article | LibreCat-ID: 3845
Planar prism spectrometer based on adiabatically connected waveguiding slabs
F. Civitci, M. Hammer, H.J.W.M. Hoekstra, Optics Communications 365 (2015) 29–37.
LibreCat
| Files available
| DOI
F. Civitci, M. Hammer, H.J.W.M. Hoekstra, Optics Communications 365 (2015) 29–37.
2015 | Journal Article | LibreCat-ID: 3847
Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence
M. Hammer, A. Hildebrandt, J. Förstner, Journal of Lightwave Technology 34 (2015) 997–1005.
LibreCat
| Files available
| DOI
M. Hammer, A. Hildebrandt, J. Förstner, Journal of Lightwave Technology 34 (2015) 997–1005.
2015 | Book | LibreCat-ID: 3879
Text Analysis Pipelines - Towards Ad-hoc Large-scale Text Mining
H. Wachsmuth, Text Analysis Pipelines - Towards Ad-Hoc Large-Scale Text Mining, 2015.
LibreCat
| DOI
H. Wachsmuth, Text Analysis Pipelines - Towards Ad-Hoc Large-Scale Text Mining, 2015.
2015 | Journal Article | LibreCat-ID: 3892 | 
Unveiling Nanometer Scale Extinction and Scattering Phenomena through Combined Electron Energy Loss Spectroscopy and Cathodoluminescence Measurements
A. Losquin, L.F. Zagonel, V. Myroshnychenko, B. Rodríguez-González, M. Tencé, L. Scarabelli, J. Förstner, L.M. Liz-Marzán, F.J. García de Abajo, O. Stéphan, M. Kociak, Nano Letters 15 (2015) 1229–1237.
LibreCat
| Files available
| DOI
A. Losquin, L.F. Zagonel, V. Myroshnychenko, B. Rodríguez-González, M. Tencé, L. Scarabelli, J. Förstner, L.M. Liz-Marzán, F.J. García de Abajo, O. Stéphan, M. Kociak, Nano Letters 15 (2015) 1229–1237.
2015 | Journal Article | LibreCat-ID: 3894 |
How planar optical waves can be made to climb dielectric steps
M. Hammer, A. Hildebrandt, J. Förstner, Optics Letters 40 (2015) 3711–3714.
LibreCat
| Files available
| DOI
M. Hammer, A. Hildebrandt, J. Förstner, Optics Letters 40 (2015) 3711–3714.
2015 | Journal Article | LibreCat-ID: 3896 |
Subwavelength binary plasmonic solitons
Y. Kou, J. Förstner, Optics Letters 40 (2015) 851–854.
LibreCat
| Files available
| DOI
Y. Kou, J. Förstner, Optics Letters 40 (2015) 851–854.
2015 | Journal Article | LibreCat-ID: 3900 |
Robust Population Inversion by Polarization Selective Pulsed Excitation
D. Mantei, J. Förstner, S. Gordon, Y.A. Leier, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Scientific Reports 5 (2015) 10313.
LibreCat
| Files available
| DOI
D. Mantei, J. Förstner, S. Gordon, Y.A. Leier, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Scientific Reports 5 (2015) 10313.
2015 | Journal Article | LibreCat-ID: 288
How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry
J. Cox, D. Kaimann, Journal of Consumer Behaviour 14 (2015) 366–377.
LibreCat
| Files available
| DOI
J. Cox, D. Kaimann, Journal of Consumer Behaviour 14 (2015) 366–377.
2015 | Conference Paper | LibreCat-ID: 289
How do Different Sources of the Variance of Consumer Ratings Matter?
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, 2015.
LibreCat
| Files available
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, 2015.
2015 | Journal Article | LibreCat-ID: 290
Grammar-based model transformations: Definition, execution, and quality properties
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
LibreCat
| Files available
| DOI
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
2015 | Bachelorsthesis | LibreCat-ID: 291
Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen, Universität Paderborn, 2015.
LibreCat
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 292
Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen
C. Osburg, Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen, Universität Paderborn, 2015.
LibreCat
C. Osburg, Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen, Universität Paderborn, 2015.
2015 | Book Chapter | LibreCat-ID: 2921 |
Tightly-Secure Signatures from Chameleon Hash Functions
O. Blazy, S. Kakvi, E. Kiltz, J. Pan, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2015, pp. 256–279.
LibreCat
| DOI
| Download (ext.)
O. Blazy, S. Kakvi, E. Kiltz, J. Pan, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2015, pp. 256–279.
2015 | Book Chapter | LibreCat-ID: 293
Filtering Reviews by Random Individual Error
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: M. Ali, Y.S. Kwon, C.-H. Lee, J. Kim, Y. Kim (Eds.), Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), Springer, Cham, Switzerland, 2015, pp. 305–315.
LibreCat
| Files available
| DOI
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: M. Ali, Y.S. Kwon, C.-H. Lee, J. Kim, Y. Kim (Eds.), Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), Springer, Cham, Switzerland, 2015, pp. 305–315.
2015 | Bachelorsthesis | LibreCat-ID: 294
Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik
G. Materna, Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik, Universität Paderborn, 2015.
LibreCat
G. Materna, Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik, Universität Paderborn, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 295
Fair Trade - An economic investigation of benefits and drawbacks
P. Goronczewski, Fair Trade - An Economic Investigation of Benefits and Drawbacks, Universität Paderborn, 2015.
LibreCat
P. Goronczewski, Fair Trade - An Economic Investigation of Benefits and Drawbacks, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 297
Evaluation of Pairing Optimization for Embedded Platforms
M. Sosniak, Evaluation of Pairing Optimization for Embedded Platforms, Universität Paderborn, 2015.
LibreCat
M. Sosniak, Evaluation of Pairing Optimization for Embedded Platforms, Universität Paderborn, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 298
Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
LibreCat
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 299
Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie
B. Gerken, Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie, Universität Paderborn, 2015.
LibreCat
B. Gerken, Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie, Universität Paderborn, 2015.
2015 | Book (Editor) | LibreCat-ID: 2992
Ausgewählte Probleme des Logistikmanagements
S. Betz, ed., Ausgewählte Probleme des Logistikmanagements, 2nd ed., Hamburg, 2015.
LibreCat
S. Betz, ed., Ausgewählte Probleme des Logistikmanagements, 2nd ed., Hamburg, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 300
Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets, Universität Paderborn, 2015.
LibreCat
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 301 |
Efficient Verifier-Local Revocation for Anonymous Credentials
J. Bobolz, Efficient Verifier-Local Revocation for Anonymous Credentials, Universität Paderborn, 2015.
LibreCat
| Files available
J. Bobolz, Efficient Verifier-Local Revocation for Anonymous Credentials, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 302
Efficient Attributes for Pairing-Based Anonymous Credentials
C. Stroh, Efficient Attributes for Pairing-Based Anonymous Credentials, Universität Paderborn, 2015.
LibreCat
C. Stroh, Efficient Attributes for Pairing-Based Anonymous Credentials, Universität Paderborn, 2015.
2015 | Dissertation | LibreCat-ID: 304
Dynamics and Efficiency in Topological Self-Stabilization
A. Koutsopoulos, Dynamics and Efficiency in Topological Self-Stabilization, Universität Paderborn, 2015.
LibreCat
| Files available
A. Koutsopoulos, Dynamics and Efficiency in Topological Self-Stabilization, Universität Paderborn, 2015.
2015 | Dissertation | LibreCat-ID: 305
Distributed Data Structures and the Power of topological Self-Stabilization
S. Kniesburges, Distributed Data Structures and the Power of Topological Self-Stabilization, Universität Paderborn, 2015.
LibreCat
| Files available
S. Kniesburges, Distributed Data Structures and the Power of Topological Self-Stabilization, Universität Paderborn, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 306
Diffusion of Innovations in Social Networks
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
LibreCat
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 308
Die Wirksamkeit von Zertifikaten als Qualitätssignal
A. Reimann, Die Wirksamkeit von Zertifikaten als Qualitätssignal, Universität Paderborn, 2015.
LibreCat
A. Reimann, Die Wirksamkeit von Zertifikaten als Qualitätssignal, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 309
Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen
B. Topal, Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen, Universität Paderborn, 2015.
LibreCat
B. Topal, Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen, Universität Paderborn, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 310
Design of an Evaluation Strategy for Fuzzy Service Matching
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität Paderborn, 2015.
LibreCat
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität Paderborn, 2015.
2015 | Mastersthesis | LibreCat-ID: 312
Constructions of Fully Secure Predicate Encryption Schemes
P. Schleiter, Constructions of Fully Secure Predicate Encryption Schemes, Universität Paderborn, 2015.
LibreCat
| Files available
P. Schleiter, Constructions of Fully Secure Predicate Encryption Schemes, Universität Paderborn, 2015.
2015 | Journal Article | LibreCat-ID: 3120
Confined Guessing: New Signatures From Standard Assumptions
F. Böhl, D. Hofheinz, T. Jager, J. Koch, C. Striecks, J. Cryptology (2015) 176--208.
LibreCat
| DOI
F. Böhl, D. Hofheinz, T. Jager, J. Koch, C. Striecks, J. Cryptology (2015) 176--208.
2015 | Conference Paper | LibreCat-ID: 3121
On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption
T. Jager, J. Schwenk, J. Somorovsky, in: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196.
LibreCat
| DOI
T. Jager, J. Schwenk, J. Somorovsky, in: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196.
2015 | Conference Paper | LibreCat-ID: 3122
Practical Invalid Curve Attacks on TLS-ECDH
T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I, 2015, pp. 407--425.
LibreCat
| DOI
T. Jager, J. Schwenk, J. Somorovsky, in: Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I, 2015, pp. 407--425.
2015 | Conference Paper | LibreCat-ID: 3123
On the Selective Opening Security of Practical Public-Key Encryption Schemes
F. Heuer, T. Jager, E. Kiltz, S. Schäge, in: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 27--51.
LibreCat
| DOI
F. Heuer, T. Jager, E. Kiltz, S. Schäge, in: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 27--51.
2015 | Conference Paper | LibreCat-ID: 3124
One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model
F. Bergsma, T. Jager, J. Schwenk, in: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 477--494.
LibreCat
| DOI
F. Bergsma, T. Jager, J. Schwenk, in: Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 477--494.
2015 | Conference Paper | LibreCat-ID: 3125
Verifiable Random Functions from Weaker Assumptions
T. Jager, in: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}, 2015, pp. 121--143.
LibreCat
| DOI
T. Jager, in: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II}, 2015, pp. 121--143.
2015 | Conference Paper | LibreCat-ID: 3126
Tightly-Secure Authenticated Key Exchange
C. Bader, D. Hofheinz, T. Jager, E. Kiltz, Y. Li, in: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658.
LibreCat
| DOI
C. Bader, D. Hofheinz, T. Jager, E. Kiltz, Y. Li, in: Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658.
2015 | Conference Paper | LibreCat-ID: 313
Comprehensive Service Matching with MatchBox
P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
LibreCat
| Files available
| DOI
P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
2015 | Report | LibreCat-ID: 314
Competition and Product Innovation of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly, Universität Paderborn, 2015.
LibreCat
| Files available
S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly, Universität Paderborn, 2015.
2015 | Conference Paper | LibreCat-ID: 315
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, 2015.
LibreCat
| Files available
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
2015 | Bachelorsthesis | LibreCat-ID: 316
Budget Games with priced strategies
J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
LibreCat
J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
2015 | Journal Article | LibreCat-ID: 3162
Temporal plans for software architecture reconfiguration
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
LibreCat
| Files available
| DOI
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
2015 | Conference Paper | LibreCat-ID: 3163
From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog
R. Meyer, H. Wehrheim, in: R. Meyer, A. Platzer, H. Wehrheim (Eds.), Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015, pp. 3--4.
LibreCat
| DOI
R. Meyer, H. Wehrheim, in: R. Meyer, A. Platzer, H. Wehrheim (Eds.), Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015, pp. 3--4.
2015 | Conference Paper | LibreCat-ID: 3164
Verifying Opacity of a Transactional Mutex Lock
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\o}rner, F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, O. Travkin, H. Wehrheim, in: N. Bj{\o}rner, F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015, pp. 161--177.
2015 | Conference Paper | LibreCat-ID: 3165
{TSO} to {SC} via Symbolic Execution
H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
LibreCat
| DOI
H. Wehrheim, O. Travkin, in: N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings, 2015, pp. 104--119.
2015 | Conference (Editor) | LibreCat-ID: 3166
Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings
R. Meyer, A. Platzer, H. Wehrheim, eds., Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.
LibreCat
| DOI
R. Meyer, A. Platzer, H. Wehrheim, eds., Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, 2015.