Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Search results

  • Article in proceeding

    Monte Carlo Tree Search for Priced Timed Automata

    Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    100 Downloads (Pure)

  • Moving from Specifications to Contracts in Component-based Design

    Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Vol. 7212. p. 43-58 15 p. (Lecture Notes in Computer Science, Vol. 7212).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    78 Citations (Scopus)
    578 Downloads (Pure)

  • MPLS-Kit: An MPLS Data Plane Toolkit

    Vanerio, J., Schmid, S., Schou, M. K. & Srba, J., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). Secci, S., Durairajan, R., Linguaglossa, L., Kamiyama, N., Nogueira, M. & Rovedakis, S. (eds.). IEEE, p. 49-54 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

    Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Vol. 8044. p. 968-983 16 p. (Lecture Notes in Computer Science, Vol. 8044).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    25 Citations (Scopus)
    585 Downloads (Pure)

  • Multi-core reachability for timed automata

    Dalsgaard, A. E., Laarman, A., Larsen, K. G., Olesen, M. C. & Van De Pol, J., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Jurdzinski, M. & Nickovic, D. (eds.). Springer Publishing Company, p. 91-106 16 p. (Lecture Notes in Computer Science, Vol. 7595).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    13 Citations (Scopus)

  • Multi-Task Learning for Face Recognition via Mutual Information Minimization

    Qian, W., 2 Nov 2022, 2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, p. 1015-1021 7 p. 10097971. (IEEE International Conference on Tools with Artificial Intelligence (ICTAI)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Mutation-Based Test-Case Generation with Ecdar

    Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 Apr 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, p. 319-328 10 p. 7899077

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    18 Citations (Scopus)
    221 Downloads (Pure)

  • Nash Equilibria in Concurrent Priced Games

    Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Vol. 7183. p. 363-376 (Lecture Notes in Computer Science, Vol. 7183).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    10 Citations (Scopus)

  • Nested Semantics over Finite Trees are Equationally Hard (Invited Talk)

    Aceto, L., 2003, Proceedings of EXPRESS'03: Electronic Notes in Theoretical Computer Science. Corradini, F. & Nestmann, U. (eds.). 96 ed. Pergamon Press, p. 5-6 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • NetCo: Reliable Routing with Unreliable Routers

    Feldmann, A., Heyder, P., Kreutzer, M., Schmid, S., Seifert, J. P., Shulman, H., Thimmaraju, K., Waidner, M. & Sieberg, J., 22 Sept 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 128-135 8 p. 7575362

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)

  • NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

    Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 Aug 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, p. 21-26 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • NetStack: A Game Approach to Synthesizing Consistent Network Updates

    Schmid, S., Schrenk, B. C. & Torralba, A., 2022, 2022 IFIP Networking Conference, IFIP Networking 2022. IEEE, (2022 IFIP Networking Conference, IFIP Networking 2022).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

    Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • New UPPAAl Architecture

    David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2002, Proceedings of the 2nd Workshop on Real-Time Tools (RT-TOOLS 2002), August 1, 2002, Copenhagen, Denmark.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • nfer - A Tool for Event Stream Abstraction

    Kauffman, S., 3 Dec 2021, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings. Calinescu, R. & Pasareanu, C. S. (eds.). Springer, p. 103-109 7 p. (Lecture Notes in Computer Science, Vol. 13085).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Nonfinitely Based Tropical Semirings

    Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Proceedings of the Workshop on Max-Plus Algebra and Their Applications to Discrete-Event Systems : Theoretical Computer Science, and Optimization, August 27-29 2001, Prague, Czech Republic. Gaubert, S. : Loiseau, J. J. (eds.) (ed.). Elsevier, p. 29-34

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Objects, Types and Modal Logics

    Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1997, Proceedings of FOOL4.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (eds.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3821).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    39 Citations (Scopus)

  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer, p. 243-256 (Lecture Notes in Computer Science, Vol. 9888).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Online Testing of Real-time Systems Using Uppaal

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    84 Citations (Scopus)

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 Jul 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316. p. 329-338 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Online Updating of Conditional Linear Gaussian Bayesian Networks

    Madsen, A. L., Olesen, K. G., Jensen, F., Henriksen, P. A., Larsen, T. M. & Møller, J. M., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models: PMLR. Salmeròn, A. & Rumi, R. (eds.). PMLR Press, Vol. 186. p. 97-108 12 p. (The Proceedings of Machine Learning Research, Vol. 186).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    24 Downloads (Pure)

  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, p. 105-119 15 p. (Lecture Notes in Computer Science; No. 4703).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    51 Citations (Scopus)
    486 Downloads (Pure)

  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Vol. 3235.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    34 Citations (Scopus)

  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 35).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, p. 843–862 (Lecture Notes in Computer Science, Vol. 9953).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Vol. 253. p. 39-55 (Electronic Notes in Theoretical Computer Science; No. 253, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (ed.). 1770 ed. IEEE Computer Society Press, p. 267-278

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    172 Downloads (Pure)

  • On Time with Minimal Expected Cost!

    David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    45 Citations (Scopus)

  • On Zone-Based Analysis of Duration Probabilistic Automata

    Maler, O., Larsen, K. G. & Krogh, B., Sept 2010, Proceedings of the 12th International Workshop on Verification of Infinite-State Systems. 15 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Nature Switzerland AG, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13903).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    5 Citations (Scopus)

  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, p. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 9, Vol. 36).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, p. 80-89 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Optimal and robust controller synthesis: Using energy timed automata with uncertainty

    Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • Optimal Conditional Reachability for Multi-Priced Timed Automata

    Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (ed.). IEEE Computer Society Press, p. 234-249 (Lecture Notes in Computer Science; No. 3441).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    33 Citations (Scopus)

  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 160-168 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • Optimal Scheduling and Priced Timed Automata

    Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. p. 93-94 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    35 Citations (Scopus)

  • Optimal Strategies in Priced Timed Game Automata

    Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 ed. Springer, p. 148-160 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    76 Citations (Scopus)

  • Optimizing Control Strategy Using Statistical Model Checking

    David, A., Du, D., Larsen, K. G., Legay, A. & Mikucionis, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Publishing Company, Vol. 7871. p. 352-367 (Lecture Notes in Computer Science, Vol. 7871).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    27 Citations (Scopus)

  • Outsmarting Network Security with SDN Teleportation

    Thimmaraju, K., Schiff, L. & Schmid, S., 28 Jun 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, p. 563-578 16 p. 7962003

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    24 Citations (Scopus)

  • O'zapft is: Tap your network algorithm's big data!

    Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 Aug 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, p. 19-24 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    28 Citations (Scopus)