Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 nov. 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 276-292 17 s. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Åben adgang
    Fil
    20 Downloads (Pure)

  • Roadmap for the ARC Grid Middleware

    Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Bind 4699. s. 471-479 (Lecture Notes in Computer Science; Nr. 4699).

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

  • Roadmapping in the Digital Transformation Literature

    Zada, A. M., Persson, J. S. & Nielsen, P. A., 2022, Software Business 13th International Conference. Carroll, N., Nguyen-Duc, A., Wang, X. & Stray, V. (red.). Springer, Bind 463. s. 35-50 16 s. (Lecture Notes in Business Information Processing).

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

    Åben adgang
    Fil
    134 Downloads (Pure)

  • Robot-supported food experiences exploring aesthetic plating with design prototypes

    Laursen, C. Ø., Pedersen, S., Merritt, T. & Caprani, O., 1 jan. 2016, Cultural Robotics - 1st International Workshop, CR 2015 and Held as Part of IEEE RO-MAN 2015, Revised Selected Papers. Koh, J. T. K. V., Dunstan, B. J., Silvera-Tawil, D. & Velonaki, M. (red.). Physica-Verlag, s. 107-130 24 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9549).

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

    6 Citationer (Scopus)

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer Nature Switzerland AG, s. 796-813 18 s. (Lecture Notes in Computer Science; Nr. 14281).

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

  • Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection

    Kieu, T., Yang, B., Guo, C., Jensen, C. S., Zhao, Y., Huang, F. & Zheng, K., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, s. 3038-3050 13 s.

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

    18 Citationer (Scopus)

  • Robust B+ -Tree-Based Indexing of Moving Objects

    Jensen, C. S., Tiesyte, D. & Tradisauskas, N., 2006, Proceedings of the Seventh International Conference on Mobile Data Management. IEEE Computer Society Press, 9 s.

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

    20 Citationer (Scopus)

  • Robust classification using mixtures of dependency networks

    Gámez, J. A., Mateo, J. L., Nielsen, T. D. & Puerta, J. M., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. s. 129-136 8 s.

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

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

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 538-556 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

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

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 149-173 25 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13701 LNCS).

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

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

  • RODECA: A Canvas for Designing Robots

    Nielsen, S., Ordoñez, R., Hansen, K. D., Skov, M. B. & Jochum, E., 2021, HRI 2021 - Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, s. 266-270 5 s. 3447173

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

    4 Citationer (Scopus)
    67 Downloads (Pure)

  • Roles in Innovative Software Teams: A Design Experiment

    Bidragets oversatte titel: Roller i innovative software teams: Et Design Science eksperimentAaen, I., 2010, Human Benefit through the Diffusion of IS Design Science Research: IFIP WG 8.2 + 8.6 International Working Conference. Pries-Heje, J., Venable, J., Bunker, D., Russo, N. L. & DeGross, J. I. (red.). Berlin: Springer, s. 73-88 (Advances in Information and Communication Technology, Bind 318).

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

    5 Citationer (Scopus)

  • Romeo: a tool for analyzing time petri nets

    Lime, D., Gardey, G., Magnin, M. & Roux, O. H., 2005, Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. Springer, s. 418-423 (Lecture notes in computer sciense; Nr. 3576).

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

    110 Citationer (Scopus)

  • Routing Questions to the Right Users in Online Communities

    Zhou, Y., Cong, G., Cui, B., Jensen, C. S. & Yao, J., 2009, Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, s. 700-711 (ICDE).

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

    94 Citationer (Scopus)

  • Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

    Schiff, L., Thimmaraju, K. & Schmid, S., 22 sep. 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, s. 113-119 7 s. 7575360

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

  • R-tree-based Indexing of Now-Relative Bitemporal Data

    Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 1998, Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. s. 345-356

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

  • Rule-based Word Equation Solving

    Day, J., Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software . Association for Computing Machinery, s. 87–97 11 s. 3391556

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

    3 Citationer (Scopus)

  • Run, Walk, Crawl: Towards Dynamic Link Capacities

    Singh, R., Ghobadi, M., Förster, K-T., Filer, M. & Gill, P., okt. 2017, Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets 2017). Association for Computing Machinery, s. 143-149

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

    16 Citationer (Scopus)

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (red.). Springer, s. 157-173 17 s. (Lecture Notes in Computer Science, Bind 13702).

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

    2 Citationer (Scopus)

  • Runtime Verification of Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 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. Berlin: Springer, Bind 7609. s. 388-404 17 s. (Lecture Notes in Computer Science, Bind 7609).

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

    25 Citationer (Scopus)

  • S 2TUL: A Semi-Supervised Framework for Trajectory-User Linking

    Deng, L., Sun, H., Zhao, Y., Liu, S. & Zheng, K., 27 feb. 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

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

    4 Citationer (Scopus)

  • Safe and sound program analysis with Flix

    Madsen, M. & Lhoták, O., 12 jul. 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (red.). Association for Computing Machinery, s. 38-48 11 s.

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

    11 Citationer (Scopus)

  • Safe and Time-Optimal Control for Railway Games

    Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (red.). Springer, s. 106-122 17 s. (Lecture Notes in Computer Science, Bind 11495).

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

    8 Citationer (Scopus)

  • Safety-critical Java for low-end embedded platforms

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, s. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

    18 Citationer (Scopus)

  • Safety Critical Java for Robotics Programming

    Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (red.). Aalborg Universitetsforlag, s. 38-47 10 s. 6

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

    Åben adgang

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 s.

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

    Åben adgang

  • Sampling Frequency Effects on Trajectory Routes and Road Network Travel Time

    Andersen, O. & Torp, K., 9 nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 30

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

    2 Citationer (Scopus)

  • Sandboxing in a Distributed Pi-Calculus

    Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (red.). s. 114-128 15 s.

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

    Fil
    374 Downloads (Pure)

  • Saying and Doing at sea

    Andersen, P. B., 2003, Lindkoping University.

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

  • Scalable Continuous Range Monitoring of Moving Objects in Symbolic Indoor Space

    Yang, B., Lu, H. & Jensen, C. S., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Association for Computing Machinery, s. 671-680 10 s.

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

    43 Citationer (Scopus)

  • Scalable Hypergraph-Based Image Retrieval and Tagging System

    Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 257-268 12 s. 8509253

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

    11 Citationer (Scopus)

  • Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

    Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. s. 415-425 12 s. (JMLR Workshop and Conference Proceedings, Bind 52).

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

    Åben adgang

  • Scalable Model-Based Management of Correlated Dimensional Time Series in ModelarDB+

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 22 apr. 2021, Proceedings of the 37th IEEE International Conference on Data Engineering. IEEE, s. 1380-1391 12 s. 9458830. (Proceedings of the International Conference on Data Engineering).

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

    Åben adgang
    6 Citationer (Scopus)

  • Scalable Processing of Location-Based Social Networking Queries

    Saleem, M. A., Xie, X. & Pedersen, T. B., 2016, 17th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 132-141 10 s.

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

    6 Citationer (Scopus)
    21 Downloads (Pure)

  • Scalable Top-k Spatio-Temporal Term Querying

    Skovsgaard, A., Sidlauskas, D. & Jensen, C. S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE Press, s. 148-159

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

    65 Citationer (Scopus)

  • Scalable Unsupervised Multi-Criteria Trajectory Segmentation and Driving Preference Mining

    Barth, F., Funke, S., Skovgaard Jepsen, T. & Proissl, C., 3 nov. 2020, BIGSPATIAL '20: Proceedings of the 9th ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data. Chandola, V., Vatsavai, R. R. & Shashidharan, A. (red.). Association for Computing Machinery, s. 1-10 10 s. 6

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

    Fil
    4 Citationer (Scopus)
    30 Downloads (Pure)

  • Scaling Large RDF Archives to Very Long Histories

    Pelgrin, O., Taelman, R., Galarraga, L. & Hose, K., 2023, Proceedings - 17th IEEE International Conference on Semantic Computing, ICSC 2023. IEEE, s. 41-48 8 s. (IEEE International Conference on Semantic Computing (ICSC)).

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

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

  • Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

    Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (red.). 1926 udg. IEEE Computer Society Press, s. 19-30

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

    48 Citationer (Scopus)

  • Scenario-based analysis and synthesis of real-time systems using Uppaal

    Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., mar. 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

    11 Citationer (Scopus)

  • Scene Re-ranking for Recommendation

    Han, P. & Shang, S., 2022, 2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022. IEEE, (2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022).

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

    3 Citationer (Scopus)

  • Schedulability Analysis Abstractions for Safety Critical Java

    Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, s. 71-78 8 s. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    2 Citationer (Scopus)

  • Schedulability Analysis for Java Finalizers

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 s.

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

    2 Citationer (Scopus)

  • Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. s. 1-4 4 s.

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

    Fil
    774 Downloads (Pure)

  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 okt. 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer, s. 293-307 15 s. (Lecture Notes in Computer Science, Bind 7610).

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

    35 Citationer (Scopus)

  • Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid

    Chakraborty, N., Chakraborty, R. & Kalaimannan, E., 2022, Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. IEEE Signal Processing Society, s. 316-317 2 s. (Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022).

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

  • Scheduling lacquer production by reachability analysis: A case study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

    10 Citationer (Scopus)

  • Schema Evolution for Stars and Snowflakes

    Bidragets oversatte titel: Skemaevolution for stjerner og snefugKaas, C., Pedersen, T. B. & Rasmussen, B., 2004, Proceedings of the Sixth International Conference on Enterprise Information Systems. s. 425-433 9 s.

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

    34 Citationer (Scopus)

  • Scheme on the Web and in the Classroom: A Retrospective about the LAML Project

    Nørmark, K., 9 sep. 2012, Proceedings of the Twelfth Workshop on Scheme and Functional Programming. Danvy, O. (red.). Association for Computing Machinery, 6 s.

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

  • Scheme Program Documentation Tools

    Nørmark, K., 2004, Proceedings of the Fifth SIGPLAN ACM Workshop on Scheme and Functional Programming. Shivers, O. & Waddell, O. (red.). Computer Science Department, Indiana University

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

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 apr. 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion). Association for Computing Machinery, s. 800–804 5 s.

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

    1 Citationer (Scopus)