Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

A Profile for Safety Critical Java

Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, s. 94-101 8 s.

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

27 Citationer (Scopus)

A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 13:1-13:8 8 s. 13. (Open Access Series in Informatics, Bind 70).

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

Åben adgang
Fil
14 Downloads (Pure)

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

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

A Ravenscar-Java profile implementation

Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Bind 177. s. 38-47 10 s.

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

10 Citationer (Scopus)

Architecture and Design in eXtreme Programming; Introducing "Developer Stories"

Jensen, R. N., Møller, T., Sönder, P. & Tjørnehøj, G., 2006, Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings. Abrahamsson, P., Marchesi, M. & Succi, G. (red.). Springer, s. 133-142 9 s. (Lecture Notes in Computer Science; Nr. 4044).

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

7 Citationer (Scopus)

Architecture for large-scale automatic web accessibility evaluation based on the UWEM methodology

Ulltveit-Moe, N., Olsen, M. G., Pillai, A. B., Thomsen, C., Gjøsæter, T. & Snaprud, M., 2008, Norsk informatikkonferanse, NIK 2008. TAPIR Akademisk Forlag, 12 s.

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

Åben adgang
Fil
550 Downloads (Pure)

Architectures and implementations of spatio-temporal database management systems

Breunig, M., Turker, C., Böhlen, M., Dieker, S., Guting, R. H., Jensen, C. S., Relly, L., Rigaux, P., Schek, H. J. & Scholl, M., 2003, Spatio-Temporal Databases: the Chrochronos Approach. Bind 2520. s. 263-318

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

9 Citationer (Scopus)

ARDI: Automatic Generation of RDFS Models from Heterogeneous Data Sources

Nigatu, S. T., Gomez, C., Romero, O., Hose, K. & Rabbani, K., 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC). IEEE Press, s. 190-196 7 s. 8945018. (IEEE International Enterprise Distributed Object Computing Conference (EDOC)).

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

A refinement driven component-based design

Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Yang, L., 2007, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, s. 277-289

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

5 Citationer (Scopus)

A Refinement Logic for the Fork Calculus

Havelund, K. & Larsen, K. G., 1994, International IFIP Symposium on Protocol Specification, Testing and Verification.

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

Are first impressions about websites only related to visual appeal?

Papachristos, E. & Avouris, N., 2011, Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Proceedings. PART 1 udg. s. 489-496 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Nr. PART 1, Bind 6946 LNCS).

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

Åben adgang
14 Citationer (Scopus)

A Relevance-Extended Multi-dimensional Model for a Data Warehouse Contextualized with Documents

Perez, J. M., Pedersen, T. B., Berlanga, R. & Aramburu, M. J., 2005, Proceedings of the ACM Eighth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, 10 s.

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

27 Citationer (Scopus)

A reminder about the importance of computing and exploiting invariants in planning

Alcázar, V. & Torralba, Á., 2015, ICAPS 2015 - Proceedings of the 25th International Conference on Automated Planning and Scheduling. Haslum, P., Domshlak, C., Brafman, R. & Zilberstein, S. (red.). AAAI Press, s. 2-6 5 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 2015-January).

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

29 Citationer (Scopus)

A Representation Theorem and Applications

Jaeger, M., 2003, Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU): Lecture Notes in Artificial Intelligence. 2711 udg. IEEE Computer Society Press, s. 50-61

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

1 Citationer (Scopus)

A Research Framework for Studying the Implementation of Enterprise Resource Planning (ERP) systems

Jensen, P. K. & Møller, C., 2000, Proceedings of the 23rd IRIS Conference - Doing IT together. al., L. S. U. S. E. (red.).

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

A Review of MobileHCI Research Methods

Kjeldskov, J. & Graham, C., 2003, Proceedings of the 5th International Mobile HCI 2003 conference, September 8-11 2003, Udine, Italy: Lecture Notes in Computer Science. Springer

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

Fil
171 Citationer (Scopus)
1323 Downloads (Pure)

A review of research methods in children's technology design

Jensen, J. J. & Skov, M. B., 1 dec. 2005, Proceedings of: Interaction Design and Children 2005, IDC 2005. s. 80-87 8 s.

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

68 Citationer (Scopus)

Arrowhead Compliant Virtual Market of Energy

Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., sep. 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, s. 1-8

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

16 Citationer (Scopus)

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 apr. 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, s. 697-702 6 s. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

Åben adgang
Fil
14 Downloads (Pure)

A Rule-based Tool for Gradual Granular Data Aggregation

Iftikhar, N. & Pedersen, T. B., 2011, DOLAP 2011: ACM 14th International Workshop on Data Warehousing and OLAP, Glasgow, United Kingdom, October 28, 2011, Proceedings. Association for Computing Machinery, s. 1-8

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

8 Citationer (Scopus)

A safety-critical java technology compatibility kit

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., okt. 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 1-9

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

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. Berry, G. : Comon, H. : Finkel, A. (eds.) (red.). 2102 udg. IEEE Computer Society Press, s. 493-505

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

92 Citationer (Scopus)

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 aug. 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

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

9 Citationer (Scopus)

