• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2020

Impedance Control and Force Estimation of a Redundant Parallel Kinematic Manipulator

Mendez, J. D. D. F., Schiøler, H., Madsen, O. & Bai, S., 1 jan. 2020, Informatics in Control, Automation and Robotics : 14th International Conference, ICINCO 2017 Madrid, Spain, July 26-28, 2017 Revised Selected Papers. Madani, K. & Gusikhin, O. (red.). Springer, s. 174-191 18 s. (Lecture Notes in Electrical Engineering, Bind 495).

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

Manipulators
Kinematics
Robots
Feedback linearization
Actuators
2019

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 351-352 2 s. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

Electric vehicles
Scheduling
Electricity
Wind power
Costs

A Decentralized Architecture for Sharing and Querying Semantic Data

Aebeloe, C., Montoya, G. & Hose, K., 25 maj 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (red.). Portorož, Slovenia: Springer, Bind 11503. s. 3-18 16 s. (Lecture Notes in Computer Science).

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

Fil
Servers
Semantics
Semantic Web

A Dual-arm Collaborative Robot System for the Smart Factories of the Future

Filtenborg Buhl, J., Grønhøj, R., Kjær Jørgensen, J., Mateus, G., Pinto, D., Krunderup Sørensen, J., Bøgh, S. & Chrysostomou, D., 2019, (Accepteret/In press) 29th International Conference on Flexible Automation and Intelligent Manufacturing: FAIM 2019. 8 s.

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

Industrial plants
Robots
Motion planning
Software architecture
Middleware

Analysis of the Effect of Query Shapes onPerformance over LDF Interfaces

Montoya, G., Keles, I. & Hose, K., 2019, Proceedings of the QuWeDa 2019: 3rd Workshop on Querying and Benchmarking the Web of Data co-located with 18th International Semantic Web Conference (ISWC 2019). CEUR Workshop Proceedings, Bind 2496. s. 51 66 s. (CEUR Workshop Proceedings).

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

Åben adgang
Query processing
Semantic Web
Servers

An MBR-Oriented Approach for Efficient Skyline Query Processing

Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, (Accepteret/In press) The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, (Proceedings of the International Conference on Data Engineering).

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

An Open Source Dataset and Ontology for Product Footprinting

Hose, K., Lissandrini, M., Ghose, A. & Weidema, B. P., 2019, The Semantic Web: ESWC 2019 Satellite Events.

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

life cycle
industrial ecology
footprint
product
environmental impact

A Novel Reconfigurable Revolute Joint with Adjustable Stiffness

li, Z., Chen, W. & Bai, S., 2019, 2019 International Conference on Robotics and Automation (ICRA). s. 8388-8393

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

A practical delivery route planning system

Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 349-350 2 s. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

Planning
Logistics
Industry
Scheduling
Costs

A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 70. s. 13:1-13:8 8 s.

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

Åben adgang
Natural language processing systems
Processing
Joining
Statistical methods

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 apr. 2019, 6th International Conference on Control Decision Information Technologies. Paris, France: IEEE

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

Åben adgang
Bearings (structural)
Condition monitoring
Open systems
Health
Signal systems

Assessment of Plastic Changes Following Bio-Robotic Rehabilitation of Spinal Cord Injured Individuals – A Protocol Proposal

Leerskov, K. K., Struijk, L. N. S. A. & Spaich, E. G., 2019, Converging Clinical and Engineering Research on Neurorehabilitation III: Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy. Springer, s. 866-870 5 s. (Biosystems and Biorobotics, Bind 21).

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

Robotics
Spinal Cord
Rehabilitation
Therapeutic Uses
Spinal Cord Injuries

Augmented Reality Technology for Displaying Close-Proximity Sub-Surface Positions

Hald, K., Rehm, M. & Moeslund, T. B., 2019, (Accepteret/In press) 17th IFIP TC.13 International Conference on Human-Computer Interaction - INTERACT 2019 . Springer Publishing Company

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

Augmented reality
Display devices
Communication
Testing
Experiments

Bio-inspired tendon driven mechanism for simultaneous finger joints flexion of a soft hand exoskeleton

Abdelhafiz, M., Spaich, E. G., Dosen, S. & Struijk, L. N. S. A., 2019, 2019 IEEE 16th International Conference on Rehabilitation Robotics (ICORR). IEEE, s. 1073-1078 6 s. (I E E E International Conference on Rehabilitation Robotics. Proceedings, Bind 16).

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

Tendons
Musculoskeletal system
Pulleys
End effectors
Patient rehabilitation

Calibrating, rendering and evaluating the head mounted light field display

Hansen, A. J., Klein, J. & Kraus, M., 1 jan. 2019, Computer Vision, Imaging and Computer Graphics – Theory and Applications - 12th International Joint Conference, VISIGRAPP 2017, Revised Selected Papers. Richard, P., Telea, A., Yamaguchi, T., Tremeau, A., Bechmann, D., Cláudio, A. P., Linsen, L. & Imai, F. (red.). Physica-Verlag, s. 3-28 26 s. (Communications in Computer and Information Science, Bind 983).

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

