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.

4678 Publications


2018 | Conference (Editor) | LibreCat-ID: 20544
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany
M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, J.-P. Steghöfer, eds., Software Engineering Und Software Management 2018, Fachtagung Des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany, Gesellschaft für Informatik, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 20547
Gamifying Static Analysis
L. Nguyen Quang Do, E. Bodden, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, New York, NY, USA, 2018, pp. 714–718.
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 20550
Self-adaptive Static Analysis
E. Bodden, in: Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, ACM, New York, NY, USA, 2018, pp. 45–48.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 1796
On the runtime of universal coating for programmable matter
J. J. Daymude, Z. Derakhshandeh, R. Gmyr, A. Porter, A. W. Richa, C. Scheideler, T.F. Strothmann, Natural Computing (2018) 81--96.
LibreCat | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 18030
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
N. N., Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 18033
Load-Balanced Routing in Hybriden Kommunikationsnetzwerken
R. Wulfes, Load-Balanced Routing in Hybriden Kommunikationsnetzwerken, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 22755
Applying Open Innovation in the Field of Aircraft MRO - Insights from the LOMIS Project
T. Pieper, J. Echterfeld, C. Koldewey, in: Book of Abstracts of the 16th International Open and User Innovation Conference, 6. - 8. Aug. 2018, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 23000
A Model Predictive Motion Cueing Strategy for a 5-Degree-of-Freedom Driving Simulator with Hybrid Kinematics
P. Biemelt, S. Henning, N. Rüddenklau, S. Gausemeier, A. Trächtler, in: Proceedings of the Driving Simulation Conference Europe VR (DSC), 2018, pp. 79–85.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 5861
Short Digital Signatures and ID-KEMs via Truncation Collision Resistance
T. Jager, R. Kurek, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp. 221–250.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5862
Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH
T. Jager, R. Kurek, J. Pan, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III, 2018, pp. 490–518.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 5984
Preface
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 4411
A Self-Stabilizing Hashed Patricia Trie
T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018.
LibreCat | Files available | DOI | arXiv
 

2018 | Book Chapter | LibreCat-ID: 4500
,Messy Research‘: Methodologische Herausforderungen der Hochschulbildungsforschung
T. Jenert, in: Theorie Und Praxis Der Hochschulbildungsforschung: Theoretische, Methodologische Und Methodische Denkanstöße Für Die Hochschuldidaktik, Springer Verlag, 2018, pp. 149–166.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 4563
Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 4565
Brief Announcement: Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM Press, 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 7570
Brief Announcement: Communication in Systems of Home Based Mobile Agents
F. Meyer auf der Heide, J.S. Schaefer, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18, ACM Press, 2018.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 9933
"A least squares approach for effective shear properties in an n-layered sphere model"
R. Mahnken, P. Lenz, C. Dammann, Archive of Applied Mechanics (2018) 2081–2099.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 9998
Numerical and experimental investigations in ultrasonic heavy wire bonding
R. Schemmel, T. Hemsel, W. Sextro, in: 6th European Conference on Computational Mechanics (ECCM 6), Glasgow, UK, 2018, pp. 1–12.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 4345
Analysing Constructional Change: Linguistic Annotation and Sources of Uncertainty
M.-L. Merten, N. Seemann, in: F.J. García-Peñalvo (Ed.), Proceedings of the 6th International Conference on Technological Ecosystems for Enhancing Multiculturality (TEEM’18), ACM, New York, NY, USA, 2018, pp. 819–825.
LibreCat | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 4351
Self-stabilizing Overlays for high-dimensional Monotonic Searchability
M. Feldmann, C. Kolb, C. Scheideler, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018, pp. 16–31.
LibreCat | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-960-99994-6-5

Search

Filter Publications

Display / Sort

Export / Embed