• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

2017

SWOOP: Top-k Similarity Joins over Set Streams

Willi, M., Augsten, N. & Jensen, C. S., nov. 2017. 13 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskning

3 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

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

Model checking
Costs
Specifications
1 Citation (Scopus)

TABOO: Detecting unstructured sensitive information using recursive neural networks

Neerbek, J., Assent, I. & Dolog, P., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017 . IEEE, s. 1399-1400 2 s. (Proceedings of the International Conference on Data Engineering).

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

Semantics
Neural networks
Syntactics
Demonstrations
Engines
5 Citationer (Scopus)

Teaching Spatial Geometry in a Virtual World: Using Minecraft in Mathematics in Grade 5/6

Förster, K-T., 8 jun. 2017, 2017 IEEE Global Engineering Education Conference (EDUCON). IEEE, s. 1411-1418 8 s.

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

school grade
mathematics
Teaching
curriculum
primary education
8 Citationer (Scopus)

The Connected Car: An Empirical Study of Electric Cars as Mobile Digital Devices

Svangren, M. K., Skov, M. & Kjeldskov, J., 2017, MobileHCI '17: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 12 s. 6

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

The Dynamics of Agile Practices for Safety-Critical Software Development

Nielsen, P. A. & Tordrup Heeager, L., 26 maj 2017, Proceedings of the Scientific Workshops of XP2017 Proceedings. Hansen, G. K., Myklebust, T., Johnsen, S. O. & Doss, O. (red.). Cologne: Association for Computing Machinery, 21

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

Software engineering

The grand CRU challenge

Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 aug. 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, s. 7-11 5 s.

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

Managers
Semantics

The many faces of graph dynamics

Pignolet, Y. A., Roy, M., Schmid, S. & Tredan, G., 5 jun. 2017, I : Journal of Statistical Mechanics: Theory and Experiment. 2017, 6, 18 s., 063401.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Dynamic Graphs
Centrality
Graph in graph theory
Complex Networks
Quantify
10 Citationer (Scopus)

The Odyssey Approach for Optimizing Federated SPARQL Queries

Montoya, G., Skaf-Molli, H. & Hose, K., 2017, The Semantic Web - ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Springer, Bind 10587. s. 471-489 (Lecture Notes in Computer Science).

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

Åben adgang
Statistics
Data transfer
Dynamic programming
Costs
Engines

The Semantic Web: ESWC 2017 Satellite Events

Blomqvist, E. (red.), Hose, K. (red.), Paulheim, H. (red.), Ławrynowicz, A. (red.), Ciravegna, F. (red.) & Hartig, O. (red.), 2017, Springer. (Lecture Notes in Computer Science, Bind 10577).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

4 Citationer (Scopus)

The vAMP Attack: Taking control of cloud systems via the unified packet parser

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 nov. 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, s. 11-15 5 s.

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

Switches
Computer operating systems
Complex networks
Network protocols
27 Citationer (Scopus)
157 Downloads (Pure)

Time Series Management Systems: A Survey

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 17 aug. 2017, I : I E E E Transactions on Knowledge & Data Engineering. 29, 11, s. 2581 - 2600 20 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases: SSTD 2017. Springer, s. 221-241 21 s. (Lecture Notes in Computer Science, Bind 10411).

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

9 Citationer (Scopus)

Toward a taxonomy and attacker model for secure routing protocols

Hollick, M., Nita-Rotaru, C., Papadimitratos, P., Perrig, A. & Schmid, S., 1 jan. 2017, I : Computer Communication Review. 47, 1, s. 43-48 6 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Taxonomies
Routing protocols
Technical presentations
Communication systems
Network protocols
3 Citationer (Scopus)

Towards Exploiting Social Networks for Detecting Epidemic Outbreaks

Di Martino, S., Romano, S., Bertolotto, M., Kanhabua, N., Mazzeo, A. & Nejdl, W., 1 mar. 2017, I : Global Journal of Flexible Systems Management. 18, 1, s. 61-71 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Social networks
Twitter
Sources of information
Public health
Graphical user interface
50 Citationer (Scopus)
93 Downloads (Pure)

