Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Spatial Data Quality in the IoT Era: Management and Exploitation

    Li, H., Tang, B., Lu, H., Cheema, M. A. & Jensen, C. S., 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, s. 2474-2482 9 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

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

  • Spatial Keyword Querying of Geo-Tagged Web Content

    Jensen, C. S., 2013, Proceedings of the Seventh International Workshop on Ranking in Databases. Association for Computing Machinery, 4 s. 1

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

  • Spatial Mixer: Cross-Device Interaction for Music Mixing

    Kjeldskov, J., Paay, J. M., Sørensen Nilsson, A., Plejdrup, K. & Thomsen Pedersen, M., dec. 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, s. 85-94 10 s.

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

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

  • Spatial Queries for Indoor Location-based Services

    Liu, T., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, s. 322-324 3 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

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

  • Spatio-Temporal Database Support for Legacy Applications

    Böhlen, M., Jensen, C. S. & Skjellaug, B., 1998, Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. s. 226-234

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

    23 Citationer (Scopus)

  • Spatiotemporal Data Cleansing for Indoor RFID Tracking Data

    Baba, A., Lu, H., Xie, X. & Pedersen, T. B., 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Bind 1. s. 187-196 (I E E E International Conference on Mobile Data Management. Proceedings, Bind 1).

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

    21 Citationer (Scopus)

  • Spatio-Temporal Ensemble Prediction on Mobile Broadband Network Data

    Samulevicius, S., Pitarch, Y., Pedersen, T. B. & Sørensen, T. B., 2 jun. 2013, Vehicular Technology Conference (VTC Spring), 2013 IEEE 77th. IEEE, 5 s. (I E E E V T S Vehicular Technology Conference. Proceedings).

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

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

  • Spatio-temporal graph convolutional network for stochastic traffic speed imputation

    Cuza, C. E. M., Ho, N., Zacharatou, E. T., Pedersen, T. B. & Yang, B., 1 nov. 2022, 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2022. Renz, M., Sarwat, M., Nascimento, M. A., Shekhar, S. & Xie, X. (red.). Association for Computing Machinery, s. 1-12 14. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    48 Downloads (Pure)

  • Spatio-Temporal Joins on Symbolic Indoor Tracking Data

    Lu, H., Yang, B. & Jensen, C. S., 2011, 2011 IEEE 27th International Conference on Data Engineering (ICDE). IEEE Computer Society Press, s. 816-827 12 s.

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

    38 Citationer (Scopus)

  • Spatio-temporal models and languages: An approach based on data types

    Güting, R. H., Vazirgiannis, M., Böhlen, M., Erwig, M., Forlizzi, L., Jensen, C. S., Lorentzos, N., Nardelli, E. & Schneider, M., 2003, Spatiotemporal Databases: The Chorochronos Approach. Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Guting, R. H., Jensen, C. S., Lorentzos, N. & Manolopoulos, Y. (red.). IEEE Computer Society Press, s. 117-176 (Lecture Notes in Computer Science; Nr. 2520).

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

  • Spatio-Temporal Rule Mining: Issues and Techniques

    Gidofalvi, G. & Pedersen, T. B., 2005, Proceedings of the Seventh International Conference on Data Warehousing and Knowledge Discovery. Springer, Bind 3589. s. 275-284

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

    15 Citationer (Scopus)

  • Spatio-Temporal Trajectory Similarity Learning in Road Networks

    Fang, Z., Du, Y., Zhu, X., Hu, D., Chen, L., Gao, Y. & Jensen, C. S., 2022, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. s. 347-356 10 s. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

    15 Citationer (Scopus)

  • SpeakNav: A voice-based navigation system via route description language understanding

    Bi, L., Cao, J., Li, G., Viet Hung, N. Q., Jensen, C. S. & Zheng, B., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE, s. 2669-2672 4 s. 9458708. (Proceedings - International Conference on Data Engineering).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    62 Downloads (Pure)

  • Specification-Based Data Reduction in Dimensional Data Ware-houses

    Skyt, J., Jensen, C. S. & Pedersen, T. B., 2002, Proceedings of the 18th International Conference on Data Engineering(ICDE 2002), San José, USA, Feb. 26 - March 1 2002. IEEE Computer Society Press, s. 278-

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

  • Specification of asynchronous component systems with modal I/O-Petri nets

    Haddad, S., Hennicker, R. & Møller, M. H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 219-234 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

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

    6 Citationer (Scopus)

  • Specifying OLAP Cubes on XML Data

    Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management, SSDBM 2001. IEEE Computer Society Press, s. 101-112

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

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (red.). Springer, s. 79-96 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    Åben adgang
    2 Citationer (Scopus)

  • Speculative and Critical Design in Education: Practice and Perspectives

    Helgason, I., Smyth, M., Encinas, E. & Mitrovic, I., 2020, DIS 2020 Companion - Companion Publication of the 2020 ACM Designing Interactive Systems Conference. Association for Computing Machinery, s. 385-388 4 s.

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

    12 Citationer (Scopus)

  • Speed and energy consumption for electrical vehicles

    David, R. S., Zimányi, E., Torp, K. & Sakr, M., 1 nov. 2022, Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022. Berres, A., Kurte, K. & Xu, H. (red.). Association for Computing Machinery, s. 80-89 10 s. (Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022).

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

    1 Citationer (Scopus)

  • SPI and Organizational Change

    Nielsen, P. A. & Nørbjerg, J., 2001, OASIS 2001 : Workshop on Organizations and Society, New Orleans, December, 2001. (eds.), N. J. E. A. (red.).

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

  • Spicing It Up: From Ubiquitous Devices to Tangible Things Through Provocation

    Jensen, R. H., Encinas, E. & Raptis, D., 13 feb. 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction: TEI '22. Association for Computing Machinery, s. 1-15 33

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    137 Downloads (Pure)

  • Spooning in the Kitchen

    Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., nov. 2011, Proceedings of Workshop on The Body In Design. Loke, L. & Robertson, T. (red.). University of Technology, Sydney, s. 30-33 4 s.

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

    Åben adgang
    Fil
    172 Downloads (Pure)

  • SpotADAPT: Spot Aware (re-)Deployment of Analytical Processing Tasks on Amazon EC2

    Kaulakiene, D., Thomsen, C., Pedersen, T. B., Cetintemel, U. & Kraska, T., 23 okt. 2015, Proceedings of the ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). New York, NY, USA: Association for Computing Machinery, s. 59-68 10 s.

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

    7 Citationer (Scopus)

  • ST–ACTS: A Spatio-Temporal Activity Simulator

    Gidofalvi, G. & Pedersen, T. B., 2006, Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. Association for Computing Machinery, s. 155-162 8 s.

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

  • Staging Constructionist Learning about Energy for Children with Electrochromic Displays and Low-Cost Materials

    Löchtefeld, M., Milthers, A. D. B. & Merritt, T., 2021, MUM 2021: 20th International Conference on Mobile and Ubiquitous Multimedia. New York, NY, USA: Association for Computing Machinery, s. 73–83 (MUM 2021).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    77 Downloads (Pure)

  • Standardising Software Processes - An Obstacle for Innovation?

    Aaen, I. & Pries-Heje, J., 2004, IFIP WG 8.6 Seventh Working Conference on IT Innovation for Adaptablity and Competitiveness: Ifip Tc8. Fitzgerald, B. & Wynn, E. (red.). Kluwer Academic Publishers, s. 17-133

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

  • Standardization: Network Economics and IT

    Andersen, E. S., Damsgaard, J., Hanseth, O., King, J. L., Markus, M. L. & Monteiro, E., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 521-525

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

  • Standardizing software processes-an obstacle for innovation?

    Aaen, I. & Pries-Heje, J., 2004, IT innovation for Adaptability and Competitiveness - IFIP TC8 / WG8.6 7th Working Conference on IT Innovation for Adaptability and Competitiveness. Springer Publishing Company, s. 117-133 17 s. (I F I P Advances in Information and Communication Technology, Bind 141).

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

    Åben adgang

  • StarBench: Benchmarking RDF-star Triplestores

    Abuoda, G., Aebeloe, C., Dell'Aglio, D., Keen, A. & Hose, K., 2023, Joint Proceedings of the QuWeDa and MEPDaW 2023: 7th Workshop on Storing, Querying and Benchmarking Knowledge Graphs and 9th Workshop on Managing the Evolution and Preservation of the Data Web co-located with 22nd International Semantic Web Conference (ISWC 2023). CEUR Workshop Proceedings, 16 s. (CEUR Workshop Proceedings, Bind 3565).

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

    Åben adgang
    Fil
    4 Downloads (Pure)

  • StarER: a Conceptual Model for Data Warehouse Design

    Tryfona, N., Busborg, F. & Christiansen, J. B., 1999, ACM Second International Workshop on Data Warehousing and OLAP. s. 3-8

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

    182 Citationer (Scopus)

  • Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 jul. 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, s. 527-546 (Lecture Notes in Computer Science, Bind 10981).

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    219 Downloads (Pure)

  • Static Guard Analysis in Timed Automata Verification

    Behrmann, G., Bouyer, P., Fleury, E. & Larsen, K. G., 2003, Proceedings of TACAS 2003. IEEE Computer Society Press, s. 254-277 (Lecture Notes in Computer Science; Nr. 2619).

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

    52 Citationer (Scopus)

  • Static validation of licence conformance policies

    Hansen, R. R., Nielson, F., Nielson, H. R. & Probst, C. W., 2008, ARES 2008: Proceedings of the Third International Conference on Availability, Security and Reliability. IEEE Computer Society Press, s. 1104-1111

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

    9 Citationer (Scopus)

  • Statistical Model Checking: Past, Present, and Future

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Springer, s. 3–15 (Lecture Notes in Computer Science, Bind 9952).

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

    27 Citationer (Scopus)

  • Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

    Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Bind 7595. s. 7-10 (Lecture Notes in Computer Science).

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

    7 Citationer (Scopus)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 aug. 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (red.). Springer, s. 61-78 18 s. (Lecture Notes in Computer Science, Bind 13255).

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

    1 Citationer (Scopus)

  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 sep. 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (red.). Newcastle Upon Tyne, s. 122-136 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 92).

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

    51 Citationer (Scopus)

  • Statistical model checking past, present, and future (Track Introduction)

    Larsen, K. G. & Legay, A., 18 okt. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8803. s. 135-142 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

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

    21 Citationer (Scopus)

  • Statistical model checking QoS properties of systems with SBIP

    Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, s. 327-341 15 s. (Lecture Notes in Computer Science, Bind 7609).

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

    20 Citationer (Scopus)

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

    5 Citationer (Scopus)

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

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

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 jul. 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, s. 76-82 7 s.

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

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

  • Staying Alive as Cheaply as Possible

    Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

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

    51 Citationer (Scopus)

  • Stitching Inter-Domain Paths over IXPs

    Kotronis, V., Klöti, R., Rost, M., Georgopoulos, P., Ager, B., Schmid, S. & Dimitropoulos, X., 2016, SOSR '16 Proceedings of the Symposium on SDN Research. Association for Computing Machinery, 12 s. 17

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

    15 Citationer (Scopus)

  • ST-MoE: Spatio-Temporal Mixture-of-Experts for Debiasing in Traffic Prediction

    Li, S., Cui, Y., Zhao, Y., Yang, W., Zhang, R. & Zhou, X., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1208–1217 10 s.

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

  • Stochastic Origin-Destination Matrix Forecasting Using Dual-Stage Graph Convolutional, Recurrent Neural Networks

    Hu, J., Yang, B., Guo, C., Jensen, C. S. & Xiong, H., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 1417-1428 12 s. 9101647. (Proceedings of the International Conference on Data Engineering).

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

    69 Citationer (Scopus)

  • Stochastic Pi-calculus Revisited

    Cardelli, L. & Mardare, R. I., 2013, Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Liu, Z., Woodcock, J. & Zhu, H. (red.). Springer Berlin Heidelberg: Springer Publishing Company, Bind 8049. s. 1-21 21 s. (Lecture Notes in Computer Science, Bind 8049).

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

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

    9 Citationer (Scopus)

  • Stochastic skyline route planning under time-varying uncertainty

    Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE, s. 136-147 12 s.

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

    114 Citationer (Scopus)

  • Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

    Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, s. 1274-1285 12 s. 8731475. (Proceedings of the International Conference on Data Engineering).

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

    69 Citationer (Scopus)