• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2017
3 Citationer (Scopus)

Financial Data Analysis with PGMs Using AMIDST

Cabanas, R., Martinez, A. M., Masegosa, A. R., Ramos-Lopez, D., Sameron, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 30 jan. 2017, Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016. IEEE, s. 1284-1287 4 s. 7836816

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

Economics
2 Citationer (Scopus)

Finding Influential Local Users with Similar Interest from Geo-tagged Social Media Data

Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 82-91 10 s.

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

6 Citationer (Scopus)

Formal validation of supervisory energy management systems for microgrids

Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., okt. 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, s. 1154-1159 6 s.

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

Energy management systems
Renewable energy resources
Real time systems
Energy storage
Physics
10 Citationer (Scopus)

Generation and evaluation of flex-offers from flexible electrical devices

Neupane, B., Siksnys, L. & Pedersen, T. B., 16 maj 2017, e-Energy 2017 - Proceedings of the 8th International Conference on Future Energy Systems. Association for Computing Machinery, s. 143-156 14 s.

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

Electric vehicles
Pumps
Economics
Hot Temperature
2 Citationer (Scopus)
118 Downloads (Pure)

GeoSemOLAP: Geospatial OLAP on the Semantic Web Made Easy

Gur, N., Nielsen, J., Hose, K. & Pedersen, T. B., apr. 2017, Proceedings of the 26th International Conference on World Wide Web Companion. Association for Computing Machinery, s. 213-217

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

Åben adgang
Fil
Semantic Web
Processing

GlowPhones: Designing for Proxemics Play with Low-Resolution Displays in Location-based Games

Merritt, T., Nielsen, C. L., Jakobsen, F. L. & Grønbæk, J. E., 2017, CHI PLAY ´17: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, s. 69-81 13 s.

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

2 Citationer (Scopus)

IMaxer: A unified system for evaluating influence maximization mechanisms in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 6 nov. 2017, CIKM 2017 - Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2523-2526 4 s. (Conference on Information and Knowledge Management).

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

Marketing
Application programming interfaces (API)
Demonstrations
Visualization
Pipelines
5 Citationer (Scopus)
341 Downloads (Pure)

Indoor Localization Accuracy Estimation from Fingerprint Data

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 31 maj 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Åben adgang
Fil
Wi-Fi
Bluetooth
Interpolation
Sensors
Uncertainty
136 Downloads (Pure)

Inferring types for parallel programs

Martins, F., Vasconcelos, V. T. & Hüttel, H., 8 apr. 2017, Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . Vasconcelos, V. T. & Haller, P. (red.). Open Publishing Association, Bind 246. s. 28-36 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246).

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

Åben adgang
Fil
Message passing
Set theory
Network protocols
147 Downloads (Pure)

Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

Rennela, M., Staton, S. & Furber, R., 1 jan. 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (red.). Open Publishing Association, s. 161-173 13 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 236).

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

Åben adgang
Fil
Presheaves
W-algebras
Matrix Algebra
Dimensionality
Completely Positive Maps
4 Citationer (Scopus)
16 Downloads (Pure)

In-Memory Spatial Join: The Data Matters!

Nobari, S., Qu, Q. & Jensen, C. S., mar. 2017, Proceedings of the 20th International Conference on Extending Database Technology. OpenProceedings.org, 4 s. (Advances in Database Technology).

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

Åben adgang
Fil
1 Citation (Scopus)

Interactive Intersection Analysis using Trajectory Data

Borresen, J. L., Andersen, O., Jensen, C. S. & Torp, K., nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Association for Computing Machinery, 4 s. 87

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

10 Citationer (Scopus)
136 Downloads (Pure)

Investigating Cross-Device Interaction between a Handheld Device and a Large Display

Paay, J., Raptis, D., Kjeldskov, J., Skov, M., Ruder, E. V. & Lauridsen, B. M., 2017, CHI '17, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 6608-6619

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

Fil
Display devices
Smartphones
Human computer interaction
Air
1 Citation (Scopus)

Ladda: SPARQL Queries in the Fog of Browsers

Grall, A., Folz, P., Montoya, G., Skaf-Molli, H., Molli, P., Vander Sande, M. & Verborgh, R., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 126-131 (Lecture Notes in Computer Science, Bind 10577).

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

Åben adgang
Fog
Servers
Program processors
Throughput
Engines
210 Downloads (Pure)

Literature Survey on Interaction Design and Existing Software Applications for Dyslectic Users

Vangeli, P. & Stage, J., 1 dec. 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (red.). Springer, s. 331-344 (Advances in Intelligent Systems and Computing, Bind 725).

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

