• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
7 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

Planning
515 Downloads (Pure)

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
Websites
Data warehouses
Internet
Observatories
World Wide Web
9 Citationer (Scopus)

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

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 (IEEE International Enterprise Distributed Object Computing Conference (EDOC)).

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

Data integration
XML
Data structures
5 Citationer (Scopus)

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

Software engineering
Acoustic waves

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

27 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

context analysis
1 Citation (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

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

1200 Downloads (Pure)

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
63 Citationer (Scopus)

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

16 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

Industrial plants
Automation
Petrochemical plants
Joining
Refining

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

Bearings (structural)
Condition monitoring
Open systems
Health
Signal systems
8 Citationer (Scopus)

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

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

91 Citationer (Scopus)

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

9 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

1 Downloads (Pure)

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

5 Citationer (Scopus)

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

6 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

Interchanges
Semantics
Hybrid systems
Interoperability
Specifications

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

Simulators
Semantics
Communication

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

4 Citationer (Scopus)

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

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

1 Citation (Scopus)

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

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

5 Citationer (Scopus)

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

Decision support systems
Software packages
Food safety
Software architecture
Internet
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

7 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

3 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

2 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

Travel time
Trajectories
Availability
8 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

Travel time
Trajectories
Monitoring

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

3 Citationer (Scopus)

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

Information management
Location based services
Testbeds
Computer science
Software engineering

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

1 Citation (Scopus)

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

19 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

Competitive intelligence
Servers
Processing
Mathematical transformations
Industry

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

5 Citationer (Scopus)

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

Testbeds
4 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

6 Citationer (Scopus)

A Theory of Testing for ACP

Aceto, L. & Ingolfsdottir, A., 1991, Proceedings of CONCUR'91, Lecture Notes in Computer Science. Baten, J.C.M. : Groote, J.F. (eds.) (red.). Springer, s. 527 -

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

1 Citation (Scopus)

A time-aware path-based publish/subscribe framework

Jia, M., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 jan. 2018, Database Systems for Advanced Applications : 23rd International Conference, DASFAA 2018, Proceedings. Springer, s. 511-528 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10827 LNCS).

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

9 Citationer (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

7 Citationer (Scopus)

A Toolchain for Home Automation Controller Development

Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (red.). IEEE Computer Society Press, s. 122-129 8 s. (Euromicro Conference. Proceedings).

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

Automation
Controllers
Model checking
Middleware
Interfaces (computer)

A topic-oriented syntactic component extraction model for social media

Xu, Y., Luo, T., Xu, G. & Pan, R., 1 jan. 2012, Human Centric Technology and Service in Smart Space: HumanCom 2012. Park, J. J., Jin, Q., Yeo, M. S-S. & Hu, B. (red.). Springer Publishing Company, Bind 182. s. 221-229 9 s. (Lecture Notes in Electrical Engineering, Bind 182).

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

Syntactics
Statistical methods
Semantics
Chemical analysis
12 Citationer (Scopus)

Attack Tree Generation by Policy Invalidation

Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (red.). Springer, s. 249-259 (Lecture Notes in Computer Science; Nr. 9311).

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

Attribute Clustering Based on Heuristic Tree Partition

Cordero Hernandez, J. & Zeng, Y., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 73-80 8 s.

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

841 Citationer (Scopus)

A Tutorial on UPPAAL

Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (red.). 3185 udg. Springer, s. 200-237

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

Flavors