Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Driver input selection for main-memory multi-way joins

    Valsomatzis, E. & Gounaris, A., 2013, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 818-825 8 p. (ACM Symposium on Applied Computing,).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Driving on Sunshine: Aligning Electric Vehicle Charging and Household Electricity Production

    Svangren, M. K., Jensen, R. H., Skov, M. & Kjeldskov, J., 1 Oct 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, p. 439-451 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • d-Separation: Strong Completeness of Semantics in Bayesian Network Inference

    Butz, C. J., Yan, W. & Madsen, A. L., 2013, Advances in Artificial Intelligence: 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings. Zaïane, O. R. & Zilles, S. (eds.). Springer Publishing Company, Vol. 7884. p. 13-24 (Lecture Notes in Computer Science, Vol. 7884).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    25 Downloads (Pure)

  • Dual-Priced Modal Transition Systems with Time Durations

    Beneš, N., Kretínsky, J., Larsen, K. G., Møller, M. H. & Srba, J., 2012, Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings . Netherlands: Springer, Vol. LNCS 7180. p. 122-137 15 p. (Lecture Notes in Computer Science, Vol. 7180).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • d-VMP: Distributed Variational Message Passing

    Masegosa, A., Martinez, A. M., Langseth, H., Nielsen, T. D., Salmerón, A., Ramos-López, D. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 321-332 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    11 Citations (Scopus)

  • Dynamic Bayesian modeling for risk prediction in credit operations

    Borchani, H., Martinez, A. M., Masegosa, A., Langseth, H., Nielsen, T. D., Salmerón, A., Fernández, A., Madsen, A. L. & Sáez, R., 2015, The 13th Scandinavian Conference on Artificial Intelligence (SCAI'2015). IOS Press, p. 17-26 (Frontiers in Artificial Intelligence and Applications, Vol. 278).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    4 Citations (Scopus)
    333 Downloads (Pure)

  • 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). p. 5410-5419 (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    323 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Downloads (Pure)

  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (eds.). Research Publishing, p. 2806-2813 P531

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Dynamic Spatio-temporal Integration of Traffic Accident Data

    Andersen, O. & Torp, K., 6 Nov 2018, Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Xiong, L., Tamassia, R., Banaei, K. F., Guting, R. H. & Hoel, E. (eds.). Association for Computing Machinery, p. 596-599 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • E2C2: Efficient and Effective Camera Calibration in Indoor Environments

    Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Adjunct Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers. Association for Computing Machinery, p. 9-12

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Early Recognition of Maneuvers in Highway Traffic

    Weidl, G., Madsen, A. L., Tereshchenko, V., Dietmar, K. & Breuel, G., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Springer, p. 529-540 (Lecture Notes in Computer Science; No. 9161).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Easy and Effective Parallel Programmable ETL

    Thomsen, C. & Pedersen, T. B., 2011, Proceedings of the ACM 14th International Workshop on Data warehousing and OLAP. New York, NY, USA: Association for Computing Machinery, p. 37-44 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science, Vol. LNCS 13994).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    58 Downloads (Pure)

  • Eco-Forecasting for Domestic Electricity Use

    Kjeldskov, J., Skov, M. B., Paay, J., Lund, D., Madsen, T. & Nielsen, M., 18 Apr 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI '15. Association for Computing Machinery, p. 1985-1988

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    23 Citations (Scopus)
    318 Downloads (Pure)

  • EcoTour: Reducing the Environmental Footprint of Vehicles Using Eco-routes

    Andersen, O., Jensen, C. S., Torp, K. & Yang, B., 2013, 2013 IEEE 14th International Conference on Mobile Data Management . IEEE Press, Vol. 2. p. 338-340

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    64 Citations (Scopus)

  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 115-117 3 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • EDSC: Efficient Density-Based Subspace Clustering

    Assent, I., Krieger, R., Müller, E. & Seidl, T., 2008, Proceeding of the 17th ACM conference on Information and knowledge management 2008, Napa Valley, California, USA. Association for Computing Machinery, p. 1093-1102 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    24 Citations (Scopus)

  • Effective and Efficient Reuse of Past Travel Behavior for Route Recommendation

    Chen, L., Shang, S., Jensen, C. S., Yao, B., Zhang, Z. & Shao, L., 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 488-498 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    50 Citations (Scopus)

  • Effective Density Queries of Continuously Moving Objects

    Jensen, C. S., Lin, D., Ooi, B. C. & Zhang, R., 2006, Proceedings of the Twentysecond International Conference on Data Engineering. 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    79 Citations (Scopus)

  • Effective dimensions of partially observed polytrees

    Kocka, T., 2003, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Effective Privacy-Preserving Online Route Planning

    Ruiz Vicente, C., Assent, I. & Jensen, C. S., 2011, Proceedings of the 12th IEEE International Conference on Mobile Data Management. IEEE Computer Society Press, Vol. 2. p. 119-128 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    10 Citations (Scopus)

  • Effective Similarity Search on Indoor Moving-Object Trajectories

    Jin, P., Cui, T., Wang, Q. & Jensen, C. S., 2016, Database Systems for Advanced Applications: 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II.. Springer, p. 181-197 (Lecture Notes in Computer Science (LNCS), Vol. 9643).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • Effect of Information Presentation on Fairness Perceptions of Machine Learning Predictors

    Van Berkel, N., Goncalves, J., Russo, D., Hosio, S. & Skov, M. B., 6 May 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, 13 p. 245

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    36 Citations (Scopus)

  • Efficient Aggregation of Ranked Inputs

    Mamoulis, N., Cheng, K. H., Yiu, M. L. & Cheung, D. W., 2006, Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006. IEEE Computer Society Press, p. 72 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    27 Citations (Scopus)

  • Efficient Algorithm for Computing Link-based Similarity in Real World Networks

    Cai, Y., Cong, G., Xu, J., Liu, H., He, J., Lu, J. & Du, X., 2009, IEEE International Conference on Data Mining, 2009, ICDM '09. IEEE Press, p. 734-739 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    17 Citations (Scopus)

  • Efficient and Accurate WLAN Positioning with Weighted Graphs

    Hansen, R. & Thomsen, B., 2009, Mobile Lightweight Wireless Systems. Springer, Vol. 13. p. 372-386 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; No. 13).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Efficient and Distributed Temporal Pattern Mining

    Ho, N. T. T., Ho Long, V., Pedersen, T. B. & Vu, M., 7 Dec 2021, 2021 IEEE International Conference on Big Data (Big Data). IEEE, 9671753

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Efficient and Flexible KNN Query Processing in Real-Life Road Networks

    Lu, Y., Bui, B., Zhao, J., Lu, H. & Shen, J., 2008, Proceedings of the 9th International Conference on Web-Age Information Management (WAIM). IEEE Computer Society Press, p. 230-237 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Efficient and Incremental Clustering Algorithms on Star-Schema Heterogeneous Graphs

    Chen, L., Gao, Y., Zhang, Y., Jensen, C. S. & Zheng, B., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 256-267 12 p. 8731611. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)

  • Efficient and Orderly Co-simulation of Heterogeneous Computational Models

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Efficient Approximate OLAP Querying Over Time Series

    Perera, K. B. D. K. S., Hahmann, M., Lehner, W., Pedersen, T. B. & Thomsen, C., 2016, Proceedings of the 20th International Database Engineering & Applications Symposium. Association for Computing Machinery, p. 205-211 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Efficient Attribute-Constrained Co-Located Community Search

    Luo, J., Cao, X., Xie, X., Qu, Q., Xu, Z. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 1201-1212 12 p. 9101525. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    18 Citations (Scopus)

  • Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

    Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 1734-1737 4 p. 8731434. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Efficient Cardinality and Cost Estimation with Bidirectional Compressor-based Ensemble Learning

    Liang, Z., Chen, X., Zhao, Y., Xie, J., Zeng, K. & Zheng, K., 2023, IEEE International Conference on Data Mining (ICDM). IEEE, p. 388-397 (ICDM).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    107 Downloads (Pure)

  • Efficient Continuously Moving Top-K Spatial Keyword Query Processing

    Wu, D., Yiu, M. L., Jensen, C. S. & Cong, G., 2011, 27th International Conference on Data Engineering, Hannover, Germany, April 11-16, 2011. IEEE Press, p. 541-552 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    146 Citations (Scopus)

  • Efficient Continuous Multi-Query Processing over Graph Streams

    Zervakis, E., Setty, V., Tryfonopoulos, C. & Hose, K., 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. & Yang, B. (eds.). OpenProceedings.org, p. 13-24 12 p. (Advances in Database Technology).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    10 Citations (Scopus)
    162 Downloads (Pure)

  • Efficient Cost-Based Tracking of Scheduled Vehicle Journeys

    Tiesyte, D. & Jensen, C. S., 2008, Proceedings of the Ninth International Conference on Mobile Data Management. IEEE, p. 9-16

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • Efficient Distance-Aware Query Evaluation on Indoor Moving Objects

    Xie, S. X., Lu, H. & Pedersen, T. B., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, p. 434-445 (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    53 Citations (Scopus)
    525 Downloads (Pure)

  • Efficient EMD-based Similarity Search in Multimedia Databases via Flexible Dimensionality Reduction

    Wichterich, M., Assent, I., Philipp, K. & Seidl, T., 2008, Proceedings of the 2008 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, p. 199-212 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    57 Citations (Scopus)

  • Efficient Estimation of Agent Networks

    Leguizamon Robayo, A. & Tschaikowski, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Springer, (Lecture Notes in Computer Science, Vol. 13703).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Efficient Group Processing for Multiple Reverse Top-k Geo-Social Keyword Queries

    Jin, P., Gao, Y., Chen, L. & Zhao, J., 2020, Database Systems for Advanced Applications: 25th International Conference, DASFAA 2020, Proceedings. Nah, Y., Cui, B., Lee, S-W., Yu, J. X., Moon, Y-S. & Whang, S. E. (eds.). Springer Science+Business Media, p. 279-287 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12112 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Efficient Guiding Towards Cost-Optimality in UPPAAL

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 174-188 15 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    95 Citations (Scopus)

  • Efficient Indexing of the Historical, Present, and Future Positions of Moving Objects

    Lin, D., Jensen, C. S., Ooi, B. C. & Saltenis, S., 2005, Proceedings of the Sixth International Conference on Mobile Data Management. p. 59-66

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Efficient in-memory indexing of network-constrained trajectories

    Krogh, B. B., Jensen, C. S. & Torp, K., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Association for Computing Machinery, 10 p. 17

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    19 Citations (Scopus)

  • Efficient Join Order Selection Learning with Graph-based Representation

    Chen, J., Ye, G., Zhao, Y., Liu, S., Deng, L., Chen, X., Zhou, R. & Zheng, K., 14 Aug 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 97-107 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (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, p. 1309-1318

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (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, p. 1-14 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)