• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i tidsskrift
2020

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2020, I : Transportation Research Procedia. 48, 2020, s. 987-997

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
2 Downloads (Pure)
2019

Comprehensive audience expansion based on end-To-end neural prediction

Jiang, J., Lin, X., Yao, J. & Lu, H., 1 jan. 2019, I : CEUR Workshop Proceedings. 2410

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
39 Downloads (Pure)

Efficient indexing of hashtags using bitmap indices

Subba, L. T., Thomsen, C. & Pedersen, T. B., 20 mar. 2019, I : CEUR Workshop Proceedings. 2324, 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
95 Downloads (Pure)

IHCS: An Integrated Hybrid Cleaning System

Ge, C., Gao, Y., Miao, X., Chen, L., Jensen, C. S. & Zhu, Z., 2019, I : Proceedings of the VLDB Endowment. 12, 12, s. 1874-1877 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2018

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
132 Downloads (Pure)

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 jan. 2018, I : IFAC-PapersOnLine. 51, 16, s. 259-264 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 sep. 2018, I : Electronic Proceedings in Theoretical Computer Science. 277, s. 147-160 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
169 Downloads (Pure)

TRIPS: A System for Translating Raw Indoor Positioning Data into Visual Mobility Semantics

Li, H., Lu, H., Shi, F., Chen, G., Chen, K. & Shou, L., 2018, I : Proceedings of the VLDB Endowment. 11, 12, s. 1918-1921

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

X2Q Your personal examplebased graph explorer

Lissandrini, M., Mottin, D., Velegrakis, Y. & Palpanas, T., 1 jan. 2018, I : Proceedings of the VLDB Endowment. 11, 12, s. 2026-2029 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)
2017

A delay-robust touristic plan recommendation using real-world public transportation information

Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 jan. 2017, I : CEUR Workshop Proceedings. 1906, s. 9-17 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

