Find us here
Filter
Book chapter

Search results

  • 2021

    Network Medicine-Based Unbiased Disease Modules for Drug and Diagnostic Target Identification in ROSopathies

    Nogales, C., Grønning, A. G. B., Sadegh, S., Baumbach, J. & Schmidt, H. H. H. W., 2021, Reactive Oxygen Species: Network Pharmacology and Therapeutic Applications. Schmidt, H. H. H. W., Ghezzi, P. & Cuadrado, A. (eds.). Springer, p. 49-68 (Handbook of Experimental Pharmacology, Vol. 264).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2020

    A Formal Approach to Microservice Architecture Deployment

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2020, Microservices: Science and Engineering. Bucchiarone, A., Dragoni, N., Dustdar, S., Lago, P., Mazzara, M., Rivera, V. & Sadovykh, A. (eds.). Cham: Springer Publishing Company, p. 183-208

    Research output: Chapter in Book/Report/Conference proceedingBook chapterCommunication

  • 2019

    Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies

    Gabbrielli, M., Giallorenzo, S., Lanese, I. & Mauro, J., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer VS, p. 118-138 (Lecture Notes in Computer Science, Vol. 11760).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Information Processing in Chemical Systems

    Andersen, J. L., Flamm, C., Merkle, D. & Stadler, P. F., 2019, The Energetics of Computing in Life and Machines. Wolpert, D. H., Kempes, C., Stadler, P. F. & Grochow, J. A. (eds.). SFI Press

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2018

    Basic terminology, notation and results

    Bang-Jensen, J. & Gutin, G., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, 34 p. (Springer Monographs in Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Branching in digraphs with many and few leaves: Structural and algorithmic results

    Bang-Jensen, J. & Gutin, G., Sep 2018, Optimization Problems in Graph Theory: In Honor of Gregory Z. Gutin's 60th Birthday. Goldengorin, B. (ed.). Springer, p. 93-106 (Springer Optimization and Its Applications, Vol. 139).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • DiMmer: Discovery of Differentially Methylated Regions in Epigenome-Wide Association Study (EWAS) Data

    Frisch, T., Møller Gøttcke, J., Röttger, R., Tan, Q. & Baumbach, J., 2018, Data Mining for Systems Biology: Methods and Protocols. Mamitsuka, H. (ed.). Humana Press, p. 51-62 (Methods in Molecular Biology, Vol. 1807).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Locally semicomplete digraphs and generalizations

    Bang-Jensen, J., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, p. 245-296 (Springer Monographs in Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Online interactive microbial classification and geospatial distributional analysis using BioAtlas

    Lund, J., Tan, Q. & Baumbach, J., 2018, Data Mining for Systems Biology: Methods and Protocols. Mamitsuka, H. (ed.). New York: Humana Press, Vol. 1807. p. 21-35 (Methods in Molecular Biology, Vol. 1807).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Relative worst-order analysis: A survey

    Boyar, J., Favrholdt, L. M. & Larsen, K. S., 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). 1. ed. Springer VS, p. 216-230 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11011 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    53 Downloads (Pure)
  • Tournaments and Semicomplete Digraphs

    Bang-Jensen, J. & Havet, F., 2018, Classes of Directed Graphs. Bang-Jensen, J. & Gutin, G. (eds.). Springer, p. 35-124 (Springer Monographs in Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2017

    Microservices: Yesterday, today, and tomorrow

    Dragoni, N., Giallorenzo, S., Lafuente, A. L., Mazzara, M., Montesi, F., Mustafin, R. & Safina, L., 1. Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 195-216

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    File
    253 Downloads (Pure)
  • Microservices: A language-based approach

    Guidi, C., Lanese, I., Mazzara, M. & Montesi, F., Nov 2017, Present and Ulterior Software Engineering. Mazzara, M. & Meyer, B. (eds.). Springer, p. 217-225

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2016

    Cache-Oblivious B-Tree

    Fagerberg, R., 2016, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, 3 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • Choreographies in Practice

    Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Springer, p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Self-reconfiguring microservices

    Gabbrielli, M., Giallorenzo, S., Guidi, C., Mauro, J. & Montesi, F., 2016, Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer, p. 194-210 (Lecture Notes in Computer Science, Vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • 2015

    Design Patterns for Description-logic Programs

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2015, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers. Fred, A., Dietz, J. L. G., Liu, K. & Filipe, J. (eds.). Springer, p. 199-214 (Communications in Computer and Information Science, Vol. 454).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2014

    Compactness-Preserving Mapping on Trees

    Baumbach, J., Guo, J. & Ibragimov, R., 2014, Combinatorial Pattern Matching. Kulikov, A. S., Kuznetsov, S. O. & Pevzner, P. (eds.). Springer, p. 162-171 10 p. (Lecture Notes in Computer Science, Vol. 8486).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Complexity of Dense Bicluster Editing Problems

    Sun, P., Guo, J. & Baumbach, J., 2014, Computing and Combinatorics: 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings. Cai, Z., Zelikovsky, A. & Bourgeois, A. (eds.). Springer, p. 154-165 12 p. (Lecture Notes in Computer Science, Vol. 8591).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Computational methods for the analysis of mitochondrial genome rearrangements

    Bernt, M., Merkle, D., Middendorf, M., Schierwater, B., Schlegel, M. & Stadler, P., 2014, Deep Metazoan Phylogeny: The backbone of the Tree of Life: New insights from analyses of molecules, morphology, and theory of data analysis. Wägele, J. W. & Bartolomaeus, T. (eds.). De Gruyter, p. 515-529

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Continuous Yao Graphs

    Barba, L., Bose, P., Carufel, J-L. D., Damian, M., Fagerberg, R., Renssen, A. V., Taslakian, P. & Verdonschot, S., 2014, Proceedings of the 26th Canadian Conference on Computational Geometry. CCCG, p. 100-106

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
  • Efficient Skyline Computation in MapReduce

    Mullesgaard, K., Pederseny, J. L., Lu, H. & Zhou, Y., 2014, Proc. 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014.. EDBT, p. 37-48 12 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Scheduling Online Repartitioning in OLTP Systems

    Chen, K., Zhou, Y. & Cao, Y., 2014, Proceedings of the Middleware Industry Track. Association for Computing Machinery, p. 4:1-4:6

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Sequence Pattern Matching over Time-Series Data with Temporal Uncertainty

    Zhou, Y., Ma, C., Guo, Q., Shou, L. & Chen, G., 2014, Proceedings of the 17th International Conference on Extending Database Technology (EDBT), Athens, Greece, March 24-28, 2014.. EDBT, p. 205-216

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2013

    Covering tree with stars

    Baumbach, J., Guo, J-Y. & Ibragimov, R., 2013, Computing and Combinatorics: 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings. Du, D-Z. & Zhang, G. (eds.). Springer, p. 373-384 12 p. (Lecture Notes in Computer Science, Vol. 7936).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • GEDEVO: An Evolutionary Graph Edit Distance Algorithm for Biological Network Alignment

    Ibragimov, R., Malek, M., Guo, J. & Baumbach, J., 2013, German Conference on Bioinformatics 2013. Beißbarth, T., Kollmar, M., Leha, A., Morgenstern, B., Schultz, A-K., Waack, S. & Wingender, E. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 34. p. 68-79

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Neighborhood-preserving mapping between trees

    Baumbach, J., Ibragimov, R. & Guo, J-Y., 1. Jan 2013, Algorithms and Data Structures: 13th International Symposium, WADS 2013. Dehne, F., Solis-Oba, R. & Sack, J-R. (eds.). Springer, p. 427-438 12 p. (Lecture Notes in Computer Science, Vol. 8037).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2012

    Competitive routing in the half-theta_6-graph

    Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2012, Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms. p. 1319-1328

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Competitive Routing on a Bounded-Degree Plane Spanner

    Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2012, Proceedings of the 24th Canadian Conference on Computational Geometry. p. 285-290

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • De-amortizing Binary Search Trees

    Bose, P., Collette, S., Fagerberg, R. & Langerman, S., 2012, Automata, Languages, and Programming. p. 121-132 (Lecture Notes in Computer Science, Vol. 7391).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Efficient algorithms for extracting biological key pathways with global constraints

    Baumbach, J., Friedrich, T., Kötzing, T., Müller, J., Pauling, J. & Krohmer, A., 1. Jan 2012, GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation. p. 169-175 7 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • On Plane Constrained Bounded-Degree Spanners

    Bose, P., Fagerberg, R., Renssen, A. V. & Verdonschot, S., 2012, LATIN 2012: Theoretical Informatics: 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Fernández-Baca, D. (ed.). p. 85-96 (Lecture Notes in Computer Science, Vol. 7256).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2011

    Ant Inspired Methods for Organic Computing

    Scheidler, A., Brutschy, A., Diwold, K., Merkle, D. & Middendorf, M., 2011, Organic Computing - A Paradigm Shift for Complex Systems. Müller-Schloer, C., Scmeck, H. & Ungerer, T. (eds.). Springer, p. 95-109

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Introduction

    Bartz-Beilestein, T. (ed.), Chiarandini, M., Paquete, L. & Preuss, M. (ed.), 2011, Experimental Methods for the Analysis of Optimization Algorithms. p. 1-14

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • Separator Theorems for Minor-Free and Shallow Minor-Free Graphs with Applications

    Wulff-Nilsen, C., 2011, 2011 Ieee 52nd Annual Symposium on Foundations of Computer Science. Ostrovsky, R. (ed.). IEEE Computer Society Press, p. 37-46 10 p. (Annual IEEE Symposium on Foundations of Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2010

    Mixed Models for the Analysis of Optimization Algorithms

    Chiarandini, M. & Goegebeur, Y., 2010, Experimental Methods for the Analysis of Optimization Algorithms. Bartz-Beielstein, T., Chiarandini, M., Paquete, L. & Preuss, M. (eds.). Springer, p. 225-264

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2008

    Cache-Oblivious B-Tree

    Fagerberg, R., 2008, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, 3 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • Cache-Oblivious Model

    Fagerberg, R., 2008, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • Large scale neighborhood search: overview and case studies on coloring problems

    Chiarandini, M. & Stützle, T., 2008, Hybrid Metaheuristics - An emergent approach for optimization. Blum, C., Blesa, M., Roli, A. & Sampels, M. (eds.). Springer, (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • Organic Computing and Swarm Intelligence

    Merkle, D., Middendorf, M. & Scheidler, A., 2008, Swarm Intelligence: Introduction and Applications. Blum, C. & Merkle, D. (eds.). Springer, p. 253-281

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • String Sorting

    Fagerberg, R., 2008, Encyclopedia of Algorithms. Kao, M-Y. (ed.). Springer, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • 2007

    Stochastic local search algorithms for the graph colouring problem

    Chiarandini, M., Dumitrescu, I. & Stützle, T., 2007, Handbook of Approximation Algorithms and Metaheuristics. Boca Raton, FL, USA: Chapman /, p. 63-1-63-17 (Computer & Information Science Series).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • 2005

    Cache-Oblivious Data Structures

    Fagerberg, R., Brodal, G. S. & Arge, L., 2005, Handbook of Data Structures and Applications. Mehta, D. P. & Sahni, S. (eds.). Boca Raton, Florida: CRC Press, p. 34-1 - 34-27 27 p. (Chapman & Hall/CRC Computer & Information Science Series).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  • 2003

    On the behavior of ACO algorithms: Studies on simple problems

    Merkle, D. & Middendorf, M., 2003, Metaheuristics: computer decision-making. Springer, Boston, MA, p. 465-480 16 p.

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review