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.

5848 Publications


2019 | Journal Article | LibreCat-ID: 16216
Editorial
A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16217
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16275
„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9) (2019) 10–21.
LibreCat
 

2019 | Preprint | LibreCat-ID: 16341 | OA
Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels
S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225 (2019).
LibreCat | Download (ext.) | arXiv
 

2019 | Book Chapter | LibreCat-ID: 16361
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode
H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse, K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13873
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 13937 LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13939
Continuous Protocols for Swarm Robotics
P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer, 2019, pp. 317–334.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13942
Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13946
Efficient parallel algorithms for parameterized problems
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, Theoretical Computer Science 786 (2019) 2–12.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13993
Verifying Correctness of Persistent Concurrent Data Structures
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–195.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14025
A feature-based classification of triple graph grammar variants
N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019, ACM, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 14026
Consistency management via a combination of triple graph grammars and linear programming
N. Weidmann, A. Anjorin, E. Leblebici, A. Schürr, in: O. Nierstrasz, J. Gray, B. Oliveira (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering  - SLE 2019, ACM, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 14027
Asymptotic confidence sets for the jump curve in bivariate regression problems
V. Bengs, M. Eulert, H. Holzmann, Journal of Multivariate Analysis (2019) 291–312.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 14028
Adaptive confidence sets for kink estimation
V. Bengs, H. Holzmann, Electronic Journal of Statistics (2019) 1523–1579.
LibreCat | DOI
 

2019 | Patent | LibreCat-ID: 14032
Verteiltes Warenwirtschaftssystem [Distributed Warehouse System]
T. Göllner, J.-H. Schwarz, S. Gottschalk, S. Sauer, (2019).
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 14539
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
LibreCat | DOI
 

2019 | Mastersthesis | LibreCat-ID: 14546
Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers
T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13123
A Genetic Algorithm Framework for Solving Wireless Virtual Network Embedding
H. Afifi, K. Horbach, H. Karl, in: 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (WiMob 2019), Barcelona, Spain, 2019.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed