• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book chapter
2019
3 Citations (Scopus)

Controlling a drone by the tongue – A pilot study on drone based facilitation of social activities and sports for people with complete tetraplegia

Mohammadi, M., Lontis, R., Bentsen, B., Knoche, H., Moeslund, T. B., Bak, T., Gaihede, M. & Andreasen Struijk, L. N. S., 1 Jan 2019, Converging Clinical and Engineering Research on Neurorehabilitation III: Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy. Masia, L., Micera, S., Akay, M. & Pons, J. L. (eds.). Springer Publishing Company, p. 523-527 5 p. (Biosystems and Biorobotics, Vol. 21).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Sports
Interfaces (computer)
Mountings
Drones

Effective Facial Expression Recognition Through Multimodal Imaging for Traumatic Brain Injured Patient’s Rehabilitation

Ilyas, C. M. A., Haque, M. A., Nasrollahi, K., Rehm, M. & Moeslund, T. B., 2 Jul 2019, Springer Nature Switzerland AG 2019: D. Bechmann et al. (Eds.): VISIGRAPP 2018, CCIS 997, pp. 1–21, 2019.. Springer Nature Switzerland AG 2019: Springer Publishing Company, 21 p. (Communications in Computer and Information Science, Vol. CCIS, volume 997).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Open Access
Patient rehabilitation
Brain
Imaging techniques
Convolution
Muscle

Maintenance 4.0 world of integrated information

Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 Apr 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, Vol. 9. p. 67-78 12 p. (Proceedings of the I-ESA Conferences, Vol. 9).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Interoperability
Information management
Failure analysis
Data structures
Industry

Unified Stiffness Modeling and Analysis of Compliant Crank-slider Mechanisms

li, Z., Bai, S., Chen, W. & Zhang, J., 2019, Advances in Mechanism and Machine Science. p. 1315-1324

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Stiffness
Mountings
Hardening
Torque
2018
1 Citation (Scopus)

Affective Body Movements (for Robots) Across Cultures

Rehm, M., 2018, Advances in Culturally-Aware Intelligent Systems and in Cross-Cultural Psychological Studies. Faucher, C. (ed.). Springer, p. 165-188 24 p. (Intelligent Systems Reference Library, Vol. 134).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Robots
Experiments
Statistical Models

Cloud Intelligence

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. 2 ed. Springer Publishing Company, p. 481-482 2 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Cloud computing
Competitive intelligence
Big data

Cube

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd ed. New York: Springer, p. 1

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Dimension

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Distributed Control of Power Grids

Stoustrup, J., 2018, Smart Grid Control: Overview and Research Opportunities. Stoustrup, J., Annaswamy, A., Chakrabortty, A. & Qu, Z. (eds.). Springer, p. 85-98 14 p. 1. (Power Electronics and Power Systems).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Grid
Pretense
Completeness

Hierarchy

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Hybrid FES-robot devices for training of activities of daily living

Popovic, D. B., 2018, Rehabilitation Robotics: Technology and Application. Colombo, R. & Sanguineti, V. (eds.). Academic Press, p. 277-287

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Open Access
1 Citation (Scopus)

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. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

edition
Spain
evaluation
software

Measure

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

6 Citations (Scopus)

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, p. 1001-1046

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata

Multidimensional Modeling

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 10 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Prescriptive Analytics

Siksnys, L. & Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 3 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Technology Development Perspective on Entrepreneurship

Hansen, P. H. K. & Madsen, O., 25 Aug 2018, The Palgrave Handbook of Multidisciplinary Perspectives on Entrepreneurship. V. Turcan, R. & M. Fraser, N. (eds.). Palgrave Macmillan, p. 177-198

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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 others, Stluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

2 Citations (Scopus)
30 Downloads (Pure)

Contact-Free Heartbeat Signal for Human Identification and Forensics

Nasrollahi, K., Haque, M. A., Irani, R. & Moeslund, T. B., 2017, Handbook of Biometrics for Forensic Science. Tistarelli, M. & Champod, C. (eds.). Springer, p. 289-302 (Advances in Computer Vision and Pattern Recognition).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Patient monitoring
Biometrics
Sensors
Computer vision

Cryptography Basics

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterEducation

Cryptography
Magic
Sound
Trick

Data Warehousing in Cloud Environments

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-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. (eds.). 16:9 Filmtidsskrift, p. 216-236

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

