Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Engineering Compensations in Web Service Environment

    Schäfer, M., Dolog, P. & Nejdl, W., 2007, Web Engineering: 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings. Fraternali, P., Baresi, L. & Houben, G-J. (red.). Springer, (Lecture Notes in Computer Science; Nr. 4607).

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

    13 Citationer (Scopus)

  • Engaging stakeholders in construction and validation of Bayesian belief networks for groundwater protection

    Henriksen, H. J., Rasmussen, P., Brandt, G., von Bülow, D. & Jensen, F. V., 2004, IFAC.

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

  • Energy savings in mobile broadband network based on load predictions: opportunities and potentials

    Samulevicius, S., Pedersen, T. B., Sørensen, T. B. & Micallef, G., 8 maj 2012, 75th Vehicular Technology Conference (VTC Spring), 2012 IEEE. IEEE Press, 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
    12 Citationer (Scopus)
    672 Downloads (Pure)

  • Energy Data Management: Where Are We Headed? (panel)

    Pedersen, T. B., 2014, Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. Candan, K. S., Amer-Yahia, S., Schweikardt, N., Christophides, V. & Leroy, V. (red.). CEUR Workshop Proceedings, Bind 1133. s. 156 1 s. (CEUR Workshop Proceedings).

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

    Åben adgang

  • 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

  • Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

    Wognsen, E. R., Hansen, R. R., Larsen, K. G. & Koch, P., 20 apr. 2016, 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). IEEE, s. 163-168 6 s.

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

    Fil
    2 Citationer (Scopus)
    436 Downloads (Pure)

  • End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego

    Hasrat, I. R., Jensen, P. G., Larsen, K. G. & Srba, J., 2022, Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 363-380 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13299 LNCS).

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

    1 Citationer (Scopus)

  • ENCOURAGEing results on ICT for energy efficient buildings

    Le Guilly, T., Skou, A. J., Olsen, P., Madsen, P. P., Albano, M., Ferreira, L. L., Pinho, L. M., Pedersen, K. L., Casals, M., Macarulla, M. & Gongolells, M., 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference. IEEE, 8 s.

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

    2 Citationer (Scopus)

  • Enabling Time-Dependent Uncertain Eco-Weights For Road Networks

    Ma, Y., Yang, B. & Jensen, C. S., 2014, Proceedings of the 2014 Workshop on Managing and Mining Enriched Geo-Spatial Data. Association for Computing Machinery, 6 s. 1

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

    5 Citationer (Scopus)

  • Enabling Spatial OLAP Over Environmental and Farming Data with QB4SOLAP

    Gur, N., Hose, K., Pedersen, T. B. & Zimányi, E., 27 nov. 2016, Semantic Technology: 6th Joint International Conference, JIST 2016. Cham: Springer, s. 287-304 (Lecture Notes in Computer Science, Bind 10055).

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

    2 Citationer (Scopus)

  • Enabling self-aware smart buildings by augmented reality

    Aab, M., Chau, S. C. K. & Khonji, M., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 261-265 5 s.

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

    Åben adgang
    7 Citationer (Scopus)

  • Enabling Routes as Context in Mobile Services

    Brilingaite, A., Jensen, C. S. & Zokaite, N., 2004, Proceedings of the Twelfth ACM International Symposium on Advances in Geographic Information Systems. Association for Computing Machinery, s. 127-136

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

    11 Citationer (Scopus)

  • 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)

  • Empowerment Approaches in Digital Civics

    Cazacu, S., Hansen, N. B. & Schouten, B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 692-699

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

    11 Citationer (Scopus)

  • Emotion extraction from real time chat messenger

    Dey, L., Asad, M. U., Afroz, N. & Nath, R. P. D., 1 jan. 2014, 2014 International Conference on Informatics, Electronics and Vision, ICIEV 2014. IEEE Computer Society Press, 6850785. (2014 International Conference on Informatics, Electronics and Vision, ICIEV 2014).

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

    15 Citationer (Scopus)

  • Emergent Interaction: Complexity, Dynamics, and Enaction in HCI

    Bennett, D., Dix, A., Eslambolchilar, P., Feng, F., Froese, T., Kostakos, V., Lerique, S. & Van Berkel, N., 8 maj 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery, 7 s. 119

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

    3 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

  • Elucidative Programming in Open Integrated Development Environments for Java

    Vestdam, T., 2003, Proceedings of the 2nd International Conference on the Principles and Practice of Programming in Java, Kilkenny City, Ireland, June 16-18, 2003.

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

  • Elucidative Programming in Java

    Nørmark, K., Andersen, M. R., Christensen, C. N., Kumar, V., Pedersen, S. S. & Sørensen, K. L., 2000, 18th Annual Conference on Computer Documentation : IPCC SIGDOC 2000, ACM, September 2000. IEEE Signal Processing Society, s. 483-495

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

    3 Citationer (Scopus)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer, Bind LNCS 13872. s. 163-179 17 s. (Lecture Notes in Computer Science).

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

  • Eliciting Empathy towards Urban Accessibility Issues

    Paananen, V., Visuri, A., Van Berkel, N. & Hosio, S., 20 sep. 2023, CHItaly '23: Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter. Association for Computing Machinery, s. 1-13 14

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

    Åben adgang
    Fil
    16 Downloads (Pure)

  • Electric and Conventional Vehicle Driving Patterns

    Krogh, B. B., Andersen, O. & Torp, K., 4 nov. 2014, SIGSPATIAL'14:Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 473-476 4 s.

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

  • Elastic Systems

    Andersen, P. B., 2001, Human-Computer Interaction : Interact'01. IFIP TC 13 International Conference on Human-Computer Interaction, July 9-13, Tokyo, Japan. Hirose, M. (ed.) (red.). IOS Press, s. 367-374

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

  • eKISS: Sharing Experiences in Families through a Picture Blog

    Dahlsgaard, T., Skov, M. B. & Thomassen, B. R., 2007, Proceedings of HCI 2007 The 21st British HCI Group Annual Conference. British Computer Society, Bind 1. s. 67-76

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

    17 Citationer (Scopus)

  • E-government and the digital agenda for Europe a study of the user involvement in the digitalisation of citizen services in Denmark

    Billestrup, J. & Stage, J., 2014, Design, User Experience, and Usability. User Experience Design for Diverse Interaction Platforms and Environments: Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II. Marcus, A. (red.). PART 2 udg. Springer Publishing Company, s. 71-80 10 s. (Lecture Notes in Computer Science).

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

    5 Citationer (Scopus)

  • Eggventures: Strengthening Connectedness through Coop-Play

    Pedersen, T. R., Ivanova, I., Hjørringgaard, M., Fredsgård, J., Cornelius, F. K. B., Pust, O. E. & Pohl, H., 2 nov. 2022, CHI PLAY '22: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, s. 70-74 5 s.

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

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

  • Efficient Vessel Tracking  with Accuracy Guarantees

    Redoutey, M., Scotti, E., Jensen, C. S., Ray, C. & Claramunt, C., 2008, Web and Wireless Geographical Information SystemsVærtspublikationens undertitel: 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings. Springer, s. 140-151 (Lecture Notes in Computer Science; Nr. 5373).

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

    15 Citationer (Scopus)

  • Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

    Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, s. 14-24

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

    126 Citationer (Scopus)

  • Efficient Trajectory Similarity Computation with Contrastive Learning

    Deng, L., Zhao, Y., Fu, Z., Sun, H., Liu, S. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 365–374

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

    7 Citationer (Scopus)

  • Efficient Tracking of Moving Objects with Precision Guarantees

    Civilis, A., Jensen, C. S., Nenortaite, J. & Palalnis, S., 2004, Proceedings of the First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services. IEEE Computer Society Press, s. 164-173

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

    78 Citationer (Scopus)

  • Efficient Top-k Spatial Locality Search for Co-located Spatial Web Objects

    Qu, Q., Liu, S., Yang, B. & Jensen, C. S., 2014, Proceedings of the Fifteenth IEEE International Conference on Mobile Data Management. IEEE Press, s. 269-278

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

    23 Citationer (Scopus)

  • Efficient Timed Reachability Analysis using Clock Difference Diagrams

    Behrmann, G., Larsen, K. G., Pearson, J., Weise, C. & Yi, W., 1999, Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : Proceedings: Lecture Notes in Computer Science. Halbwachs, N. : Peled, D. (eds.) (red.). 1633 udg. IEEE Computer Society Press, s. 341-353

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

    91 Citationer (Scopus)

  • Efficient Skyline Computation in MapReduce

    Mullesgaard, K., Pedersen, J. L., Lu, H. & Zhou, Y., 2014, Proc. 17th International Conference on Extending Database Technology (EDBT). s. 37-48 12 s.

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

    63 Citationer (Scopus)

  • Efficient Similarity Search Using the Earth Mover's Distance for Large Multimedia Databases

    Assent, I., Wichterich, M., Meisen, T. & Seidl, T., 2008, IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008.. IEEE, s. 307-316 10 s.

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

    36 Citationer (Scopus)

  • Efficient Similarity Retrieval in Music Databases

    Ruxanda, M. M. & Jensen, C. S., 2006, Proceedings of the 13th International Conference on Management of Data. s. 56-67 12 s.

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

  • 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)

  • Efficient Search for Multi-Scale Time Delay Correlations in Big Time Series

    Ho, N. T. T., Pedersen, T. B., Ho, L. V. & Vu, M., 2 apr. 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G. & Khan, A. (red.). OpenProceedings.org, s. 37-48 12 s. (Advances in Database Technology).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    130 Downloads (Pure)

  • Efficient Querying of Correlated Uncertain Data with Cached Results

    Chen, J., Zhang, M., Xie, X. & Du, X., 2013, Database Systems for Advanced Applications: 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I. Meng, W., Feng, L., Bressan, S., Winiwarter, W. & Song, W. (red.). Springer-Verlag Berlin Heidelberg: Springer Publishing Company, Bind 7825. s. 472-486 (Lecture Notes in Computer Science, Bind 7825).

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

  • Efficient Quantile Retrieval on Multi-dimensional Data

    Yiu, M. L., Mamoulis, N. & Tao, Y., 2006, 10th International Conference on Extending Database Technology. Springer, s. 167-185

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

    3 Citationer (Scopus)

  • Efficient On-the-fly Algorithms for the Analysis of Timed Games

    Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & de Alfaro, L. (red.). IEEE Computer Society Press, s. 66-80 15 s. (Lecture Notes in Computer Science; Nr. 3653).

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

    204 Citationer (Scopus)

  • Efficient One-click Browsing of Large Trajectory Sets

    Krogh, B. B., Andersen, O., Lewis-Kelham, E. & Torp, K., 4 nov. 2014, SIGSPATIAL'14:Proceedings of the 22st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 569-572 4 s.

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

    2 Citationer (Scopus)

  • Efficient OLAP query processing in distributed data warehouses

    Akinde, M. O., Bøhlen, M. H., Johnson, T., Lakshmanan, L. V. S. & Srivastava, D., 2003, Ikke angivet. IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 2287).

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

    47 Citationer (Scopus)

  • Efficient network-constrained trajectory queries

    Torp, K. & Hansen, M. N., 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-4 92. (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

  • Efficient metric indexing for similarity search

    Chen, L., Gao, Y., Li, X., Jensen, C. S. & Chen, G., apr. 2015, 31st IEEE International Conference on Data Engineering (ICDE), 2015. IEEE, s. 591-602

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

    44 Citationer (Scopus)

  • Efficient Matching of Offers and Requests in Social-Aware Ridesharing

    Fu, X., Zhang, C., Lu, H. & Xu, J., 13 jul. 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, Bind 2018-June. s. 197-206 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    7 Citationer (Scopus)

  • Efficient Maintenance of Ephemeral Data

    Schmidt, A. & Jensen, C. S., 2006, Proceedings of the Eleventh International Conference on Database Systems for Advanced Applications. Springer, s. 141-155 (Lecture Notes in Computer Science; Nr. 3882).

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

  • Efficiently Mining Maximal Diverse Frequent Itemsets

    Wu, D., Luo, D., Jensen, C. S. & Huang, J. Z., 2019, Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Proceedings: DASFAA 2019: Database Systems for Advanced Applications. Tong, Y., Natwichai, J., Yang, J., Li, G. & Gama, J. (red.). Springer, s. 191-207 17 s. (Lecture Notes in Computer Science, Bind 11447).

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

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

  • Efficiently Learning Spatial Indices

    Liu, G., Qi, J., Jensen, C. S., Bailey, J. & Kulik, L., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, Bind 2023-april. s. 1572-1584 13 s. (Proceedings - International Conference on Data Engineering, Bind 2023-April).

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

    2 Citationer (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, s. 1-14 14 s.

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

    3 Citationer (Scopus)

  • Efficient Learning with Pseudo Labels for Query Cost Estimation

    Liu, S., Chen, X., Zhao, Y., Chen, J., Zhou, R. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 1309-1318

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

    2 Citationer (Scopus)