• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Konferenceartikel i proceeding
2018

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 jan. 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (red.). Springer, s. 261-270 10 s. (Lecture Notes in Computer Science, Bind 11245 LNCS).

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

3 Citationer (Scopus)
41 Downloads (Pure)

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., sep. 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, s. 1-10 10 s. 8515598

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

Åben adgang
Fil
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications
3 Citationer (Scopus)

Stochastic shortest path finding in path-centric uncertain road networks

Andonov, G. & Yang, B., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 40-45 6 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Travel time
Global positioning system
Trajectories
2 Citationer (Scopus)

Tail call elimination and data representation for functional languages on the Java virtual machine

Madsen, M., Zarifi, R. & Lhoták, O., 24 feb. 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (red.). Association for Computing Machinery, s. 139-150 12 s.

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

Polymorphism
Computer programming languages
Ecosystems
Virtual machine
7 Citationer (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 mar. 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 s. 3185468

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

Switches
Software defined networking
Computer systems
Servers
5 Citationer (Scopus)

TeleHuman2: A cylindrical light field teleconferencing system for life-size 3D human telepresence

Gotsch, D., Zhang, X., Merritt, T. & Vertegaal, R., 20 apr. 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Bind 2018-April.

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

teleconferencing
stereoscopy
parallax
conversation
projectors
6 Citationer (Scopus)
24 Downloads (Pure)

Temporal Data Management—An Overview

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 jan. 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimanyi, E. (red.). Springer, Bind 324. s. 51-83 33 s. (Lecture Notes in Business Information Processing).

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

Åben adgang
Fil
Processing
Travel time
Data acquisition
2 Citationer (Scopus)
247 Downloads (Pure)

The Role of UX Professionals in Agile Development: A Case Study From Industry

Bruun, A., Larusdottir, M., Nielsen, L., Nielsen, P. A. & Persson, J. S., 1 okt. 2018, Proceedings of the 10th Nordic conference on Computer-Human Interaction (NordiCHI '18). Association for Computing Machinery, s. 352-363 12 s.

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

Åben adgang
Fil
Industry
Human computer interaction
Managers
197 Downloads (Pure)

The SEE toolkit: How Young Adults Manage Low Self-esteem Using Personal Technologies

Paay, J., Larsen, H. & Nielsen, H., 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 183-186 4 s. 42

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

Åben adgang
Fil
50 Downloads (Pure)

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Klein, S. T., Martin-Vide, C. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 (Lecture Notes in Computer Science; Nr. 10792).

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

Åben adgang
Fil
Semi-Markov Process
Probabilistic Automata
Algorithmic Complexity
Markovian Process
Residence Time

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, s. 146-152 7 s. 8511477

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

Unmanned aerial vehicles (UAV)
Motion planning
Controllers
12 Downloads (Pure)

Top-k diversification for path queries in knowledge graphs

Aebeloe, C., Setty, V., Montoya, G. & Hose, K., 1 jan. 2018, Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks. Van Erp, M., Atre, M., Lopez, V., Srinivas, K. & Fortuna, C. (red.). CEUR Workshop Proceedings, 4 s. (CEUR Workshop Proceedings, Bind 2180).

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

Åben adgang
Fil
Engines
Experiments

Towards Efficient Query Processing over Heterogeneous RDF Interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Emerging Topics in Semantic Technologies: ISWC 2018 Satellite Events. Demidova, E., Zaveri, A. J. & Simperl, E. (red.). IOS Press, s. 39-53 (Studies on the Semantic Web, Bind 36).

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

Query processing
Hybrid systems
Experiments
6 Downloads (Pure)

Towards efficient query processing over heterogeneous RDF interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Proceedings of the 2nd Workshop on Decentralizing the Semantic Web. CEUR Workshop Proceedings, Bind 2165. (CEUR Workshop Proceedings).

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

Åben adgang
Fil
Query processing
Hybrid systems
Experiments
2 Citationer (Scopus)

Trajectory set similarity measure: An EMD-based approach

He, D., Ruan, B., Zheng, B. & Zhou, X., 1 jan. 2018, Databases Theory and Applications: 29th Australasian Database Conference, ADC 2018, Proceedings. Springer, s. 28-40 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10837 LNCS).

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

Trajectories
Earth (planet)

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Bind 6. 10 s. EU-TP1618

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

Learning systems
Controllers
Travel time
Fuel consumption
Railroad cars
2 Citationer (Scopus)

Using Smartwatch Inertial Sensors to Recognize and Distinguish Between Car Drivers and Passengers

Cano Hald, T., Junker, D. H., Mårtensson, M., Skov, M. & Raptis, D., 23 sep. 2018, Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery, s. 74-84 11 s.

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

Smartphones
Accelerometers
Application programs
Learning systems
Railroad cars
4 Citationer (Scopus)

Utilizing Device-level Demand Forecasting for Flexibility Markets

Neupane, B., Pedersen, T. B. & Thiesson, B., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 108-118 11 s.

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

Demand forecasting
Demand response
Forecast accuracy
Uncertainty
Household

UX in Agile before and during development

Larusdottir, M., Nielsen, L., Bruun, A., Larsen, L. B., Nielsen, P. A. & Persson, J. S., 29 sep. 2018, NordiCHI '18: Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 984-987 4 s.

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

Project management
Software engineering
Human computer interaction
2 Citationer (Scopus)

VIPTRA: Visualization and Interactive Processing on Big Trajectory Data

Ding, X., Chen, R., Chen, L., Gao, Y. & Jensen, C. S., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, s. 290-291 2 s.

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

Visualization
Trajectories
Processing
Demonstrations
Location based services
2 Citationer (Scopus)
109 Downloads (Pure)

Washing with the Wind: A Study of Scripting towards Sustainability

Jensen, R. H., Raptis, D., Kjeldskov, J. & Skov, M., 9 jun. 2018, DIS '18, Proceedings of the 2018 Conference on Designing Interactive Systems. Association for Computing Machinery, s. 1387-1400 14 s.

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

Fil
Washing
Sustainable development
Electricity
Laundries
Human computer interaction

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 jan. 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

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

Bisimulation
Branching
Equivalence
Pseudometric
Logic

What-if Analysis with Conflicting Goals: Recommending Data Ranges for Exploration

Nguyen, Q. V. H., Zheng, K., Weidlich, M., Zheng, B., Yin, H., Nguyen, T. T. & Stantic, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 89-100 12 s. 8509239

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

Scalability
Data acquisition

What makes it persuasive?

Hansen, S. B. G., Rabjerg, M. F. & Hovedskou, E. K. B., 18 apr. 2018, Persuasive 2018 : 13th international conference on Persuasive Technology. Ham, J., Karapanos, E., Morita, P. P. & Burns, C. M. (red.). Springer, s. 16-27 12 s. (Lecture Notes in Computer Science, Bind 10809).

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

2 Citationer (Scopus)
159 Downloads (Pure)

Why governing data is difficult: Findings from Danish Local Government

Benfeldt, O., Persson, J. S. & Madsen, S., 25 jun. 2018, Smart Working, Living and Organising: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings. Springer, s. 15-29 (I F I P, Bind 533).

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

Åben adgang
Fil
governance
assets
outgroup
electronic government
municipality
2017
1 Citation (Scopus)
200 Downloads (Pure)

ACCES: Offline Accuracy Estimation for Fingerprint-Based Localization

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

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

Åben adgang
Fil
Demonstrations
Smartphones
Interpolation
Navigation
Internet
4 Citationer (Scopus)

Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (red.). Springer, s. 159-168 10 s. (Lecture Notes in Computer Science, Bind 10516).

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

Usability engineering
Software engineering
Feedback
1 Citation (Scopus)

Activity-Driven Influence Maximization in Social Networks

Kumar, R., Saleem, M. A., Calders, T., Xie, X. & Pedersen, T. B., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, s. 345-348 (Lecture Notes in Computer Science, Bind 10536).

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

Seed
Experiments
11 Citationer (Scopus)
153 Downloads (Pure)

Aesthetic, Functional and Conceptual Provocation in Research Through Design

Raptis, D., Jensen, R. H., Kjeldskov, J. & Skov, M., 2017, DIS '17, Proceedings of the 2017 Conference on Designing Interactive Systems. Association for Computing Machinery, s. 29-41

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

Fil
Human computer interaction
20 Downloads (Pure)

A Lens for Evaluating Genetic Information Governance Models: Balancing Equity, Efficiency and Sustainability

Skorve, E., Vassilakopoulou, P., Aanestad, M. & Grünfeld, T., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & Scott, P. J. (red.). IOS Press, s. 298-302 (Studies in Health Technology and Informatics, Bind 235).

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

Åben adgang
Fil
6 Citationer (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 nov. 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

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

Telecommunication networks
Learning systems
Learning algorithms
Resource allocation
Labels
1 Citation (Scopus)
188 Downloads (Pure)

Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

Novak, M., Dragicevic, T., Blaabjerg, F. & Nyman, U. M., jul. 2017, Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 6 s. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).

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

Åben adgang
Fil
Model predictive control
Model checking
Power electronics
Electric potential
Uninterruptible power systems
1 Citation (Scopus)

A Network Architecture for Multi-Multi-Instance Learning

Tibo, A., Frasconi, P. & Jaeger, M., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I. Springer, s. 737-752 16 s. (Lecture Notes in Computer Science . Sublibrary: Lecture Notes in Artificial Intelligence, Bind 10534).

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

3 Citationer (Scopus)

A Platform for Developing and Maintaining Competences in PBL Supervision

Gnaur, D. & Huttel, H., dec. 2017, Emerging Technologies for Education: International Symposium on Emerging Technologies for Education. Huang, T-C., Lau, R., Huang, Y-M., Spaniol, M. & Yuen, C-H. (red.). Springer, s. 297-303 6 s. (Lecture Notes in Computer Science, Bind 10676).

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

Applying object-oriented bayesian networks for smart diagnosis and health monitoring at both component and factory level

Madsen, A. L., Søndberg-Jeppesen, N., Sayed, M. S., Peschl, M. & Lohse, N., 2017, Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. Springer, Bind Part II. s. 132-141 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10351 LNCS).

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

