Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2017

    A Hierarchical Tree Distance Measure for Classification

    Caspersen., K. M., Madsen., M. B., Eriksen., A. B. & Thiesson., B., 2017, Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. SCITEPRESS Digital Library, s. 502-509

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    89 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    95 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    23 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    579 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    4 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Assessment Model for HCI Practice Maturity in Small and Medium Sized Software Development Companies

    Ogunyemi, A., Lamas, D., Stage, J. & Lárusdóttir, M., 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Springer, s. 55-69 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    5 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    28 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3243 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Formidling

    16 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    24 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    14 Citationer (Scopus)
    972 Downloads (Pure)

  • Convergence of even simpler robots without position information

    Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Bind 10299 LNCS. s. 69-85 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10299 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Cross-Device Interaction with Large Displays in Public: Insights from both Users’ and Observers’ Perspectives

    Paay, J., Kjeldskov, J., Raptis, D., Skov, M., Penchev, I. S. & Ringhauge, E., 2017, OZCHI '17 Proceedings of the 29th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 87-97 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

    Chen, J., Lu, H., Keles, I. & Jensen, C. S., 29 jun. 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 62-71 10 s. 7962437

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • DB2KB: A framework to publish a database as a knowledge base

    Bhuiyan, M. H., Bhattacharjee, A. & Nath, R. P. D., 1 dec. 2017, 2017 20th International Conference of Computer and Information Technology (ICCIT). IEEE, s. 1-7 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Demand-aware network designs of bounded degree

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    21 Citationer (Scopus)
    125 Downloads (Pure)

  • Demonstrating SolveDB: An SQL-based DBMS for optimization applications

    Šikšnys, L. & Pedersen, T. B., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017. IEEE, s. 1367-1368 2 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Dependable and optimal cyber-physical systems

    Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS udg. Springer, Bind 10139. s. 3-10 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10139 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Direction-Aware why-not spatial keyword Top-k queries

    Chen, L., Li, Y., Xu, J. & Jensen, C. S., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 107-110 4 s. 7929947

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)

  • Dynamic Capabilities and Project Management in Small Software Companies

    Nørbjerg, J., Nielsen, P. A. & Persson, J. S., jan. 2017, Proceedings of the 50th Annual Hawaii International Conference on System Sciences (HICSS). s. 5410-5419 (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    323 Downloads (Pure)

  • Efficient service graph embedding: A practical approach

    Nemeth, B., Sonkoly, B., Rost, M. & Schmid, S., 4 maj 2017, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2016. IEEE, s. 19-25 7 s. 7919470

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • ELVIS: Comparing Electric and Conventional Vehicle Energy Consumption and CO2 Emissions

    Bidragets oversatte titel: ELVIS: Sammenlign elektriske og konventionelle køretøjers energi forbrug og CO2 udledningAndersen, O., Krogh, B. B. & Torp, K., 21 aug. 2017, Advances in Spatial and Temporal Databases: 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 – 23, 2017, Proceedings. Springer VS, s. 421-426 6 s. (Lecture Notes in Computer Science, Bind 10411).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Enabling Completeness-aware Querying in SPARQL

    Prado, L. A. G. D., Hose, K. & Razniewski, S., 2017, Proceedings of the 20th International Workshop on the Web and Databases, WebDB 2017, Chicago, IL, USA, May 14-19, 2017. Association for Computing Machinery, s. 19-22

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

    Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 aug. 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, s. 603-622 (Lecture Notes in Computer Science, Bind 10460).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Extended dependency graphs and efficient distributed fixed-point computation

    Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Bind 10258 LNCS. s. 139-158 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10258 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    13 Citationer (Scopus)

  • Extracting Visited Points of Interest from Vehicle Trajectories

    Keles, I., Schubert, M., Kröger, P., Saltenis, S. & Jensen, C. S., 2017, Proceedings of the Fourth International ACM Workshop on Managing and Mining Enriched Geo-Spatial Data. Association for Computing Machinery, 6 s. 2

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    8 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    26 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    10 Citationer (Scopus)
    299 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    630 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    222 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    270 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    9 Citationer (Scopus)
    91 Downloads (Pure)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)