Display devices
Pixels
Cameras
Helmet mounted displays
Image quality

Co-Designing and Field-Testing Adaptable Robots for Triggering Positive Social Interactions for Adolescents with Cerebral Palsy

Mariager, C. S., Fischer, D. K. B., Kristiansen, J. & Rehm, M., 2019, (Accepteret/In press) 28th IEEE International Conference on Robot and Human Interactive Communication (ROMAN). The 28th IEEE International Conference on Robot and Human Interactive Communication: IEEE Computer Society Press

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

Robots
Testing
Health care
63 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 7 sep. 2019, (Accepteret/In press) Distributed Simulation and Real-Time Applications.

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

Fil
Scheduling

Connection-Based Bluetooth Mesh Network as a Low Energy Solution for Off-Grid Data Networks

Dvinge, R. T. E., Stalmach, A. & Nalpantidis, L., 1 maj 2019, 2019 8th International Conference on Modern Circuits and Systems Technologies, MOCAST 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, 8741589. (2019 8th International Conference on Modern Circuits and Systems Technologies, MOCAST 2019).

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

Bluetooth
Topology
Drain current
Sensor networks
Electric power utilization

Continuous Range Queries over Multi-Attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, (Accepteret/In press) The 35th IEEE International Conference on Data Engineering (ICDE). IEEE

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

Control of HVAC-systems with Slow Thermodynamic Using Reinforcement Learning

Blad, C., Koch, S., Ganeswarathas, S., Kallesøe, C. & Bøgh, S., 2019, 29th International Conference on Flexible Automation and Intelligent Manufacturing: FAIM 2019. 8 s.

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

Control structure designfora CO2 -refrigeration system with heat recovery

Reyes-Lúa, A., Andreasen, G., Larsen, L. F. S., Stoustrup, J. & Skogestad, S., 28 jun. 2019, 29th European Symposium on Computer Aided Process Engineering. Elsevier, Bind 46. s. 1243-1248 6 s. (Computer Aided Chemical Engineering, Bind 46).

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

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

Schneiders, E. & Skov, M. B., 25 aug. 2019, INTERACT: IFIP Conference on Human-Computer Interaction. Bind 11747. s. 678-687|

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

Air quality
Visualization
Air pollution
Carbon footprint
Greenhouse gases

Data-Driven Modeling of a CO2 Refrigeration System

Andreasen, G., Stoustrup, J., Izadi-Zamanabadi, R., Á. Pardiñas, Á. & Hafner, A., 29 aug. 2019, 2019 American Control Conference (ACC). IEEE, s. 5385-5390 6 s. (American Control Conference).

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

Data-driven modelling of a R744 refrigeration system with parallel compression configuration

Andreasen, G., Stoustrup, J., Izadi-Zamanabadi, R., Á. Pardiñas, Á. & Hafner, A., 12 apr. 2019, (Accepteret/In press) 25th IIR international congress of refrigeration.

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

Decentralized Indexing over a Network of RDF Peers

Aebeloe, C., Montoya, G. & Hose, K., 2019, The Semantic Web - ISWC 2019. Springer, (Lecture Notes in Computer Science).

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

Query processing
Servers
Semantic Web
Availability
Experiments

Demonstration of a Time-predictable Flight Controller on a Multicore Processor

Baris, O., Majumder, S., Biskopstø Strøm, T., la Cour-Harbo, A., Sparsø, J., Bak, T. & Schoerbel, M., 11 jul. 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, 2 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

Demonstrations
Flight simulators
Controllers
Unmanned aerial vehicles (UAV)
Drones

Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, s. 1933-1936 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Time series
Demonstrations
Sensors

Designing a brain computer interface for control of an assistive robotic manipulator using steady state visually evoked potentials

Kæseler, R. L., Jochumsen, M., Leerskov, K., Struijk, L. N. S. A. & Dremstrup, K., jul. 2019, IEEE 16th International Conference on Rehabilitation Robotics (ICORR), 2019. IEEE, s. 1-6 6 s. (I E E E International Conference on Rehabilitation Robotics. Proceedings).

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

Brain computer interface
Bioelectric potentials
Manipulators
Robotics
Flickering
34 Downloads (Pure)

Detection of Marine Animals in a New Underwater Dataset with Varying Visibility

Pedersen, M., Haurum, J. B., Gade, R., Moeslund, T. B. & Madsen, N., jun. 2019, (Accepteret/In press) IEEE Conference on Computer Vision and Pattern Recognition Workshops.

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

Åben adgang
Fil

Developing a user-centred Communication Pad for Cognitive and Physical Impaired People

Ilyas, C. M. A., Rodil, K. & Rehm, M., 7 nov. 2019, Developing a user-centred Communication Pad for Cognitive and Physical Impaired People. Springer Publishing Company

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

Communication
Conveying
Lighting
Cameras
Feedback

Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 apr. 2019, Proceedings of the ICDE 2019.

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