Åben adgang
Fil
Application programs
5 Citationer (Scopus)

Load-Optimal Local Fast Rerouting for Resilient Networks

Pignolet, Y. A., Schmid, S. & Tredan, G., 30 aug. 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, s. 345-356 12 s. 8023135

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

Routing algorithms
Computer networks
Parallel algorithms
Communication
16 Citationer (Scopus)

Location influence in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 621-630 10 s.

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

Data structures
Data storage equipment
Experiments
67 Downloads (Pure)

MAIME: A Maintenance Manager for ETL Processes

Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 mar. 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 s. 8. (CEUR Workshop Proceedings, Bind 1810).

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

Åben adgang
Fil
Managers
Mathematical transformations
Servers
Competitive intelligence
Industry
5 Citationer (Scopus)

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (red.). Portugal: SCITEPRESS Digital Library, Bind 1. s. 427-434

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

Multi-Agent Pathfinding with n Agents on Graphs with n Vertices: Combinatorial Classification and Tight Algorithmic Bounds

Förster, K-T., Groner, L., Hoefler, T., König, M., Schmid, S. & Wattenhofer, R., 17 apr. 2017, Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings. Springer, s. 247 13 s. (Lecture Notes in Computer Science, Bind 10236).

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

8 Citationer (Scopus)

Mutation-Based Test-Case Generation with Ecdar

Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 apr. 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, s. 319-328 10 s. 7899077

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

Testing
Specifications
Alarm systems
Railroad cars
1 Citation (Scopus)

Online tree caching

Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 jul. 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Bind Part F129316. s. 329-338 10 s.

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

3 Citationer (Scopus)

On the axiomatizability of quantitative algebras

Mardare, R. I., Panagaden, P. & Plotkin, G., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

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

Horn clause
Algebra
Quasivariety
Equational Theory
Model Theory
5 Citationer (Scopus)

On the Consistent Migration of Unsplittable Flows: Upper and Lower Complexity Bounds

Förster, K-T., dec. 2017, Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. IEEE

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

Dynamic programming
Switches
Hardness
Scheduling
8 Citationer (Scopus)

Outsmarting Network Security with SDN Teleportation

Thimmaraju, K., Schiff, L. & Schmid, S., 28 jun. 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, s. 563-578 16 s. 7962003

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

Network security
Telecommunication networks
Switches
Software defined networking
11 Citationer (Scopus)

O'zapft is: Tap your network algorithm's big data!

Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 aug. 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, s. 19-24 6 s.

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

Learning systems
Big data
Computer networks
Planning
1 Citation (Scopus)

Parallelizing Federated SPARQL Queries in Presence of Replicated Data

Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 181-196 (Lecture Notes in Computer Science, Bind 10577).

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

Åben adgang
Engines
Servers
Availability
Decomposition
1 Citation (Scopus)
83 Downloads (Pure)

Parameter learning algorithms for continuous model improvement using operational data

Madsen, A. L., Jeppesen, N. S., Jensen, F., Sayed, M. S., Moser, U., Neto, L., Reis, J. & Lohse, N., 2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Proceedings. Springer, s. 115-124 10 s. (Lecture Notes In Artificial Intelligence; Nr. 10369).

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

Åben adgang
Fil
Bayesian networks
Learning algorithms
Industrial robots
Software architecture
Robots
2 Citationer (Scopus)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, s. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Bind 10610).

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

173 Downloads (Pure)

Participatory Design with Dyslectics: Design and Evaluation of an Enhancing Reading Skills Tool

Vangeli, P. & Stage, J., 1 dec. 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (red.). Springer, s. 317-330 (Advances in Intelligent Systems and Computing, Bind 725).

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

Åben adgang
Fil
Application programs
Education
1 Citation (Scopus)
5 Downloads (Pure)

PeNeLoop: Parallelizing Federated SPARQL Queries in Presence of Replicated Fragments

Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, Joint Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops co-located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia, May 28th - to - 29th, 2017. CEUR Workshop Proceedings, Bind 1870. s. 37-50 14 s. (CEUR Workshop Proceedings, Bind 1870).

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

Åben adgang
Fil
Engines
Availability
Decomposition

Practical controller synthesis for MTL0,∞

Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 jul. 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, s. 102-111 10 s.

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

Temporal logic
Controllers
Model checking
Scalability
24 Citationer (Scopus)

Predicting completeness in knowledge bases

Galárraga, L., Razniewski, S., Amarilli, A. & Suchanek, F. M., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

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

