• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Bidrag til bog/antologi
2019

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Answering GPSJ Queries in a Polystore: A Dataspace-Based Approach

Hamadou, H. B., Gallinucci, E. & Golfarelli, M., 2019, International Conference on Conceptual Modeling. Bind 11788. s. 189-203

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

3 Citationer (Scopus)
2018

Cloud Intelligence

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. 2 udg. Springer Publishing Company, s. 481-482 2 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Cube

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd udg. New York: Springer, s. 1

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Dimension

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Hierarchy

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2 Citationer (Scopus)

Measure

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, s. 1001-1046 46 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

12 Citationer (Scopus)

Multidimensional Modeling

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Prescriptive Analytics

Siksnys, L. & Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 3 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2017

Application system design - energy optimisation

Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R. & 2 flere, Stluka, P. & Zabasta, A., 6 feb. 2017, IoT Automation: Arrowhead Framework. Delsing, J. (red.). CRC Press, s. 211-247 36 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

1 Citationer (Scopus)

Cryptography Basics

Wattenhofer, R. & Förster, K-T., 6 mar. 2017, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Second Revised Edition udg. Inverted Forest Publishing, s. 49-70 22 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

Data Warehousing in Cloud Environments

Thomsen, C. & Pedersen, T. B., 5 apr. 2017, Encyclopedia of Database Systems. New York: Springer, 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Grænseoverskridende komik: South Parks transmedielle univers

Lundgaard, S. S., 2017, Helt til Grin: Moderne audiovisuel komik på tværs af medier. Halskov, A., Højer, H. & Larsen, T. S. (red.). 16:9 Filmtidsskrift, s. 216-236

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, s. 95-120 (NASA Monographs in Systems and Software Engineering).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2016

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, s. 88-110 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Formal Modelling and Analysis of Socio-Technical Systems

Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 54-73 (Lecture Notes in Computer Science, Bind 9560).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

5 Citationer (Scopus)

Model Checking Feature Interactions

Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Modeling and Analysis of Component Faults and Reliability

Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Quorum Systems

Wattenhofer, R. & Förster, K-T., 2016, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Inverted Forest Publishing, s. 87-104 18 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

TAPAAL and Reachability Analysis of P/T Nets

Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, s. 307-318 12 s. (Lecture Notes in Computer Science, Bind 9930).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

12 Citationer (Scopus)
2015

An Energy Flexibility Framework on the Internet of Things

Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, s. 17-37

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Beomap: Ad Hoc Topic Maps for Enhanced Exploration of Social Media Data

Leginus, M., Zhai, C. & Dolog, P., 1 jun. 2015, Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings. Cimiano, P., Frasincar, F., Houben, G-J. & Schwabe, D. (red.). Springer, s. 200-218 19 s. (Lecture Notes in Computer Science; Nr. 9114).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Converging from Branching to Linear Metrics on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

13 Citationer (Scopus)

EcoSky: Reducing vehicular environmental impact through eco-routing

Guo, C., Yang, B., Andersen, O., Jensen, C. S. & Torp, K., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 1412-1415 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

37 Citationer (Scopus)

Finding top-k local users in geo-tagged social media data

Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 267-278 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

29 Citationer (Scopus)

MIRABEL DW: Managing Complex Energy Data in a Smart Grid

Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 jul. 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (red.). Springer, s. 48-72 (Lecture Notes in Computer Science, Bind 9260).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Multiple Image Segmentation

Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (red.). Springer, s. 3-18 16 s. (Lecture Notes in Computer Science, Bind 9443).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

On the Total Variation Distance of Semi-Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

10 Citationer (Scopus)

Personalized route recommendation using big trajectory data

Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 543-554 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

86 Citationer (Scopus)

Publishing Danish Agricultural Government Data as Semantic Web Data

Andersen, A. B., Gür, N., Hose, K., Jakobsen, K. A. & Pedersen, T. B., 2015, Semantic Technology: 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Supnithi, T., Yamaguchi, T., Pan, J. Z., Wuwongse, V. & Buranarach, M. (red.). Springer, s. 178-186 9 s. (Lecture Notes in Computer Science; Nr. 8943).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Åben adgang
Fil
5 Citationer (Scopus)
462 Downloads (Pure)

