Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Complex Schema Mapping and Linking Data: Beyond Binary Predicates

    Gonzalez, J. R., de Melo, G. & Hose, K., 2016, Proceedings of the Workshop on Linked Data on the Web: co-located with 25th International World Wide Web Conference (WWW 2016). (CEUR Workshop Proceedings, Bind 1593).

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

    Åben adgang

  • Component Based Development - Where is the Place for Formalism?

    Makowski, P. & Ravn, A. P., 2003, Procedings of the Workshop on Formal Aspects of Component Software FACS´03, UNU Int. Institute for Software Technology, Macau, September 2003: UNU/IIST Tech. Rep. ,. Liu, E. . D. V. H. Z. (red.). 284 udg.

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

  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, (Accepteret/In press) ECC. s. 1-8 8 s.

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

  • Compositional Design Methodology with Constraint Markov Chains

    Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., sep. 2010, Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, s. 123-132

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

    32 Citationer (Scopus)

  • Compositionality and Compatibility of Service Contracts

    Okika, J. C. & Ravn, A. P., 2007, NWPT'07/FLACOS'07 Workshop Proceeding. Johansen, E. B., Owe, O. & Schneider, G. (red.). Department of Informatics, University of Oslo, s. 101-103 3 s. (Research Report; Nr. 366).

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

  • Compositional metric reasoning with probabilistic process calculi

    Gebler, D., Larsen, K. G. & Tini, S., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, s. 230-245 16 s. (Lecture Notes in Computer Science, Bind 9034).

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

    18 Citationer (Scopus)

  • Compositional Safety Analysis using Barrier Certificates

    Sloth, C., Pappas, G. J. & Wisniewski, R., 2012, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, s. 15-24 9 s.

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

    62 Citationer (Scopus)

  • Compositional Schedulability Analysis of An Avionics System Using UPPAAL

    Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Bind 1294. s. 140-147 8 s.

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    386 Downloads (Pure)

  • Compositional testing of real-time systems

    Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 jan. 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

    3 Citationer (Scopus)

  • Compressed, Real-Time Voice Activity Detection with Open Source Implementation for Small Devices.

    Andersen, L. R., Jacobsen, L. J. & Campos, D., 21 sep. 2023, iWOAR 2023: 8th International Workshop on Sensor-based Activity Recognition and Artificial Intelligence, Proceedings. Matthies, D. J. C., Grzegorzek, M., Kuijper, A. & Leutheuser, H. (red.). 10 s. 1

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

  • Computational Data Modeling for Network-Constrained Moving Objects

    Jensen, C. S., Speicys, L. & Kligys, A., 2003, Proceedings of the Eleventh International Symposium on Advances in Geographic Information Systems, New Orleans, LA, November 7–8.

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

    68 Citationer (Scopus)

  • Computational neuroscience breakthroughs through innovative data management

    Tauheed, F., Nobari, S., Biveinis, L., Heinis, T. & Ailamaki, A., 5 sep. 2013, Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings. Catania, B., Guerrini, G. & Pokorný, J. (red.). Springer Publishing Company, s. 14-27 14 s. (Lecture Notes in Computer Science, Bind 8133).

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

    2 Citationer (Scopus)

  • Computer aided decision making in mastitis control: development of a causal probabilistic network

    Agger, J. F., Olesen, K. G., Jensen, F. V. & Andersen, S. K., 1990, Proceedings of the 2nd GIL Symposium, 1990, Bonn, Germany.

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

  • Computing Behavioral Distances, Compositionally

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind 8087. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

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

    24 Citationer (Scopus)

  • Computing effects for correspondence types

    Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (red.). s. 75-89

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

    Åben adgang
    Fil
    302 Downloads (Pure)

  • Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

    Bulychev, P. E., David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 20 feb. 2012, Proceedings Second International Workshop on Interactions, Games and Protocols. Reich, J. & Finkbeiner, B. (red.). Tallin, Estonia, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 78).

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

  • Computing Preferred Extensions for Argumentation Systems with Sets of Attacking

    Nielsen, S. H. & Parsons, S., 2006, Proceedings of the First International Conference on Computational Models of Argument. IOS Press, 12 s.

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

    18 Citationer (Scopus)

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    48 Downloads (Pure)

  • Concept for evaluation of techniques for trajectory distance measures

    Peixoto, D. A., Su, H., Hung, N. Q. V., Stantic, B., Zheng, B. & Zhou, X., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 276-277 2 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    1 Citationer (Scopus)

  • Concepts of Multi-artefact Systems in Artifact Ecologies

    Sørensen, H. & Kjeldskov, J., 2014, Proceedings of the Seventh International Conference on Advances in Computer-Human Interactions. IARIA, s. 141-146

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

    Fil
    217 Downloads (Pure)

  • Concepts of multi-artifact systems in artifact ecologies

    Sørensen, H. & Kjeldskov, J., 2014, ACHI 2014 - 7th International Conference on Advances in Computer-Human Interactions. International Academy, Research, and Industry Association (IARIA), s. 141-146 6 s.

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

    6 Citationer (Scopus)

  • Conceptual Modeling of Time-Varying Information

    Gregersen, H. & Jensen, C. S., 2004, Proceedings of the International Conference on Computing, Communications and Control Technologies. s. 248-255

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

  • Conceptual models for spatio-temporal applications

    Tryfona, N., Price, N. J. & Jensen, C. S., 2003, Spatio-Temporal Databases: The Chorochronos Approach. IEEE Computer Society Press, s. 79-116 (Lecture Notes in Computer Science; Nr. 2520).

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

    38 Citationer (Scopus)

  • Concise Caching of Driving Instructions

    Rishede Thomsen, J., Yiu, M. L. & Jensen, C. S., 2014, Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Huang, Y. & Schneider, M. (red.). Association for Computing Machinery, s. 23-32

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

    7 Citationer (Scopus)

  • Configuration Management for eXtreme Programming

    Asklund, U., Bendix, L. G. & Ekman, T., 2003, SERPS'03, 23.-24. oktober 2003, Lund University.

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

  • Conformance Testing in UPPAAL: A diabolic approach

    Njor, E. J., Lorber, F., Schmidt, N. I. & Petersen, S. R., okt. 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. IEEE, s. 35-42 8 s. 9156025

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

  • Connecting children to nature with technology: Sowing the seeds for pro-environmental behaviour

    Cumbo, B. J., Paay, J., Kjeldskov, J. & Jacobs, B. C., 2014, Proceedings of the 13th International Conference on Interaction Design & Children, IDC'14. Association for Computing Machinery, s. 189-192 4 s.

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

    Fil
    16 Citationer (Scopus)
    423 Downloads (Pure)

  • Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home

    Paay, J., Kjeldskov, J. & Skov, M. B., 2015, Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, s. 276-287

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

    Fil
    22 Citationer (Scopus)
    678 Downloads (Pure)

  • Connectivity testing through model-checking

    Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Bind 3235. s. 167-184

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

    2 Citationer (Scopus)

  • Conservative Time Discretization: A Comparative Study

    Forets, M. & Schilling, C., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (red.). Springer, s. 149-167 19 s. (Lecture Notes in Computer Science, Bind 13274).

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

    Åben adgang
    4 Citationer (Scopus)

  • Constraint-based query distribution framework for an integrated global schema

    Malik, A. K., Qadir, M. A., Iftikhar, N. & Usman, M., 2009, Proceedings of the 13th International Multitopic Conference (INMIC). IEEE Press, s. 1-6 6 s.

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

  • Constructing GPSJ View Graphs

    Akinde, M. O. & Böhlen, M., 1999, Proceedings of the International Workshop on Design and Management of Data Warehouses, June 1999. s. 8-12

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

  • Constructing indoor navigation systems from digital building information

    Svendstrup Boysen, M., de Haas, C., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, ICDE 2014. IEEE Press, s. 1194-1197 4 s.

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

    17 Citationer (Scopus)

  • Content Recommendation for Viral Social Influence

    Ivanov, S., Theocharidis, K., Terrovitis, M. & Karras, P., 2017, Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 565-574 10 s.

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

    Åben adgang
    Fil
    12 Citationer (Scopus)
    957 Downloads (Pure)

  • Context-Free Session Types for Applied Pi-Calculus

    Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 aug. 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Bind 276. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    202 Downloads (Pure)

  • Contextual and Informational Aspects of Sound Zone Visualisations

    Johansen, S. S., Jacobsen, R. M., Skov, M. B. & Kjeldskov, J., 6 sep. 2022, Proceedings of the 17th International Audio Mostly Conference: What You Hear is What You See? Perspectives on Modalities in Sound and Music Interaction, AM 2022. Association for Computing Machinery, s. 88-91 4 s.

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

    3 Citationer (Scopus)

  • Continuity in Multi-Device Interaction: An Online Study

    Raptis, D., Kjeldskov, J. & Skov, M., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, NordiCHI 2016. Association for Computing Machinery, 29

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

    Fil
    7 Citationer (Scopus)
    478 Downloads (Pure)

  • Continuity Properties of Distances for Markov Processes

    Jaeger, M., Mao, H., Larsen, K. G. & Mardare, R. I., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Norman, G. & Sanders, W. (red.). Springer, Bind 8657. s. 297-312 (Lecture Notes in Computer Science).

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

    5 Citationer (Scopus)

  • Continuous Improvement of the Configuration Management Process

    Bendix, L. G., 2000, Proceedings of the Conference Views on Software Development in the New Millennium, August 2000. s. 50-55

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

  • Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 12. s. 144-158 15 s.

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

    9 Citationer (Scopus)

  • Continuous Monitoring of Exclusive Closest Pairs

    U, L. H., Mamoulis, N. & Yiu, M. L., 2007, Proceedings of the 10th International Symposium on Spatial and Temporal Databases (SSTD). Springer, s. 1-19 19 s. (Lecture Notes in Computer Science; Nr. 4605).

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

    3 Citationer (Scopus)

  • Continuous Nearest Neighbor Monitoring in Road Networks

    Mouratidis, K., Yiu, M. L., Papadias, D. & Mamoulis, N., 2006, Proceedings of the 32nd International Conference on Very Large Data Bases. Association for Computing Machinery, s. 43-54 12 s.

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

    185 Citationer (Scopus)

  • Continuous Query Processing for 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. 217-226 (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)

  • Continuous Range Queries over Multi-Attribute Trajectories

    Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, s. 1610-1613 4 s. 8731413. (Proceedings of the International Conference on Data Engineering).

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

    6 Citationer (Scopus)

  • Controllable Structure Planning for Energy Internet

    Li, Y., Li, T., Gui, Y., Gao, D. W. & Zhang, Y., 2023, 2022 1st International Conference on Cyber-Energy Systems and Intelligent Energy, ICCSIE 2022. IEEE Signal Processing Society, 6 s. 10175258

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

    1 Citationer (Scopus)

  • Controllers with Minimal Observation Power (Application to Timed Systems)

    Bulychev, P., Cassez, F., David, A., Larsen, K. G., Raskin, J-F. & Reynier, P-A., okt. 2012, Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Springer, Bind 7561. s. 223-237 15 s. (Lecture Notes in Computer Science, Bind 7561).

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

    1 Citationer (Scopus)

  • Controlling Stormwater Detention Ponds under Partial Observability

    Kim, E. H., Nielsen, T. D., Larsen, K. G. & Goorden, M., 2 nov. 2022, NWPT: 33rd Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, s. 1-3 3 s.

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

    Åben adgang
    Fil
    30 Downloads (Pure)

  • Convergence of even simpler robots without position information

    Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Bind 10299 LNCS. s. 69-85 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10299 LNCS).

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

    2 Citationer (Scopus)

  • Converting XML Data to UML Diagrams for Conseptual Data Integration

    Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the First International Workshop on Data Integration Over the Web. s. 17-31

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

  • Convolutional Adversarial Latent Factor Model for Recommender System

    Costa, F. S. D. & Dolog, P., 2019, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019.. Barták, R. & Brawner, K. W. (red.). AAAI Press, s. 419-424 6 s.

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    114 Downloads (Pure)