Trajectory Similarity Join in Spatial Networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Zheng, K. & Kalnis, P., aug. 2017, I : Proceedings of the VLDB Endowment. 10, 11

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil

Understanding and designing for emerging digital eco-systems: The cases of private and shared cars

Svangren, M. K., 4 sep. 2017, Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017. Association for Computing Machinery, 69

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

Railroad cars
Human computer interaction
13 Citationer (Scopus)

Understanding and Mitigating Packet Corruption in Data Center Networks

Zhou, D., Ghobadi, M., Mahajan, R., Förster, K-T., Krishnamurthy, A. & Anderson, T., aug. 2017, Proceedings of the Conference of the ACM Special Interest Group on Data Communication: ACM SIGCOMM 2017. Association for Computing Machinery, s. 362-375

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

2 Citationer (Scopus)

Unified Programmability of Virtualized Network Functions and Software-Defined Wireless Networks

Schulz-Zander, J., Mayer, C., Ciobotaru, B., Lisicki, R., Schmid, S. & Feldmann, A., dec. 2017, I : IEEE Transactions on Network and Service Management. 14, 4, s. 1046-1060 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citation (Scopus)

Unrestricted stone duality for Markov processes

Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

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

Markov Process
Duality
Measurable space
Boolean algebra
Modality

Updates to the TODS Editorial Board

Jensen, C. S., mar. 2017, I : SIGMOD Record. 46, 1, s. 50-50

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

Åben adgang

Uppaal Stratego for Intelligent Traffic Lights

Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 s. SP0878

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

Telecommunication traffic
Controllers
Radar
Cruise control
Information use
3 Citationer (Scopus)
1470 Downloads (Pure)

Useful Business Cases: Value Creation in IS Projects

Nielsen, P. A. & Persson, J. S., 9 jan. 2017, I : European Journal of Information Systems. 26, 1, s. 66–83

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
action research
Industry
savings
municipality
manager

Using Session Types for Reasoning About Boundedness in the Pi-Calculus

Huttel, H., 2017, I : Electronic Proceedings in Theoretical Computer Science. 222, s. 67-82 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
48 Downloads (Pure)

Using session types for reasoning about boundedness in the π-calculus

Hüttel, H., 31 aug. 2017, I : Electronic Proceedings in Theoretical Computer Science, EPTCS. 255, s. 67-82 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Acoustic waves
1 Citation (Scopus)

Using T-Drive and BerlinMod in Parallel SECONDO for Performance Evaluation of Geospatial Big Data Processing

Ashfaq, M., Tahir, A., Orakzai, F. M., McArdle, G. & Bertolotto, M., 2017, Spatial Data Handling in Big Data Era. Zhou, C., Su, F., Harvey, F. & Xu, J. (red.). Springer, s. 3-19 16 s. (Advances in Geographic Information Science).

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

2 Citationer (Scopus)

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

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

Acoustic waves
Cyber Physical System
3 Citationer (Scopus)
116 Downloads (Pure)

Value Positions in E-government strategies: Something is (not) changing in the state of Denmark

Persson, J. S., Reinwald, A. K., Skorve, E. & Nielsen, P. A., 5 jun. 2017, Proceedings of the 25th European Conference on Information Systems. The Association for Information Systems (AIS), s. 904-917 (Proceedings / European Conference on Information Systems (ECIS), Bind 2017).

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

Åben adgang
Fil
Denmark
electronic government
Values
information system
public administration
3 Citationer (Scopus)

VICKEY: Mining Conditional Keys on Knowledge Bases

Symeonidou, D., Prado, L. A. G. D., Pernelle, N., Saïs, F. & Suchanek, F., 4 okt. 2017, International Semantic Web Conference ISWC 2017: The Semantic Web – ISWC 2017. Springer, Bind 10587. s. 661-677 (Lecture Notes in Computer Science).

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

Åben adgang

Vom Flaggenalphabet zur Vorratsdatenspeicherung: Schülerinnen und Schüler als Multiplikatoren technischer Aspekte der digitalen Welt

Förster, K-T., sep. 2017, INFOS 2017: Informatische Bildung zum Verstehen und Gestalten der digitalen Welt. Diethelm, I. (red.). Gesellschaft für Informatik (GI), s. 171-179 (Lecture Notes in Informatics).

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