ProjecTables: Augmented CNC Tools for Sustainable Creative Practices

Rasmussen, T. & Merritt, T., 2017, CAADRIA 2017: 22nd International Conference on Computer-Aided Architectural Design Research in Asia. The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), s. 757-767 11 s.

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

Åben adgang
Augmented reality
Rapid prototyping
Sustainable development
Materials properties
Wood
7 Citationer (Scopus)

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).

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

16 Downloads (Pure)

QBOAirbase: The European Air Quality Database as an RDF Cube

Galárraga, L., Ahlstrøm, K. & Hose, K., 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks: co-located with 16th International Semantic Web Conference (ISWC 2017). CEUR Workshop Proceedings, 4 s. 507. (C E U R Workshop Proceedings, Bind 1963).

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

Åben adgang
Fil
4 Citationer (Scopus)

Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, s. 75-90 (Lecture Notes in Computer Science).

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

Åben adgang
3 Citationer (Scopus)

Refinement of Trace Abstraction for Real-Time Programs

Cassez, F., Jensen, P. G. & Larsen, K. G., 7 sep. 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, s. 42-58 (Lecture Notes in Computer Science, Bind 10506).

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

4 Citationer (Scopus)

Reverse keyword-based location search

Xie, X., Lin, X., Xu, J. & Jensen, C. S., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 375-386 12 s. 7929992

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

Query processing
Location based services
Merging
Planning
12 Citationer (Scopus)

Reverse Top-k geo-social keyword queries in road networks

Zhao, J., Gao, Y., Chen, G., Jensen, C. S., Chen, R. & Cai, D., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 387-398 12 s. 7929993

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

Query processing
Marketing
Managers
Experiments
5 Citationer (Scopus)

Run, Walk, Crawl: Towards Dynamic Link Capacities

Singh, R., Ghobadi, M., Förster, K-T., Filer, M. & Gill, P., okt. 2017, Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets 2017). Association for Computing Machinery, s. 143-149

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

Telecommunication links
Signal to noise ratio
Optical cables
Wide area networks
Optical links

Sampling Frequency Effects on Trajectory Routes and Road Network Travel Time

Andersen, O. & Torp, K., 9 nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 30

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

1 Citation (Scopus)
51 Downloads (Pure)

SM4MQ: A Semantic Model for Multidimensional Queries

Varga, J., Dobrokhotova, E., Romero, O., Pedersen, T. B. & Thomsen, C., 16 maj 2017, The Semantic Web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I. Springer, s. 449-464 16 s. ( Lecture Notes in Computer Science, Bind 10249).

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

Åben adgang
Fil
Semantics
Processing
Semantic Web
Metadata
Data structures
3 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

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

Model checking
Costs
Specifications
2 Citationer (Scopus)

TABOO: Detecting unstructured sensitive information using recursive neural networks

Neerbek, J., Assent, I. & Dolog, P., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017 . IEEE, s. 1399-1400 2 s. (Proceedings of the International Conference on Data Engineering).

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

Semantics
Neural networks
Syntactics
Demonstrations
Engines
6 Citationer (Scopus)

Teaching Spatial Geometry in a Virtual World: Using Minecraft in Mathematics in Grade 5/6

Förster, K-T., 8 jun. 2017, 2017 IEEE Global Engineering Education Conference (EDUCON). IEEE, s. 1411-1418 8 s.

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

school grade
mathematics
Teaching
curriculum
primary education
9 Citationer (Scopus)

The Connected Car: An Empirical Study of Electric Cars as Mobile Digital Devices

Svangren, M. K., Skov, M. & Kjeldskov, J., 2017, MobileHCI '17: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 12 s. 6

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

The Dynamics of Agile Practices for Safety-Critical Software Development

Nielsen, P. A. & Tordrup Heeager, L., 26 maj 2017, Proceedings of the Scientific Workshops of XP2017 Proceedings. Hansen, G. K., Myklebust, T., Johnsen, S. O. & Doss, O. (red.). Cologne: Association for Computing Machinery, 21

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

Software engineering

The grand CRU challenge

Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 aug. 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, s. 7-11 5 s.

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

Managers
Semantics
11 Citationer (Scopus)

The Odyssey Approach for Optimizing Federated SPARQL Queries

Montoya, G., Skaf-Molli, H. & Hose, K., 2017, The Semantic Web - ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Springer, Bind 10587. s. 471-489 (Lecture Notes in Computer Science).

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

Åben adgang
Statistics
Data transfer
Dynamic programming
Costs
Engines