• Postadresse

    Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2021

    Combining Cinematic Virtual Reality and Sonic Interaction Design in Exposure Therapy for Children with Autism

    Andersen, L., Andersen, N., Adjorlu, A. & Serafin, S., 2021, Intelligent Systems Reference Library. Springer Science+Business Media, s. 445-458 14 s. (Intelligent Systems Reference Library, Bind 196).

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

  • Introduction to “Advances in Longitudinal HCI Research”

    Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B., 2021, Advances in Longitudinal HCI Research. Springer, (Human–Computer Interaction Series).

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

  • Longitudinal Studies in HCI Research: A Review of CHI Publications from 1982-2019

    Kjærup, M., Skov, M. B., Nielsen, P. A., Kjeldskov, J., Gerken, J. & Reiterer, H., 2021, Advances in Longitudinal HCI Research . Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (red.). Springer, s. 11-39 (Human–Computer Interaction Series).

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

    Åben adgang
    Fil
    70 Downloads (Pure)
  • 2020

    Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., 2020, (Accepteret/In press) Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (red.). Wiley-IEEE press, (IEEE Press Series on Networks and Service Management).

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

  • Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., dec. 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (red.). Cambridge University Press, s. 333-360

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

    Åben adgang
  • 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)
  • 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

    5 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

    6 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

    15 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

  • From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning

    Larsen, K. G., Fahrenberg, U. & Legay, A., 1 jan. 2017, Dependable Software Systems Engineering. IOS Press, s. 60-103 44 s.

    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

  • Casual Interaction: Moving Between Peripheral and High Engagement Interactions

    Pohl, H., 2016, Peripheral Interaction: Challenges and Opportunities for HCI in the Periphery of Attention. Bakker, S., Hausen, D. & Selker, T. (red.). Springer VS, s. 117-135 19 s.

    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

    17 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

    14 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

    40 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

    31 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

    11 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

    101 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
    6 Citationer (Scopus)
    467 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

    25 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

    16 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

    12 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
    167 Downloads (Pure)