Resource-Parameterized Timing Analysis of Real-Time Systems

Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (red.). Springer, s. 190-205 (Lecture Notes in Computer Science; Nr. 9434).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

3 Citationer (Scopus)

Safe and Optimal Adaptive Cruise Control

Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (red.). Springer, s. 260-277 18 s. (Lecture Notes in Computer Science; Nr. 9360).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

20 Citationer (Scopus)

The End of the Line: Project Management Challenges in Small Software Shops in Pakistan

Shakir, S. N. & Nørbjerg, J., 13 jul. 2015, Strategic Project Management: Contemporary Issues and Strategies for Developoing Economies. Barclay, C. & Osei-Bryson, K-M. (red.). Boca Raton, FL: CRC Press, s. 107-131 25 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Towards Exploratory OLAP over Linked Open Data: a Case Study

Ibragimov, D., Hose, K., Pedersen, T. B. & Zimanyi, E., 2015, Enabling Real-Time Business Intelligence: International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014. Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N. (red.). Springer, s. 114-132 (Lecture Notes in Business Information Processing, Bind 206).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

15 Citationer (Scopus)
2014

Design and Management of Web Service Transactions with Forward Recovery

Dolog, P., Schäfer, M. & Nejdl, W., 2014, Advanced Web Services. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (red.). Springer VS, s. 3-27 25 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

5 Citationer (Scopus)

Federated query processing over linked data

Hose, K., Schenkel, R., Schmidt, M. & Schwarte, A., 1 maj 2014, Linked data management. Harth, A., Hose, K. & Schenkel, R. (red.). 1. udg. CRC Press, s. 369-387 19 s. (Emerging Directions in Database Systems and Applications).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Location-Based Services - A Database Perspective

Jensen, C. S., Friis-Christensen, A., Pedersen, T. B., Pfoser, D., Saltenis, S. & Tryfona, N., 2014, Breaking New Ground - Dedicated to Finn Kjærsdam. Aalborg: Aalborg Universitetsforlag, s. 82-93

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2013

ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce

Xiufeng, L., Thomsen, C. & Pedersen, T. B., 2013, Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII: Special Issue on Advances in Data Warehousing and Knowledge Discovery. Springer VS, Bind 7790. s. 1-31 31 s. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Bind 7790).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

9 Citationer (Scopus)

Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (red.). Springer Publishing Company, s. 17-40

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)

Mobile Computing

Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (red.). The Interaction Design Foundation

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Åben adgang
Fil
107 Downloads (Pure)

Models for Real-Time Embedded Systems

Lime, D., Roux, O. H. & Srba, J., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 1-37 37 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

On the Relationship between LTL Normal Forms and Büchi Automata

Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Bind 8051. s. 256-270 (Lecture Notes in Computer Science, Bind 8051).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2 Citationer (Scopus)

Optimal Bounds for Multiweighted and Parametrised Energy Games

Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Bind 8051. s. 244-255 (Lecture Notes in Computer Science, Bind 8051).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

22 Citationer (Scopus)

Segmentation of Nonstationary Time Series with Geometric Clustering

Bocharov, A. & Thiesson, B., 2013, Pattern Recognition - Applications and Methods. Carmona, P. L., Sanchez, J. S. & Fred, A. L. N. (red.). Berlin Heidelberg: Springer Publishing Company, Bind 204. s. 93-107 15 s. (Advances in Intelligent Systems and Computing).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Åben adgang
Fil
604 Downloads (Pure)

The Conceptual Pond – a Persuasive Tool for Quantifiable Qualitative Assessment

Sørensen, C. G. & Sørensen, M. G., 2013, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI global, s. 449-469 20 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

2 Citationer (Scopus)

Tools for Model-Checking Timed Systems

David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 165-225 61 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

4 Citationer (Scopus)