• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

WNetKAT: A Weighted SDN Programming and Verification Language

Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; Nr. 70).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Workload-Aware Indexing of Continuously Moving Objects

Tzoumas, K., Yiu, M. L. & Jensen, C. S., 2009, Proceedings of the VLDB Endowment. Association for Computing Machinery, s. 1186-1197 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

23 Citationer (Scopus)

Work Practices for Usability Testing of Computerized Systems and Mobile Devices

Kjeldskov, J., Skov, M. & Stage, J., 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium : 27. November 2001, Aarhus Denmark. Bertelsen, O. W. (ed.) (red.). Department of Computer Science, Aarhus University, s. 45-46

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Worst-Case Memory Consumption Analysis for SCJ

Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

6 Citationer (Scopus)

Writing Internal Documentation

Vestdam, T., 2001, Eckstein, Jutta (Hrsg.) : Rüping, Andreas (Hrsg.) : Schwanninger, Christa (Hrsg.). Stollfuß Medien

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

WS10A - Workshop on Social Web and Knowledge Management (SWKM2008)

Dolog, P., Kroetzsch, M., Schaffert, S. & Vrandecic, D., 2008, International World Wide Web Conference: Proceeding of the 17th international conference on World Wide Web. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

WUppaal: A web-service for the Uppaal model-checker

Fogh, P., Cano Hald, T. & Nielsen, B., 11 apr. 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, s. 1-6 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, s. 43-52 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

XML-Extended OLAP Querying

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourteenth International Conference on Scientific and Statistical Database Management. Kennedy, J. (ed.) (red.). IEEE Computer Society Press, s. 195-206

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

42 Citationer (Scopus)

XML transformation in Scheme with LAML - a minimalistic approach

Bidragets oversatte titel: {XML} transformation in {Scheme} with {LAML} - a minimalistic approachNørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

XP in a Small Software Development Business: Adapting to Local Constraints

Bidragets oversatte titel: XP i en lille softwareorganisation: Tilpasning til lokale betingelserBabb, J., Hoda, R. & Nørbjerg, J., aug. 2014, Nordic Contributions in IS Research: 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark August 10-13, Proceedings. Springer Publishing Company, Bind 186. s. 14-29 (Lecture Notes in Business Information Processing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

You can touch, but you can't look: Interactina with in-vehicle systems

Jaeger, M. G., Skov, M. B., Majlund, K. & Thomassen, N. M. Y., 22 dec. 2008, 26th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings, CHI 2008. s. 1139-1148 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

77 Citationer (Scopus)

You Can Touch, but You Can’t Look: Interacting with In-Vehicle Systems

Bach, K. M., Jæger, M. G., Skov, M. B. & Thomassen, N. G., 2008, ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1139-1148

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review