Bayesian networks
Industrial plants
Health
Monitoring
Welding
5 Citationer (Scopus)

A Self-Organizing Distributed and In-Band SDN Control Plane

Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, s. 2656-2657 2 s. (Proceedings of the International Conference on Distributed Computing Systems).

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

2 Citationer (Scopus)

Assessing the accuracy benefits of on-the-fly trajectory selection in fine-grained travel-time estimation

Waury, R., Hu, J., Yang, B. & Jensen, C. S., 29 jun. 2017, Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017. IEEE, s. 240-245 6 s. 7962458

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

Travel time
Trajectories
Availability

A Two-Way Path Between Formal and Informal Design of Embedded Systems

Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (red.). Springer, s. 65-92 (Lecture Notes in Computer Science, Bind 10134).

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

1 Citation (Scopus)

Bayesian models of data streams with Hierarchical Power Priors

Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Bind 70. s. 2334-2343

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

Åben adgang
Computational efficiency
2 Citationer (Scopus)

BioNex: A System For Biomedical News Event Exploration

Ernst, P., Mishra, A., Anand, A. & Setty, V. J., 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval . Association for Computing Machinery, s. 1277-1280

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

11 Downloads (Pure)

Brief announcement: Distributed SplayNets

Peres, B. S., Goussevskaia, O., Schmid, S. & Avin, C., 1 okt. 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 s. (Leibniz International Proceedings in Informatics, Bind 91).

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