A Secure Relay Protocol for Door Access Control

Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., nov. 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (red.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, s. 196-209 14 s. (Anais do SBSeg).

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

1 Downloads (Pure)

A Self-Organizing Distributed and In-Band SDN Control Plane

Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, s. 2656-2657 2 s. (Proceedings of the International Conference on Distributed Computing Systems).

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

8 Citationer (Scopus)

A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 jan. 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Bind 18. s. 12496-12502 7 s.

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

6 Citationer (Scopus)

A Semantics for a Real-Time Actor Language

Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, s. 60-62 3 s.

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

A Simple Approach to Web-Site Usability Testing

Skov, M. & Stage, J., 2001, Proceedings of the 1st Conference on Universal Access in Computer-Human Interaction. Lawrence Erlbaum Associates, s. 737-741

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

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications (DASFAA 2014). Springer Publishing Company, Bind 8422. s. 61-76 (Lecture Notes in Computer Science).

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

4 Citationer (Scopus)

AsmL Specification of a Ptolemy II Scheduler

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (red.). 2589 udg. Springer, s. 417

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

A Software Configuration Management Course

Asklund, U. & Bendix, L. G., 2003, Proceedings of the 11th International Workshop on Software Configuration Management, May 9-10 2003, Portland, Oregon: Lecture Notes in Computer Science. 2649 udg. IEEE Computer Society Press

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

1 Citationer (Scopus)

A Software Development Process based on Test-Driven Development and Testing by Contract

Madsen, P., 2004, Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques NWPER'2004: TUCS General Publications. Koskimies, Kai and Lilius, Johan and Porres, Ivan and Østerbye, Kasper (red.). 34 udg. Turku Centre for Computer Science, s. 269

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

A software package for web deployment of probabilistic graphical models

Madsen, A. L., Karlsen, M., Barker, G. C., Garcia, A. B., Hoorfar, J., Jensen, F. & Vigre, H., 2013, Frontiers in Artificial Intelligence and Applications. Jaeger, M., Nielsen, T. D. & Viappiani, P. (red.). IOS Press, Bind 257. s. 175-184 10 s. (Frontiers in Artificial Intelligence and Applications, Bind 257).

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

5 Citationer (Scopus)

Aspects of Internal Program Documentation: An Elucidative Perspective

Vestdam, T. & Nørmark, K., 2002, 10th International Workshop on Program Comprehension, 27-29 June, 2002, Paris, France. IEEE Computer Society Press

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

5 Citationer (Scopus)

A Split Operator for Now-Relative Bitemporal Databases

Agesen, M., Böhlen, M. H., Poulsen, L. O. & Torp, K., 2001, Proceedings of the 17th International Conference on Data Engineering, Heidelberg, Germany, April 2001. s. 41-50 10 s.

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

7 Citationer (Scopus)

Asserting Real-Time Emotions through Cued-Recall: Is it valid?

Bruun, A., Law, E. L-C., Heintz, M. & Eriksen, P. S., 2016, 9th Nordic Conference of Human-Computer Interaction (NordiCHI '16). Association for Computing Machinery, 10 s.

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

4 Citationer (Scopus)

Assessing the accuracy benefits of on-the-fly trajectory selection in fine-grained travel-time estimation

Waury, R., Hu, J., Yang, B. & Jensen, C. S., 29 jun. 2017, Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017. IEEE, s. 240-245 6 s. 7962458

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

3 Citationer (Scopus)

Assessing the Predictability of Scheduled-Vehicle Travel Times

Tiesyte, D. & Jensen, C. S., 2009, Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 416-419 4 s.

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

8 Citationer (Scopus)

Assessment Model for HCI Practice Maturity in Small and Medium Sized Software Development Companies

Ogunyemi, A., Lamas, D., Stage, J. & Lárusdóttir, M., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Springer, s. 55-69 15 s.

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

2 Citationer (Scopus)

A Stage Model of Intranet Technology Implementation and Management

Damsgaard, J. & Scheepers, R., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (red.). Copenhagen Business School Press, s. 100-116

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

ASTEP: Aau's spatio-temporal data analytics platform

Beuchert, M., Jensen, S. H., Sheikh-Omar, O. A., Svendsen, M. B. & Yang, B., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 278-279 2 s.

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

5 Citationer (Scopus)

A Structured Methodology to Support Interoperable Geographic Applications: the Case of the Greek Cadastral System

Tryfona, N. & Kavouras, M., 1998, Association og Geographic Information Laboratories in Europe : Proceedings.

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

A Suite of WWW-Based Tools for Advanced Course Management

Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (red.). Vol.32, 3 udg. Association for Computing Machinery, s. 65-68

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

1 Citationer (Scopus)

A survey of open source tools for business intelligence

Thomsen, C. & Pedersen, T. B., 2005, Data Warehousing and Knowledge Discovery, Proceedings. Springer, s. 74-84

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

21 Citationer (Scopus)

A Systematic Assessment of National Artificial Intelligence Policies: Perspectives from the Nordics and Beyond

van Berkel, N., Papachristos, L., Giachanou, A., Hosio, S. & Skov, M. B., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction. s. to appear

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

A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. s. 512-523

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

A Task-Based Theory of Information Services

Mathiassen, L. & Sørensen, C., 2002, Bødker, Keld (ed.) ...[et al.].

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

A Test Bed for Exploring Novel Concepts in Mobile Service Delivery

Jensen, C. S., Su, J., Nicklas, D. & Becker, C., 2008, A Test Bed for Exploring Novel Concepts in Mobile Service Delivery. IEEE, s. 218-220 2 s.

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

A testbed for the exploration of novel concepts in mobile service delivery

Wind, R., Jensen, C. S., Pedersen, K. H. & Torp, K., 1 dec. 2007, Proceedings - 8th International Conference on Mobile Data Management, MDM 2007. s. 218-220 3 s. 4417148. (Proceedings - IEEE International Conference on Mobile Data Management).

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

5 Citationer (Scopus)

A Test Suite for Safety-Critical Java using JML

Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 80-88 (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

4 Citationer (Scopus)