Time series
Information theory
Experiments

Exploiting Ratings, Reviews and Relationships for Item Recommendations in Topic Based Social Networks

Li, P., Lu, H., Zheng, G., Zheng, Q., Yang, L. & Pan, G., 2019, (Accepteret/In press) Proceedings of the 30th Web Conference (WWW).

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

Exploring the Data Wilderness through Examples

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2019, Proceedings of the 2019 International Conference on Management of Data (SIMGOD/PODS). s. 2031-2035

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

Query languages
Semantics

Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 jun. 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, s. 170-180

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

Åben adgang
Learning systems
Chemical activation

Graph Convolutional Networks for Road Networks

Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 18 sep. 2019, (Accepteret/In press) Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. 4 s.

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

Åben adgang
Fil
Learning systems
Fusion reactions
Neural networks

How Diverse Are Federated Query Execution Plans Really?

Jakobsen, A. L., Montoya, G. & Hose, K., 2019, The Semantic Web: ESWC 2019 Satellite Events. Springer, s. 105 119 s. (Lecture Notes in Computer Science; Nr. 11762, Bind LNCS).

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

Engines
Demonstrations

How new is the (RDF) news? Assessing knowledge graph completeness over news feed entities

Sagi, T., Wolf, Y. & Hose, K., 13 maj 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 714-721 8 s. (The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019).

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

Human-data interaction and user rights at the personal robot era

Chatzimichali, A. & Chrysostomou, D., 21 maj 2019, (Accepteret/In press) 4th International Conference on Robot Ethics and Standards : ICRES 2019.

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

Data privacy
Robots
Robotics
Intellectual property
Industry

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). IEEE, 3 s. (International Conference on Advanced Learning Technologies (ICALT)).

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

Education
Students
Computer networks
Automation
Virtualization

Image-based Sea/Land Map Generation from Radar Data

Riera, F. J., Engholm, R., Jochumsen, L. W. & Moeslund, T. B., 14 feb. 2019, Proceedings of AVSS 2018 - 2018 15th IEEE International Conference on Advanced Video and Signal-Based Surveillance. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, 8639357. (Proceedings of AVSS 2018 - 2018 15th IEEE International Conference on Advanced Video and Signal-Based Surveillance).

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

radar
segmentation
pixel
learning
land

Indexing Trajectories for Travel-Time Histogram Retrieval

Waury, R., S. Jensen, C., Koide, S., Ishikawa, Y. & Xiao, C., 29 mar. 2019, Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings. Reinwald, B., Binnig, C., Kaoudi, Z., Galhardas, H., Herschel, M. & Fundulaki, I. (red.). OpenProceedings.org, s. 157-168 12 s. (Advances in Database Technology - EDBT, Bind 2019-March).

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

Travel time
Trajectories
Probability distributions
Global positioning system
Availability
9 Downloads (Pure)

Intelligent Injection Curing of Bacon

Philipsen, M. P. & Moeslund, T. B., 2019, (Accepteret/In press) 29th International Conference on Flexible Automation and Intelligent Manufacturing.

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

Åben adgang
Fil

Interaction Design for Domestic Sound Zones

Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., 2019, Audio Mostly 2019.

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

1 Downloads (Pure)

Interactive Environment for Testing SfM Image Capture Configurations

Nikolov, I. A. & Madsen, C. B., 27 feb. 2019, Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SCITEPRESS Digital Library

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

Fil
Product design
Lighting
Cameras
Scanning
Hardware

Inverse model identification of the thermal dynamics of a Norwegian zero emission house

Vogler-Finck, P. J. C., Clauß, J., Georges, L., Sartori, I. & Wisniewski, R., 2019, Cold Climate HVAC 2018: Sustainable Buildings in Cold Climates. Johansson, D., Bagge, H. & Wahlström, Å. (red.). 1 udg. Springer, s. 533-543 11 s. (Springer Proceedings in Energy).

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

4 Downloads (Pure)

Investigating EV Driving as Meaningful Practice

Jensen, R. H., Svangren, M. K., Skov, M. B. & Kjeldskov, J., 2019, (Accepteret/In press) Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

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

Fil
Electric vehicles
Human computer interaction

Investigating the Use of an Online Peer-to-Peer Car Sharing Service

Svangren, M. K., Brereton, M., Skov, M. B. & Kjeldskov, J., sep. 2019, (Accepteret/In press) The 17th IFIP TC.13 International Conference on Human-Computer Interaction. Springer Publishing Company

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

20 Downloads (Pure)

Is it Raining Outside? Detection of Rainfall using General-Purpose Surveillance Cameras

Haurum, J. B., Bahnsen, C. H. & Moeslund, T. B., 2019, IEEE Conference on Computer Vision and Pattern Recognition Workshops.

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

Åben adgang
Fil
Rain
Cameras
Convolution

Kraaler: A User-Perspective Web Crawler

Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8 s.

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Proc. of International Symposium on Formal Methods: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). Bind 11800. s. 651 669 s. (Lecture Notes in Computer Science).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing