Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Framing eParticipation

    Rose, J., 2006, Understanding eParticipation: Workshop. Macintosh, A. (red.). s. 3-6 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • FrameBase: Representing N-ary Relations using Semantic Frames

    Rouces, J., de Melo, G. & Hose, K., 31 maj 2015, The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (red.). Springer, s. 505-521 (Lecture Notes in Computer Science; Nr. 9088).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    41 Citationer (Scopus)

  • Four Integration Patterns: IS development as stepwise adaptation of technology and organisation

    Bygstad, B., Munkvold, B-E. & Nielsen, P. A., 2005, ECIS 2005: Proceedings of the 13th European Conference on Information Systems, Information Systems in a Rapidly Changing Economy, Regensburg, Germany, May 26-28.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Four Factors Informing Design Judgement at a Hackathon

    Olesen, J. F., Hansen, N. B. & Halskov, K., dec. 2018, Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 473-483 11 s. (OzCHI '18).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 Citationer (Scopus)

  • Foundations of Music Warehouses for Discovering New Songs “I like”

    Deliege, F., 2007, Proceedings of the 33rd International Conference on Very Large Data Bases. Association for Computing Machinery, 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    181 Downloads (Pure)

  • Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

    Havelund, K., Larsen, K. G. & Skou, A., 1999, Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. Katoen,J.-P. (ed.) (red.). 1601 udg. IEEE Computer Society Press, s. 277-298

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    32 Citationer (Scopus)

  • Formal validation of supervisory energy management systems for microgrids

    Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., okt. 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, s. 1154-1159 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal

    Havelund, K., Larsen, K. G. & Skou, A., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, s. 2-13

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Science+Business Media, s. 393-405 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13703 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Formal Methods for Modelling and Analysis of Single-Event Upsets

    Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, s. 287-294

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Formal Analysis of Privacy for Vehicular Mix-Zones

    Dahl, M., Delaune, S. & Steel, G., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    29 Citationer (Scopus)

  • Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

    Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M. & Olsen, P., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (red.). Springer, s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    35 Citationer (Scopus)

  • Foreword

    Jensen, C. S., Lu, H., Pedersen, T. B., Thomsen, C. & Torp, K., 2014, Proceeedings of the 26th International Conference on Scientific and Statistical Database Management. Association for Computing Machinery, 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • FOGS: First-Order Gradient Supervision with Learning-based Graph for Traffic Flow Forecasting

    Rao, X., Wang, H., Zhang, L., Li, J., Shang, S. & Han, P., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (red.). International Joint Conferences on Artificial Intelligence, s. 3926-3932 7 s. (IJCAI International Joint Conference on Artificial Intelligence).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    22 Citationer (Scopus)

  • FoGBAT: Combining bluetooth and GPS data for better traffic analytics

    Borresen, J. L., Jensen, C. S. & Torp, K., 20 jul. 2016, Proceedings - 2016 IEEE 17th International Conference on Mobile Data Management, IEEE MDM 2016. IEEE Computer Society Press, s. 325-328 4 s. 7517812

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Focus, Structure, Reflection! Integrating User-Centred Design and Design Sprint

    Roto, V., Larusdottir, M., Lucero, A., Stage, J. & Šmorgun, I., 2021, Human-Computer Interaction – INTERACT 2021: 18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part II. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (red.). Springer, Bind 2. s. 239-258 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12933 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Flying LEGO Bricks: Observations of Children Constructing and Playing with Programmable Matter

    Rubens, C., Braley, S., Torpegaard, J., Lind, N., Vertegaal, R. & Merritt, T. R., feb. 2020, TEI '20: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, s. 193-205 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)

  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Fluid Information Systems

    Probst, C. W. & Hansen, R. R., 2009, Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery, 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • FlowPredictor: Continuous Queries on Actual and Predicted Object Flow in Symbolic Space

    Christensen, K. F., Christiansen, L. L., Pedersen, T. B. & Pihl, J., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, s. 344-346 (I E E E International Conference on Mobile Data Management. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Floating car data for traffic monitoring

    Torp, K. & Lahrmann, H. S., 2005, ITS at the Crossroads of European Transport: Proceedings. ERTICO - ITS Europe, 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3337 Downloads (Pure)

  • Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

    Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    2 Citationer (Scopus)
    610 Downloads (Pure)

  • Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

    Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 jun. 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, s. 170-180 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    14 Citationer (Scopus)
    113 Downloads (Pure)

  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 okt. 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery, s. 29-38 10 s. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil

  • Finite equational bases in process algebra: Results and open questions

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity. s. 338-367

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    38 Citationer (Scopus)

  • Finding Traffic-Aware Fastest Paths in Spatial Networks

    Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, Advances in Spatial and Temporal Databases: 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings. Nascimento, M. A., Sellis, T., Cheng, R., Sander, J., Zheng, Y., Kriegel, H-P., Renz, M. & Sengstock, C. (red.). Springer Publishing Company, Bind 8098. s. 128-145 (Lecture Notes in Computer Science, Bind 8098).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    33 Citationer (Scopus)

  • Finding Top-k Shortest Paths with Diversity

    Liu, H., Jin, C., Yang, B. & Zhou, A., 2018, 2018 IEEE 34th International Conference on Data Engineering (ICDE) . IEEE, s. 1761-1762 2 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Finding top-k optimal sequenced routes

    Liu, H., Jin, C., Yang, B. & Zhou, A., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 569-580 12 s. 8509279. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    38 Citationer (Scopus)

  • Finding Question-Answer Pairs from Online Forums

    Cong, G., Wang, L., Lin, C-Y., Song, Y-I. & Sun, Y., 2008, Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval. Myaeng, S-H., Oard, D. W., Sebastiani, F., Chua, T-S. & Leong, M-K. (red.). Association for Computing Machinery, Bind 31. s. 467-474 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    191 Citationer (Scopus)

  • Finding non-dominated paths in uncertain road networks

    Aljubayrin, S., Yang, B., Jensen, C. S. & Zhang, R., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Association for Computing Machinery, 10 s. 15

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • Finding Influential Local Users with Similar Interest from Geo-tagged Social Media Data

    Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 82-91 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Finding Geo-Social Cohorts in Location-Based Social Networks

    Saleem, M. A., Calders, T., Pedersen, T. B. & Karras, P., 2021, Web and Big Data: 5th International Joint Conference, APWeb-WAIM 2021, Guangzhou, China, August 23–25, 2021, Proceedings, Part II. U, L. H., Spaniol, M., Sakurai, Y. & Chen, J. (red.). Springer, s. 368-383 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12859 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Finding Frequently Visited Indoor POIs Using Symbolic Indoor Tracking Data

    Lu, H., Guo, C., Yang, B. & Jensen, C. S., 2016, Proceedings of the 19th International Conference on Extending Database Technology (EDBT). OpenProceedings.org, s. 449-460 12 s. (Advances in Database Technology).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    20 Citationer (Scopus)

  • Finding Error Handling Bugs in OpenSSL using Coccinelle

    Lawall, J., Laurie, B., Hansen, R. R., Palix, N. & Muller, G., 2010, Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, s. 191-196

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    36 Citationer (Scopus)

  • Finding dense locations in indoor tracking data

    Ahmed, T., Pedersen, T. B. & Lu, H., jul. 2014, Proceedings of the 15th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, s. 189-194 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    579 Downloads (Pure)

  • Finding a Forest in a Tree: the matching problem for wide reactive systems

    Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (red.). Springer Publishing Company, Bind 8902. s. 17-33 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Financial Data Analysis with PGMs Using AMIDST

    Cabanas, R., Martinez, A. M., Masegosa, A. R., Ramos-Lopez, D., Sameron, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 30 jan. 2017, Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016. IEEE, s. 1284-1287 4 s. 7836816

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • F-formations in cooking together: A digital ethnography using YouTube

    Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (red.). Springer Publishing Company, Bind 8120. s. 37-54 (Lecture Notes in Computer Science, Bind 8120).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    16 Citationer (Scopus)
    417 Downloads (Pure)

  • FeetBack: Providing Haptic Directional Cues Through a Shape-changing Floor

    Hansen, K. L., Jensen, U. S., Johansson, S. P., Papachristos, E., Skov, M. B., Vertegaal, R. & Merritt, T., 8 okt. 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, s. 1-10 39. (ACM International Conference Proceeding Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Feedback from Usability Evaluation to User Interface Design: Are Usability Reports Any Good?

    Nielsen, C. M., Overgaard, M., Pedersen, M. B. & Stage, J., 2005, Proceedings of Human-Computer Interaction - INTERACT 2005: IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Costabile, M. F. & Paternò, F. (red.). IEEE Computer Society Press, s. 391-404 (Lecture Notes in Computer Science; Nr. 3585).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Federated SPARQL queries processing with replicated fragments

    Montoya, G., Skaf-Molli, H., Molli, P. & Vidal, M. E., 1 jan. 2015, The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings. d’Aquin, M., Thirunarayan, K., Srinivas, K., Groth, P., Arenas, M., Corcho, O., Strohmaier, M., Heflin, J., Simperl, E., Staab, S. & Dumontier, M. (red.). Springer, s. 36-51 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9366).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • Featuring Multiple Local Optima to Assist the User in the Interpretation of Induced Bayesian Network Models.

    Dalgaard, J., Pena, J. & Kocka, T., 2004, Proceedings of Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004). s. 1683-1690

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    Åben adgang
    Fil
    177 Downloads (Pure)

  • Feature Discovery with Type Extension Trees

    Frasconi, P., Jaeger, M. & Passerini, A., 2008, Proceedings of the 18th international conference on Inductive Logic Programming. Springer, s. 122-139 (Lecture Notes in Computer Science; Nr. 5194).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Fear Inducing Play in an AR Escape Room with Human and Robotic NPCs

    Madsen, P., Pohl, H. & Merritt, T., 2 nov. 2022, CHI PLAY '22: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, s. 38-43 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • FDA-HeatFlex: Scalable Privacy-Preserving Temperature and Flexibility Prediction for Heat Pumps using Federated Domain Adaptation

    Khanal, S., Ho, N. & Pedersen, T. B., 20 jun. 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 172-183 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • FB-Tree: A B+-Tree for Flash-Based SSDs

    Jørgensen, M. V., Rasmussen, R. B., Saltenis, S. & Schjønning, C., 2011, Proceedings of the 15th Symposium on International Database Engineering & Applications. Association for Computing Machinery, s. 34-42 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • FBR: Dynamic Memory-Aware Fast Rerouting

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Schmid, S., Srba, J. & Tollund, R. G., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). IEEE, s. 55-60

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE, s. 177-182 6 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Faster Stackelberg Planning via Symbolic Search and Information Sharing

    Torralba, A., Speicher, P., Künnemann, R., Steinmetz, M. & Hoffmann, J., 18 maj 2021, Proceedings of the AAAI Conference on Artificial Intelligence. 13 udg. Palo Alto: AAAI Press, Bind 35. s. 11998-12006

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Faster Pushdown Reachability Analysis with Applications in Network Verification

    Jensen, P. G., Schmid, S., Schou, M. K., Srba, J., Vanerio, J. & Duijn, I. V., 2021, Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings. Hou, Z. & Ganesh, V. (red.). Springer, s. 170-186 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12971 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)