Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • MeteorQuest - Bringing Families Together Through Proxemics Play In A Mobile Social Game

    Rosenqvist, R., Boldsen, J., Papachristou, E. & Merritt, T. R., 2018, CHI PLAY '18 Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play. New York, NY, USA: Association for Computing Machinery, s. 439-450 12 s.

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

    6 Citationer (Scopus)

  • Method Engineering: Who is the Customer?

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of the International Conference on Method Engineering, Atlanta, USA, 1996.

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

  • Method Engineering: Who's the Customer

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of International Conference on Method Engineering, Atlanta, USA, 1996.

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

  • Method Engineering: Who's the Customer

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Method Engineering. Principles of Method Construction and Tool Support. Brinkkemper, S. (ed.) (red.). Chapman & Hall, s. 232-245

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

  • Method Engineering: Who's the Customer?

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1996, Proceedings of the 19th Information Systems Research Seminar in Scandinavia, IRIS 19: Gothenburg Studies in Informatics. Dahlbom, B. et al. (ed.) (red.). Report 8 udg. Departments of Informatics

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

  • Method for Appropriating the Brief Implicit Association Test to Elicit Biases in Users

    Dingler, T., Tag, B., Eccles, D. A., van Berkel, N. & Kostakos, V., 29 apr. 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 243. (Conference on Human Factors in Computing Systems - Proceedings).

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

    4 Citationer (Scopus)

  • Methodologies for Improved Tag Cloud Generation with Clustering

    Leginus, M., Dolog, P., Lage, R. G. & Durao, F., 2012, Proceedings of the 12th international conference on Web Engineering. Springer, s. 61–75 15 s. (Lecture Notes in Computer Science).

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

    6 Citationer (Scopus)

  • Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach

    Pop, P., Tsiopoulos, L., Voss, S., Slotosch, O., Ficek, C., Nyman, U. & Lopez, A. R., 2013, WICERT 2013 Conference Proceedings. 6 s. 3

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

    Åben adgang
    Fil
    566 Downloads (Pure)

  • MIDAS - An Influence Diagram for Management of Mildew in Winther Wheat

    Jensen, A. L. & Jensen, F. V., 1996, Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence. Horvitz, E. : Jensen, F. V. (eds.) (red.). Academic Press, s. 349-356

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

  • MIDI Programming in Scheme: Supported by an Emacs environment

    Bidragets oversatte titel: MIDI Programmering i Scheme: Understøttet af en Emacs omgivelseNørmark, K., 22 jun. 2010, ELW '10 Proceedings of the 7th European Lisp Workshop. Association for Computing Machinery, 12 s.

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

  • Migration = cloning; aliasiing

    Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Proceeding of FOOL6. Springer, Bind 1685. s. 1353-1368 (Lecture Notes in Computer Science; Nr. 1685).

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

  • MindReader: Recommendation over Knowledge Graph Entities with Explicit User Ratings

    Brams, A. H., Jakobsen, A. L., Jendal, T. E., Lissandrini, M., Dolog, P. & Hose, K., 19 okt. 2020, CIKM 2020 - Proceedings of the 29th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2975-2982 8 s.

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

    14 Citationer (Scopus)

  • Mind the Gap! Comparing Retrospective and Concurrent Ratings of Emotion in User Experience Evaluation

    Bruun, A. & Ahm, S., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (red.). Springer, s. 237-254 (Lecture Notes in Computer Science; Nr. 9296).

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

    27 Citationer (Scopus)

  • Minimal DBM substraction

    Larsen, K. G., David, A., Håkansson, J. & Pettersson, P., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala Technical Report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. s. 17-21 5 s.

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

  • Minimalist Documentation of Frameworks

    Østerbye, K., 1999, Object-Oriented Technology : ECOOP '99 Workshop Reader : ECOOP '99 Workshops, Panels and Posters, Lisbon, Portugal, June 14-18, 1999 : Proceedings: Lecture Notes in Computer Science. Moreira, A : Demeyer, S. (eds.) (red.). 1743 udg. IEEE Computer Society Press, s. 172-173

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

  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 s.

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

  • Minimum-Cost Reachability for Priced Timed Automata

    Behrmann, G., Fehnker, A., Hune, T., Larsen, K. G., Pettersson, P., Romijn, J. & Vaandrager, F., 2001, Hybrid Systems: Computation and Control : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 : Proceedings: Lecture Notes in Computer Science. Di Benedetto, M. D. : Sangiovanni-Vincentelli, A. (eds.) (red.). 2034 udg. IEEE Computer Society Press, s. 147-161

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

    241 Citationer (Scopus)

  • Mining and representing recommendations in actively evolving recommender systems

    Assent, I., 2010, International Workshop on Modeling, Managing and Mining of Evolving Social Networks (M3SN), in conjunction with IEEE International Conference on Data Engineering (ICDE 2010), Long Beach, CA, USA. IEEE Press, s. 282-285

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

  • Mining Long, Sharable Patterns in Trajectories of Moving Objects

    Gidofalvi, G. & Pedersen, T. B., 2006, Proceedings of the Third International Workshop on Spatio-Temporal Database Management. CEUR Workshop Proceedings, Bind 1. s. 49-58 10 s.

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

    5 Citationer (Scopus)

  • Mining Risk Factors in RFID Baggage Tracking Data

    Ahmed, T., Calders, T. & Pedersen, T. B., jun. 2015, IEEE 16th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 235-242 8 s.

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    918 Downloads (Pure)

  • Mining Seasonal Temporal Patterns in Time Series

    Ho, V. L., Ho, N. & Pedersen, T. B., 7 apr. 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE Communications Society, s. 2249-2261 13 s. 10184527. (Proceedings of the International Conference on Data Engineering).

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

  • MIRABEL DW: Managing Complex Energy Data in a Smart Grid

    Siksnys, L., Thomsen, C. & Pedersen, T. B., 2012, Data Warehousing and Knowledge Discovery: 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012. Proceedings.. Cuzzocrea, A. & Dayal, U. (red.). Springer, s. 443-457 (Lecture Notes in Computer Science, Bind 7448).

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

    Fil
    15 Citationer (Scopus)
    633 Downloads (Pure)

  • MirrorForge: Rapid Prototyping of Complex Mirrors for Camera and Projector Systems

    Getschmann, C., Mthunzi, E. M. & Echtler, F., 14 feb. 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction. New York, NY, USA: Association for Computing Machinery, s. 1-7 23. (TEI '22).

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

    Åben adgang
    Fil
    102 Downloads (Pure)

  • Misfit or misuse? Lessons from implementation of scrum in radical product innovation

    Hosbond, J. H. & Nielsen, P. A., 2008, Agile Processes in Software Engineering and Extreme Programming. Abrahamsson, P., Baskerville, R., Conboy, K., Fitzgerald, B., Morgan, L. & Wang, X. (red.). Springer, s. 21-31 11 s. (Lecture Notes in Business Information Processing; Nr. 9).

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

    4 Citationer (Scopus)

  • Mobile E-Services and Their Challenges to Data

    Jensen, C. S. & Pedersen, T. B., 2001, Proceedings of the Workshop des Arbeitskreises `Konzepte des Data Warehousing'.

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

  • Mobile Evaluation: What the Metadata and the Data Told us

    Pedell, S., Graham, C., Kjeldskov, J. & Davies, J., 2003, Proceedings of OzCHI 2003. CHISIG

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

    Fil
    107 Downloads (Pure)

  • Mobile Objects: a Project Overview

    Nestmann, U., 1999, Proceedings of FBT '99 : Formale Beschreibungstechniken für Verteilte Systeme, München, Juni 1999. Spies, K. : Schätz, B. (eds.) (red.). Herbert Utz Verlag, s. 155-164

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

  • Mobile Services: Functional Diversity and Overload

    Sørensen, C., Kakihara, M. & Mathiassen, L., 2002, Nyiri, K. (ed.).

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

  • Mobile systems development: Challenges, implications and issues

    Hosbond, J. H., 2005, Mobile Information Systems II . Kogstie, J., Kautz, K. & Allen, D. (red.). Springer, Bind 191. s. 279-286 17 s. (International Federation for Information Processing).

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

  • Mobile systems development: exploring the fit of XP

    Pedersen, O., Kristiansen, M. L., Kammersgaard, M. N. & Hosbond, J. H., 2007, Advances in Information Systems Development: NEW METHODS AND PRACTICE FOR THE NETWORKED SOCIETY. Springer Publishing Company, Bind 1. s. 215-224 10 s.

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

  • Mobile Systems Development: A Literature Review

    Hosbond, J. H. & Nielsen, P. A., 2005, Proceedings IFIP WG 8.2 Conference: Designing Ubiquitos Information Environments. Sørensen, C. & Yoo, Y. (red.). Springer, Bind 185. s. 215-232

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

    11 Citationer (Scopus)

  • MobileWard: A Context-Aware Mobile System Supporting Work in a Hospital Ward

    Høegh, R. T. & Skov, M. B., 2004, Proceedings of the IADIS Applied Computing 2004 Conference. s. 218-223 6 s.

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

  • Modal Logics for Cryptographic Processes

    Frendrup, U., Huttel, H. & Jensen, N. J., 2002, Nestmann, Uwe (ed.) : Panangaden, Prakash (ed.): Electronic notes in theoretical computer science. 68 udg. Pergamon Press

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

    7 Citationer (Scopus)

  • Model-Based Mutation Testing of Real-Time Systems via Model Checking

    Lorber, F., Larsen, K. G. & Nielsen, B., apr. 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 59-68

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

    9 Citationer (Scopus)

  • Model-based schedulability analysis of safety critical hard real-time Java programs

    Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B. & Larsen, K. G., 2008, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 343. s. 106-114

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

    40 Citationer (Scopus)

  • Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

    Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Springer Publishing Company, Bind 8050. s. 67-108 (Lecture Notes in Computer Science, Bind 8050).

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

    4 Citationer (Scopus)

  • Model checking adaptive software with featured transition systems

    Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P. Y., 4 feb. 2013, Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Cámara, J., Lemos, R. D., Ghezzi, C. & Lopes, A. (red.). Springer Publishing Company, s. 1-29 29 s. (Lecture Notes in Computer Science, Bind 7740).

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

    34 Citationer (Scopus)

  • Model checking constrained markov reward models with uncertainties

    Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    47 Downloads (Pure)

  • Model checking embedded and real time systems

    Larsen, K. G., 2008, WODES'08: Proceedings of the 9th International Workshop on Discrete Event Systems. Lennartson, B., Fabian, M., Akesson, K., Giua, A. & Kumar, R. (red.). IEEE, s. 260

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

  • Model checking of finite-state machine-based scenario-aware dataflow using timed automata

    Skelin, M., Wognsen, E. R., Olesen, M. C., Hansen, R. R. & Larsen, K. G., 10 aug. 2015, 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. IEEE, s. 235-244 10 s. 7185065

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

    11 Citationer (Scopus)

  • Model Checking Process Algebra of Communicating Resources for Real-time Systems

    Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, s. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

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

    Åben adgang
    Fil
    466 Downloads (Pure)

  • Model Checking Timed Automata with Priorities using DBM Subtraction

    David, A., Larsen, K. G., Pettersson, P. & Håkansson, J., 2006, Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06). Asarin, E. & Bouyer, P. (red.). Springer, s. 128-142 15 s. (Lecture Notes in Computer Science; Nr. 4202).

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

    22 Citationer (Scopus)

  • Model Checking via Reachability Testing for Timed Automata

    Aceto, L., Burgueño, A. & Larsen, K. G., 1998, Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (red.). 1384 udg. IEEE Computer Society Press, s. 263-280

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

    55 Citationer (Scopus)

  • Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking

    Gamatie, A., Sassatelli, G. & Mikucionis, M., 1 feb. 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. IEEE, s. 980-985 6 s. 9474224. (Proceedings -Design, Automation and Test in Europe, DATE, Bind 2021-February).

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

    Åben adgang
    2 Citationer (Scopus)

  • Modeling and Analyzing Electric Vehicle Charging

    Bidragets oversatte titel: Modellering og analysering af opladning af elektriske bilerAndersen, O., Krogh, B. B., Thomsen, C. & Torp, K., 13 jun. 2016, 17th IEEE International Conference on Mobile Data Management - Porto, Portugal. Bifet, A. & OLIVER, NURIA. (red.). Porto: IEEE Press, Bind 1. s. 302–309 8 s.

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

    6 Citationer (Scopus)

  • Modeling and Managing Energy Flexibility Using FlexOffers

    Pedersen, T. B., Siksnys, L. & Neupane, B., 29 okt. 2018, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids: SmartGridComm 2018. IEEE, s. 1-7 7 s.

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

    Åben adgang
    Fil
    22 Citationer (Scopus)
    309 Downloads (Pure)

  • Modeling and Testing Legacy Data Consistency Requirements

    Nytun, J. P. & Jensen, C. S., 2003, Proceedings of the Sixth International Conference on the Unified Modeling Language, San Francisco, CA, USA, October 20-24.

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

    5 Citationer (Scopus)

  • Modeling and Verifiying Parallel Processes

    Larsen, K. G., 2004, Proceedings of MOVEP 2004. Raskin, J-F. (red.).

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

  • Modeling concept drift: A probabilistic graphical model based approach

    Borchani, H., Martinez, A. M., Masegosa, A. R., Langseth, H., Nielsen, T. D., Salmerón, A., Fernández, A., Madsen, A. L. & Sáez, R., 2015, Advances in Intelligent Data Analysis XIV: 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings. Fromont, E., De Bie, T. & van Leeuwen, M. (red.). Springer, s. 72-83 (Lecture Notes in Computer Science; Nr. 9385).

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

    Fil
    17 Citationer (Scopus)
    730 Downloads (Pure)

  • Modeling Geographic Data-Requirements and Research Issues

    Friis-Christensen, A., Tryfona, N. & Jensen, C. S., 2001, Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, Atlanta, GA, USA, November 9-10, 2001. s. 2-8

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