5 Citations (Scopus)

SkiROS—A skill-based robot control platform on top of ROS

Rovida, F., Crosby, M., Holz, D., Polydoros, A. S., Großmann, B., Petrick, R. P. A. & Krüger, V., 1 May 2017, Robot Operating System (ROS): The Complete Reference. Koubaa, A. (ed.). Springer VS, Vol. 2. p. 121-160 40 p. (Studies in Computational Intelligence, Vol. 707).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Application programs
Robots
Graphical user interfaces
Automotive industry
Demonstrations
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, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

5 Citations (Scopus)

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. (eds.). Springer, p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

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. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Model checking
Embedded systems
Information systems
Automation
Semantics

Modeling and Analysis of Component Faults and Reliability

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Fault tree analysis

Quorum Systems

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

Research output: Contribution to book/anthology/report/conference proceedingBook chapterEducation

Guarantee
Overlapping
Fault tolerance
10 Citations (Scopus)

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, p. 307-318 12 p. (Lecture Notes in Computer Science, Vol. 9930).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Model checking
Petri nets
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, p. 17-37

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Dynamic loads
Internet of things

Autonomous Robot Path Planning Techniques Using Cellular Automata

Charalampous, K., Kostavelis, I., Boukas, E., Amanatiadis, A., Nalpantidis, L., Emmanouilidis, C. & Gasteratos, A., 2015, Robots and Lattice Automata. Sirakoulis, G. C. & Adamatzky, A. (eds.). Springer VS, Vol. 13. p. 175-196 22 p. (Emergence, Complexity and Computation, Vol. 13).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

1 Citation (Scopus)

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. (eds.). Springer, p. 200-218 19 p. (Lecture Notes in Computer Science; No. 9114).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

11 Citations (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. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Branching
Markov chain
Metric
Linear Time
Pseudometric
33 Citations (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, p. 1412-1415 4 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

25 Citations (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, p. 267-278 12 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

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. (eds.). Springer, p. 48-72 (Lecture Notes in Computer Science, Vol. 9260).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Data warehouses
Information management
Data structures
Time series
Railroad cars

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. (eds.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science, Vol. 9443).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

9 Citations (Scopus)

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. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications

On the Use of Cellular Automata in Vision-Based Robot Exploration

Nalpantidis, L., 2015, Robots and Lattice Automata. Sirakoulis, G. C. & Adamatzky, A. (eds.). Springer VS, p. 247-266 20 p. (Emergence, Complexity and Computation, Vol. 13).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

70 Citations (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, p. 543-554 12 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Preface

Nalpantidis, L., Krüger, V., Eklundh, J. O. & Gasteratos, A., 2015, Computer vision systems: 10th International conference, ICVS 2015 Copenhagen, Denmark, july 6–9, 2015 proceedings. Springer, Vol. 9163. p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterCommunication

5 Citations (Scopus)
395 Downloads (Pure)

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. (eds.). Springer, p. 178-186 9 p. (Lecture Notes in Computer Science; No. 8943).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Open Access
File
3 Citations (Scopus)

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. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

14 Citations (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. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Adaptive cruise control
Controllers

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. (eds.). Boca Raton, FL: CRC Press, p. 107-131 25 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Project management
Industry
Software engineering
Personnel
Communication
5 Citations (Scopus)

Towards Designing Android Faces after Actual Humans

Vlachos, E. & Schärfe, H., 2015, Agent and Multi-Agent Systems: Technologies and Applications Smart Innovation, Systems and Technologies: 9th KES International Conference, KES-AMSTA 2015 Sorrento, Italy, June 2015, Proceedings. Springer Publishing Company, Vol. 38. p. 109-119 10 p. (Smart Innovation, Systems and Technologies).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

facial expression
robot
social attraction
online survey
stimulus
11 Citations (Scopus)

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. (eds.). Springer, p. 114-132 (Lecture Notes in Business Information Processing, Vol. 206).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

2014
2 Citations (Scopus)

Classification of sports types using thermal imagery

Gade, R. & Moeslund, T. B., 1 Jan 2014, Computer Vision in Sports. Moeslund, T., Thomas, G. & Hilton, A. (eds.). Springer, Vol. 71. p. 209-227 19 p. (Advances in Computer Vision and Pattern Recognition).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Sports
Gaussian distribution
Infrared imaging
Hot Temperature