4 Citationer (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. G. & Tini, S., 2017, I : Logical Methods in Computer Science. 12, 4

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

Åben adgang
19 Citationer (Scopus)

New trends on exploratory methods for data analytics

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T., 1 aug. 2017, I : Proceedings of the VLDB Endowment. 10, 12, s. 1977-1980 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

20 Citationer (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I : Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
5 Citationer (Scopus)

Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering

Hansen, M. F., Eriksen, A. B., Taankvist, J. H., Larsen, K. G. & Lahrmann, H., 2017, I : Danish Journal of Transportation Research - Dansk tidskrift for transportforskning. 2017, 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
58 Downloads (Pure)

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

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
95 Downloads (Pure)
2016

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 jun. 2016, I : Information Systems Frontiers. 18, 5, s. 909–925 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

Modeling and Querying Spatial Data Warehouses on the Semantic Web

Gur, N., Hose, K., Pedersen, T. B. & Zimanyi, E., 2016, I : Lecture Notes in Computer Science. 9544, s. 3-22 20 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

Path cost distribution estimation using trajectory data

Dai, J., Yang, B., Guo, C., Jensen, C. S. & Hu, J., 2016, I : Proceedings of the VLDB Endowment. 10, 3, s. 85-96 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
40 Citationer (Scopus)
254 Downloads (Pure)

VIP-Tree: An Effective Index for Indoor Spatial Queries

Shao, Z., Cheema, M. A., Taniar, D. & Lu, H., 2016, I : Proceedings of the VLDB Endowment. 10, 4, s. 325-336

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
11 Citationer (Scopus)
76 Downloads (Pure)

Vita: A Versatile Toolkit for Generating Indoor Mobility Data for Real-World Buildings

Li, H., Lu, H., Chen, X., Chen, G., Chen, K. & Shou, L., 2016, I : Proceedings of the VLDB Endowment. 9, 13, s. 1453-1456 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
8 Citationer (Scopus)
69 Downloads (Pure)
2015

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, I : Open Access Series in Informatics. 44, s. 77-90

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
50 Downloads (Pure)
2014

Adaptive Task Automata with Earliest-Deadline-First Scheduling

Hatvani, L., David, A., Seceleanu, C. & Pettersson, P., 2014, I : Electronic Communications of the EASST. 70, s. 1-15 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
1 Citationer (Scopus)

Analyse af elbilers forbrug

Andersen, O., Krogh, B. B. & Torp, K., 2014, I : Artikler fra Trafikdage på Aalborg Universitet. 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification

Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., okt. 2014, I : Science of Computer Programming. 91, Part B, s. 141-160

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
2 Citationer (Scopus)
531 Downloads (Pure)

Lower-bound-constrained runs in weighted timed automata

Bouyer, P., Larsen, K. G. & Markey, N., 19 maj 2014, I : Performance Evaluation. 73, s. 91-109 73.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Refinement and Difference for Probabilistic Automata

Larsen, K. G., Delahaye, B., Fahrenberg, U. & Legay, A., 28 feb. 2014, I : Logical Methods in Computer Science. 10, 3, s. 1-32

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
2 Citationer (Scopus)

Robust synthesis for real-time systems

Larsen, K. G., Legay, A., Traonouez, L-M. & Wasowski, A., 2 jan. 2014, I : Theoretical Computer Science. 515, s. 92-122

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Searching with XQ: The Exemplar query search engine

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T., 1 jan. 2014, I : Proceedings of the ACM SIGMOD International Conference on Management of Data. s. 901-904 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

11 Citationer (Scopus)

Statistical model checking of dynamic networks of stochastic hybrid automata

David, A., Larsen, K. G., Legay, A. & Poulsen, D. B., 2014, I : Electronic Communications of the EASST. 66, 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang

Stuttering for abstract probabilistic automata

Delahaye, B., Larsen, K. G. & Legay, A., 2014, I : Journal of Logic and Algebraic Programming. 83, 1, s. 1-19

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (Scopus)

The Challenges of Creativity in Software Organizations

Ulrich, F. & Mengiste, S. A., 2014, I : IFIP AICT - Advances in Information and Communication technology. 429, s. 16-34 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Fil
12 Citationer (Scopus)
325 Downloads (Pure)
2013

Building accurate 3D spatial networks to enable next generation intelligent transportation systems

Kaul, M., Yang, B. & Jensen, C. S., 11 sep. 2013, I : Proceedings - IEEE International Conference on Mobile Data Management. 1, s. 137-146 10 s., 6569130.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

36 Citationer (Scopus)

Externalizing Behaviour for Analysing System Models

Ivanova, M. G., Probst, C. W., Hansen, R. R. & Kammüller, F., nov. 2013, I : Journal of Internet Services and Information Security. 3, 3/4, s. 52-62

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Hurtigste versus mest brændstoføkonomiske ruter

Andersen, O., Krogh, B. B., Lahrmann, H. & Torp, K., 2013, I : Artikler fra Trafikdage på Aalborg Universitet. 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Reachability-based Impact as a Measrue for Insiderness

Probst, C. W. & Hansen, R. R., dec. 2013, I : Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. 4, 4, s. 38-48 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

3 Citationer (Scopus)

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Luckow, K. S., Bøgholm, T. & Thomsen, B., 2013, I : WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium. s. 41-44 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M. & Srba, J., 2012, I : Electronic Proceedings in Theoretical Computer Science. 102, s. 125-140 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

A heuristic-based approach for planning federated SPARQL queries

Montoya, G., Vidal, M. E. & Acosta, M., 1 dec. 2012, I : CEUR Workshop Proceedings. 905, 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

Estimering af bilers brændstofforbrug ved brug af eksisterende GPS data

Andersen, O., Lahrmann, H. & Torp, K., 2012, I : Danish Journal of Transportation Research - Dansk tidskrift for transportforskning. 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Interactive information extraction based on distributed data management for German grid projects

Kel, R. J., Metzger, S., Daivandy, J. M., Hose, K., Nich, D. H., Schenkel, R. & Schuller, B., 1 jan. 2012, I : Proceedings of Science. 2012-March

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Learning Markov Decision Processes for Model Checking

Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 49-63

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

MapReduce-based Dimensional ETL Made Easy

Xiufeng, L., Thomsen, C. & Pedersen, T. B., aug. 2012, I : Proceedings of the VLDB Endowment. 5, 12, s. 1882-1885 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

18 Citationer (Scopus)

MDM: A Mode Diagram Modeling Framework

Wang, Z., Pu, G., Li, J., He, J., Qin, S., Larsen, K. G., Madsen, J. & Gu, B., 2012, I : Electronic Proceedings in Theoretical Computer Science. 105, s. 135-149

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

2 Citationer (Scopus)

On the Existence of Compositional Barrier Certificates

Sloth, C., Wisniewski, R. & Pappas, G. J., 2012, I : I E E E Conference on Decision and Control. Proceedings. s. 4580-4585 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

Parameterized Metatheory for Continuous Markovian Logic

Larsen, K. G., Mardare, R. I. & Thrane, C., 2012, I : Electronic Proceedings in Theoretical Computer Science. 103, s. 33-47

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems

Bozga, M., David, A., Hartmanns, A., Larsen, K. G., Legay, A. & Tretmans, J., 2012, I : A C M / I E E E Design Automation Conference. Proceedings. s. 370-375

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Jørgensen, K. Y., Larsen, K. G. & Srba, J., 2012, I : Electronic Proceedings in Theoretical Computer Science. 102, s. 141-155 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Bulychev, P., David, A., Larsen, K. G., Mikučionis, M., Poulsen, D. B., Legay, A. & Wang, Z., 2012, I : Electronic Proceedings in Theoretical Computer Science. 85, s. 1-16 17 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

71 Citationer (Scopus)
2011

A Bayesian Concept Learning Approach to Crowdsourcing

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : CEUR Workshop Proceedings. 756, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review