Åben adgang
Fil
Communication
2 Citationer (Scopus)

CADLens: Haptic feedback for navigating in 3D environments

Haulrik, N., Petersen, R. M. & Merritt, T., 10 jun. 2017, DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, s. 127-131 5 s.

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

Computer aided design
Feedback
Navigation
Cameras
Controllers
3 Citationer (Scopus)

Calming Children When Drawing Blood Using Breath-based Biofeedback

Sonne, T., Merritt, T., Marshall, P., Lomholt, J. J., Müller, J. & Grønbæk, K., 10 jun. 2017, DIS 2017 - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, s. 725-737 13 s.

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

Medical Staff
Self-Help Devices
Fear
Parents
Technology
1349 Downloads (Pure)

Characterizing digital disruption in the general theory of disruptive innovation

Haase, L. M., Gertsen, F., Johansen, S. S. & Rosenstand, C. A. F., 2017, ISPIM Innovation Symposium. ISPIM Conference, 9 s.

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

Åben adgang
Fil
2 Citationer (Scopus)

Child-Computer Interaction SIG: Ethics and Values

Hourcade, J. P., Zeising, A., Iversen, O., Pares, N., Eisenberg, M., Quintana, C. & Skov, M., 2017, Proceedings of ACM CHI 2017 Conference on Human Factors in Computing Systems. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingFormidling

11 Citationer (Scopus)

Chronus: Consistent Data Plane Updates in Timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H. & Wu, J., 13 jul. 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, s. 319-327 9 s. 7979978. (Proceedings of the International Conference on Distributed Computing Systems).

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

Trees (mathematics)
Polynomials
Controllers
Experiments
2 Citationer (Scopus)

Collective travel planning in spatial networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Wen, J. R. & Kalnis, P., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 59-60 2 s. 7929932

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

Competitive clustering of stochastic communication patterns on a ring

Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, s. 231-247 17 s. (Lecture Notes in Computer Science, Bind 10299 LNCS).

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

Communication
Costs
Servers
Virtual machine

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 jan. 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

Real time systems
Testing
2 Citationer (Scopus)
490 Downloads (Pure)

Content Recommendation for Viral Social Influence

Ivanov, S., Theocharidis, K., Terrovitis, M. & Karras, P., 2017, Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 565-574 10 s.

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

Åben adgang
Fil
Social influence
NP-hard
Approximation
Social networks
Propagation