Åben adgang
2 Citationer (Scopus)

Walking the line: The everyday security ties that bind

Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Bind 10292 LNCS. s. 464-480 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10292 LNCS).

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

assets
interaction
research project
EU
citizen

Web and Big Data: First International Joint Conference, APWeb-WAIM 2017, Proceedings, Part I

Chen, L. (red.), Jensen, C. S. (red.), Shahabi, C. (red.), Yang, X. (red.) & Lian, X. (red.), jul. 2017, Springer. (Lecture Notes in Computer Science, Bind 10366).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

Web and Big Data: First International Joint Conference, APWeb-WAIM 2017, Part II

Chen, L. (red.), Jensen, C. S. (red.), Shahabi, C. (red.), Yang, X. (red.) & Lian, X. (red.), jul. 2017, Springer. (Lecture Notes in Computer Science, Bind 10367).

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

2 Citationer (Scopus)

Wireless Evacuation on m Rays with k Searchers

Brandt, S., Förster, K-T., Richner, B. & Wattenhofer, R., dec. 2017, Proceedings of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, (Lecture Notes in Computer Science, Bind 10641).

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

Åben adgang

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

Computer programming
Computer programming languages
Computability and decidability
Finite automata
Syntactics
3 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

2016

A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions

Billestrup, J., Stage, J. & Larusdottir, M., 2016, ACHI 2016: The Ninth International Conference on Advances in Computer-Human Interactions. IARIA, s. 307-314 8 s.

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

Åben adgang
3 Citationer (Scopus)
118 Downloads (Pure)

A Comparison of Techniques for Cross-Device Interaction from Mobile Devices to Large Displays

Paay, J., Raptis, D., Kjeldskov, J., Lauridsen, B. M., Penchev, I. S., Ringhauge, E. & Ruder, E. V., 2016, Proceedings of Advances in Mobile Computing & Multimedia (MoMM 2016). Association for Computing Machinery, s. 137-146

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

Fil
2 Citationer (Scopus)
88 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).

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

Åben adgang
Fil
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
5 Citationer (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 jan. 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Bind 9539. s. 66-85 20 s. (Lecture Notes in Computer Science, Bind 9539).

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

1 Citation (Scopus)

A Data Model for Determining Weather's Impact on Travel Time

Bidragets oversatte titel: En datamodel for bestemmelse af vejrets påvirkning af rejsetiderAndersen, O. & Torp, K., 2016, Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Hartman, S. & Ma, H. (red.). Springer Publishing Company, Bind 9828. s. 437-444 8 s. (Lecture Notes in Computer Science, Bind 9829).

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

A decision support system for the control of Campylobacter in chickens at farm level using data from Denmark

Garcia, A. B., Madsen, A. L. & Vigre, H., 2016, I : The Journal of Agricultural Science. 154, 4, s. 720-731

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

Wu, D. & Jensen, C. S., 2016, 10 s.

Publikation: Working paperForskning

2 Citationer (Scopus)

A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

Wu, D. & Jensen, C. S., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2095-2100

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

126 Downloads (Pure)

A Frame-Based Approach for Integrating Heterogeneous Knowledge Sources

Rouces, J., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
7 Citationer (Scopus)

Aggregating energy flexibilities under constraints

Valsomatzis, E., Pedersen, T. B., Abello, A. & Hose, K., 12 dec. 2016, 2016 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, s. 484-490 7 s.

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

Scheduling
Agglomeration
Washers
62 Downloads (Pure)

A Java Toolbox for Analysis of MassIve Data STreams using Probabilistic Graphical Models

Masegosa, A., Martinez, A. M., Ramos-López, D., Langseth, H., Nielsen, T. D., Salmerón, A., Cabanas, R. & Madsen, A. L., 2016.

Publikation: Konferencebidrag uden forlag/tidsskriftPosterForskningpeer review

Fil
9 Citationer (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 227-233 7 s.

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

3 Citationer (Scopus)

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, s. 133–141 (Lecture Notes in Computer Science, Bind 9933).

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

364 Downloads (Pure)

Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking

Ahmed, T., 2016, Aalborg Universitetsforlag. 191 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil