Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2021

    An exact algorithm for group formation to promote collaborative learning

    Sun, Z. & Chiarandini, M., 12. apr. 2021, LAK 2021 Conference Proceedings - The Impact we Make: The Contributions of Learning Analytics to Learning, 11th International Conference on Learning Analytics and Knowledge. Association for Computing Machinery, s. 546-552

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • An experimental study of external memory algorithms for connected components

    Brodal, G. S., Fagerberg, R., Hammer, D., Meyer, U., Penschuck, M. & Tran, H., 1. jun. 2021, 19th International Symposium on Experimental Algorithms, SEA 2021. Coudert, D. & Natale, E. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 23:1-23:23 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 190).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Anomaly detection in Context-aware Feature Models

    Mauro, J., 9. feb. 2021, Proceedings - VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems. Grunbacher, P. (red.). Association for Computing Machinery, 9 s. 3442405

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Design, Integration and Implementation of an Intelligent and Self-recharging Drone System for Autonomous Power line Inspection

    Iversen, N., Schofield, O. B., Cousin, L., Ayoub, N., Vom Bögel, G. & Ebeid, E., 30. jun. 2021, (Accepteret/In press) 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    72 Downloads (Pure)
  • Formalising a Turing-Complete Choreographic Language in Coq

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 2021, 12th International Conference on Interactive Theorem Proving (ITP 2021). Cohen, L. & Kaliszyk, C. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 193. s. 15:1-15:18 (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    1 Downloads (Pure)
  • Fragile Complexity of Adaptive Algorithms

    Bose, P., Cano, P., Fagerberg, R., Iacono, J., Jacob, R. & Langerman, S., 2021, Algorithms and Complexity - 12th International Conference, CIAC 2021, Proceedings. Calamoneri, T. & Corò, F. (red.). Springer, s. 144-157 (Lecture Notes in Computer Science, Bind 12701).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Inspection Path Planning for Aerial Vehicles via Sampling-based Sequential Optimization

    Shi, L., Mehrooz, G. & Jacobsen, R. H., 15. jun. 2021, 2021 International Conference on Unmanned Aircraft Systems, ICUAS 2021. IEEE, s. 679-687 9476784. (Proceedings of International Conference on Unmanned Aircraft Systems).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    1 Downloads (Pure)
  • Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

    Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F. & Sachweh, S., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damian, F. & Dardha, O. (red.). Springer, Bind 12717. s. 276-284 (Lecture Notes in Computer Science, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Microservice Dynamic Architecture-Level Deployment Orchestration

    Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2021, Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 257-275 (Lecture Notes in Computer Science, Bind 12717). (Programming and Software Engineering, Bind 12717).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Languages: The Choreographic and Multitier Cases

    Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G. & Weisenburger, P., 2021, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Møller, A. & Sridharan, M. (red.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Bind 194. s. 22:1-22:27 (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    1 Downloads (Pure)
  • On the Privacy of Federated Pipelines

    Nasirigerdeh, R., Torkzadehmahani, R., Baumbach, J. & Blumenthal, D. B., 11. jul. 2021, SIGIR 2021 - Proceedings of the 44th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 1975-1979 3462996

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Strong connectivity augmentation is FPT

    Klinkby, K. V., Misra, P. & Saurabh, S., 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA). Marx, D. (red.). Association for Computing Machinery, s. 219-234 16 s. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Wandering and getting lost: The architecture of an app activating local communities on dementia issues

    Andersen, N. S., Chiarandini, M. & Mauro, J., jun. 2021, Proceedings - 2021 IEEE/ACM 3rd International Workshop on Software Engineering for Healthcare, SEH 2021. IEEE, s. 36-43 9470894

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Web Application for Planning, Monitoring, and Controlling Autonomous Inspection Drones

    Mehrooz, G. & Schneider-Kamp, P., 7. jun. 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, 9460136. (2021 10th Mediterranean Conference on Embedded Computing, MECO 2021).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2020

    Allocation priority policies for serverless function-execution scheduling optimisation

    De Palma, G., Giallorenzo, S., Mauro, J. & Zavattaro, G., 2020, Service-Oriented Computing - 18th International Conference, ICSOC 2020, Proceedings. Kafeza, E., Benatallah, B., Martinelli, F., Hacid, H., Bouguettaya, A. & Motahari, H. (red.). Springer, s. 416-430 (Lecture Notes in Computer Science, Bind 12571).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Are Network Attacks Outliers? A Study of Space Representations and Unsupervised Algorithms

    Iglesias, F., Hartl, A., Zseby, T. & Zimek, A., 2020, Machine Learning and Knowledge Discovery in Databases - International Workshops of ECML PKDD 2019, Proceedings. Cellier, P. & Driessens, K. (red.). Springer, s. 159-175 (Communications in Computer and Information Science, Bind 1168 CCIS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • A timeline metaphor for analyzing the relationships between musical instruments and musical pieces

    Kusnick, J., Khulusi, R., Focht, J. & Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Volume 1: GRAPP. Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 240-251 (IVAPP).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    103 Downloads (Pure)
  • Atom Tracking Using Cayley Graphs

    Hellmuth, M., Merkle, D. & Nøjgaard, N., 2020, Proceedings of Bioinformatics Research and Applications: 16th International Symposium, ISBRA 2020. Cai, Z., Mandoiu, I., Narasimhan, G., Skums, P. & Guo, X. (red.). Springer, s. 406-415 (Lecture Notes in Computer Science; Nr. 12304).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Component order connectivity in directed graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., dec. 2020, 15th International Symposium on Parameterized and Exact Computation, IPEC 2020. Cao, Y. & Pilipczuk, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 2. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 180).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Computational Simulations for Cyclizations Catalyzed by Plant Monoterpene Synthases

    da Silva, W. M. C., de Andrade, D. P., Andersen, J. L., Walter, M. E. M. T., Brigido, M., Stadler, P. F. & Flamm, C., 2020, Advances in Bioinformatics and Computational Biology - 13th Brazilian Symposium on Bioinformatics, BSB 2020, Proceedings. Setubal, J. C. & Silva, W. M. (red.). Springer Science+Business Media, s. 247-258 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12558 LNBI).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Computing Embeddings of Directed Bigraphs

    Chiapperini, A., Miculan, M. & Peressotti, M., 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (red.). Springer, s. 38-56 (Lecture Notes in Computer Science, Bind 12150).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Explainable detection of zero day web attacks

    Sejr, J. H., Zimek, A. & Schneider-Kamp, P., jun. 2020, Proceedings - 2020 3rd International Conference on Data Intelligence and Security, ICDIS 2020. IEEE, s. 71-78 9323006

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Generic Context-Aware Group Contributions

    Flamm, C., Hellmuth, M., Merkle, D., Nojgaard, N. & Stadler, P. F., 1. jun. 2020, (E-pub ahead of print) IEEE/ACM Transactions on Computational Biology and Bioinformatics. IEEE, (IEEE/ACM Transactions on Computational Biology and Bioinformatics).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Hypothetical answers to continuous queries over data streams

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, s. 2798-2805 (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Improving semantic similarity of words by retrofitting word vectors in sense level

    Zhang, R., Schneider-Kamp, P. & Zimek, A., 2020, Proceedings of the 12th International Conference on Agents and Artificial Intelligence. Rocha, A., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, s. 108-119 (ICAART 2020 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, Bind 2).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Interpretability and refinement of clustering

    Vazquez, F. I., Zseby, T. & Zimek, A., 2020, Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020. Webb, G., Zhang, Z., Tseng, V. S., Williams, G., Vlachos, M. & Cao, L. (red.). IEEE, s. 21-29

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Lazy product discovery in huge configuration spaces

    Lienhardt, M., Damiani, F., Johnsen, E. B. & Mauro, J., 27. jun. 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. Association for Computing Machinery, s. 1509-1521 3380372

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Matching research publications to the united nations' sustainable development goals by multi-label-learning with hierarchical categories

    Zhang, R., Vignes, M., Steiner, U. & Zimek, A., okt. 2020, Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020. Webb, G., Zhang, Z., Tseng, V. S., Williams, G., Vlachos, M. & Cao, L. (red.). IEEE, s. 516-525 9260025

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • MusiXplora: Visual analysis of a musicological encyclopedia

    Khulusi, R., Kusnick, J., Focht, J. & Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications . Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 76-87 (IVAPP).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    93 Downloads (Pure)
  • Optimal path planning for drone inspections of linear infrastructures

    Mehrooz, G. & Schneider-Kamp, P., 2020, Proceedings of the 6th International Conference on Geographical Information Systems Theory, Applications and Management: GISTAM 2020. Grueau, C., Laurini, R. & Ragia, L. (red.). SCITEPRESS Digital Library, s. 326-336

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    64 Downloads (Pure)
  • Real-time on-board detection of components and faults in an autonomous uav system for power line inspection

    Ayoub, N. & Schneider-Kamp, P., 2020, Proceedings of the 1st International Conference on Deep Learning Theory and Applications: DeLTA 2020. Fred, A. & Madani, K. (red.). SCITEPRESS Digital Library, Bind 1. s. 68-75

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Simulating population protocols in sub-constant time per interaction

    Berenbrink, P., Hammer, D., Kaaser, D., Meyer, U., Penschuck, M. & Tran, H., 1. aug. 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22 s. 16. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 173).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    7 Downloads (Pure)
  • SMT-based variability analyses in FeatureIDE

    Sprey, J., Sunderman, C., Krieter, S., Nieke, M., Mauro, J., Thum, T. & Schaefer, I., feb. 2020, Proceedings - VaMoS 2020: 14th International Working Conference on Variability Modelling of Software-Intensive Systems. Cordy, M., Acher, M., Beuche, D. & Saake, G. (red.). Association for Computing Machinery, 9 s. 6

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Teaching on the intersection of visualization and digital humanities

    Jänicke, S., 2020, Proceedings of the 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Kerren, A., Hurter, C. & Braz, J. (red.). SCITEPRESS Digital Library, s. 100-109 (IVAPP, Bind 3).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    99 Downloads (Pure)
  • Towards a formal model for composable container systems

    Burco, F., Miculan, M. & Peressotti, M., 30. mar. 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. Association for Computing Machinery, s. 173-175

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2019

    Complete and Efficient DRAT Proof Checking

    Rebola-Pardo, A. & Cruz-Filipe, L., 7. jan. 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (red.). IEEE, s. 197-205

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Constraint Programming for Flexible Service Function Chaining Deployment

    Liu, T., Callegati, F., Cerroni, W., Contoli, C., Gabbrielli, M. & Giallorenzo, S., 8. jan. 2019, Proceedings of the 52nd Hawaii International Conference on System Sciences. ScholarSpace / AIS Electronic Library (AISeL), s. 2004-2013

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    50 Downloads (Pure)
  • Ephemeral data handling in microservices

    Giallorenzo, S., Montesi, F., Safina, L. & Zingaro, S. P., 2019, Proceedings of the 2019 IEEE International Conference on Services Computing, SCC 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (red.). IEEE, s. 234-236 (IEEE International Conference on Services Computing (SCC), Bind 2019).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    85 Downloads (Pure)
  • Federated Platooning: Insider Threats and Mitigations

    Callegati, F., Giallorenzo, S., Gabbrielli, M., Melis, A. & Prandini, M., 2019, Proceedings of the 52nd Hawaii International Conference on System Sciences. ScholarSpace / AIS Electronic Library (AISeL), s. 1-10 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    51 Downloads (Pure)
  • Graph Transformations, Semigroups, and Isotopic Labeling

    Andersen, J. L., Merkle, D. & Rasmussen, P. S., 2019, Bioinformatics Research and Applications. ISBRA 2019. Cai, Z., Skums, P. & Li, M. (red.). Springer, s. 196-207 (Lecture Notes in Computer Science, Bind 11490).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Linguistic Abstractions for Interoperability of IoT Platforms

    Gabbrielli, M., Giallorenzo, S., Lanese, I. & Zingaro, S. P., 2019, Towards Integrated Web, Mobile, and IoT Technology - Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018. Majchrzak, T. A., Mateos, C., Poggi, F. & Grønli, T-M. (red.). Springer, s. 83-114 32 s. (Lecture Notes in Business Information Processing, Bind 347).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Multiparty Classical Choreographies

    Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A., 1. jan. 2019, Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018. Stuckey, P. J. & Mesnard, F. (red.). Springer VS, s. 59-76 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11408 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • No more, no less: A formal model for serverless computing

    Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (red.). Springer, s. 148-157 (Lecture Notes in Computer Science, Bind 11533).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    36 Downloads (Pure)
  • Online bin covering with advice

    Boyar, J., Favrholdt, L. M., Kamali, S. & Larsen, K. S., 12. jul. 2019, Algorithms and Data Structures: 16th International Symposium, WADS 2019, Proceedings. Friggstad, Z., Sack, J-R. & Salavatipour, M. R. (red.). Springer VS, s. 225-238 (Lecture Notes in Computer Science, Bind 11646).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    15 Downloads (Pure)
  • On optimal balance in B-trees: What does it cost to stay in perfect shape?

    Fagerberg, R., Hammer, D. & Meyer, U., 2019, 30th International Symposium on Algorithms and Computation, ISAAC 2019. Lu, P. & Zhang, G. (red.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. 35. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 149).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    12 Downloads (Pure)
  • Optimal and automated deployment for microservices

    Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I. & Zavattaro, G., 2019, Proceedings of the 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, : Fundamental Approaches to Software Engineering. Hähnle, R. & van der Aalst, W. (red.). Springer VS, s. 351-368 (Lecture Notes in Computer Science, Bind 11424).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    78 Downloads (Pure)
  • Special track on microservices, devops, and service-oriented architecture

    Cruz-Filipe, L., Di Nitto, E. & Mauro, J., 8. apr. 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, s. 1224

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsFormidling

  • Subspace Determination Through Local Intrinsic Dimensional Decomposition

    Becker, R., Hafnaoui, I., Houle, M. E., Li, P. & Zimek, A., 2019, Similarity Search and Applications - 12th International Conference, SISAP 2019, Newark, NJ, USA, October 2-4, 2019, Proceedings. Amato, G., Gennaro, C., Oria, V. & Radovanovic, M. (red.). Springer, s. 281-289 (Lecture Notes in Computer Science, Bind 11807).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    29 Downloads (Pure)
  • System Design of an Open-Source Cloud-Based Framework for Internet of Drones Application

    Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 1. aug. 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). Konofaos, N. & Kitsos, P. (red.). IEEE, s. 572-579

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. apr. 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (red.). Open Publishing Association, Bind 292. s. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 292).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    59 Downloads (Pure)