• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Off-the-shelf digital tools as a resource to nurture the commons

    Bettega, M., Masu, R., Hansen, N. B. & Teli, M., 19 aug. 2022, PDC 2022 - Embracing Cosmologies: Expanding Worlds of Participatory Design, Proceedings of the 17th Participatory Design Conference. Vlachokyriakos, V., Yee, J., Erik, G., Noronha, R., Botero, A., Del Gaudio, C., Akama, Y., Clarke, R. & Vines, J. (red.). Association for Computing Machinery, Bind 1. s. 133-146 14 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    5 Citationer (Scopus)
    120 Downloads (Pure)
  • OLAP++: Powerful and Easy-to-Use Federations of OLAP and Object Databases

    Gu, J., Pedersen, T. B. & Shoshani, A., 2000, Proceedings of the Twenty-Sixth International Conference on Very Large Data Bases, Cairo, Egypt, September 2000. s. 599-602

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    9 Citationer (Scopus)
  • OLAP over probabilistic data cubes I: Aggregating, materializing, and querying

    Xie, X., Hao, X., Pedersen, T. B., Jin, P. & Chen, J., 2016, Proceedings of the 32nd IEEE International Conference on Data Engineering, ICDE 2016, Helsinki, Finland, May 16-20, 2016. IEEE Computer Society Press, s. 799-810 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    13 Citationer (Scopus)
  • On and off the table: Re-imagining food and wine interactions

    Davis, H., Paay, J., Kjeldskov, J. & Dolejšová, M., 4 dec. 2018, OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 612-617 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    5 Citationer (Scopus)
  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • On Discovery of Gathering Patterns from Trajectories

    Zheng, K., Zheng, Y., Yuan, J. & Shang, S., 8 apr. 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, s. 242 - 253 12 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    204 Citationer (Scopus)
    1355 Downloads (Pure)
  • One Byte at a Time: Insights about Meaningful Data for Sustainable Food Consumption Practices

    Lindrup, M., Cheon, E., Skov, M. B. & Raptis, D., jul. 2021, DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere. Association for Computing Machinery, s. 683-696 14 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Fil
    2 Citationer (Scopus)
    194 Downloads (Pure)
  • On efficient and scalable time-continuous spatial crowdsourcing

    Wang, T., Xie, X., Cao, X., Pedersen, T. B., Wang, Y. & Xiao, M., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE, s. 1212-1223 12 s. 9458714. (Proceedings - International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    53 Downloads (Pure)
  • On Field Size and Success Probability in Network Coding

    Geil, H. O., Matsumoto, R. & Thomsen, C., 2008, Arithmetic of Finite Fields: 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings. Springer, s. 157-173 (Lecture Notes in Computer Science; Nr. 5130).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    39 Citationer (Scopus)
  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (red.). Springer, s. 243-256 (Lecture Notes in Computer Science, Bind 9888).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • Online Risk Prediction for Indoor Moving Objects

    Ahmed, T., Pedersen, T. B., Calders, T. & Lu, H., jun. 2016, 17th IEEE International Conference on Mobile Data Management. IEEE Computer Society Press, s. 102-111 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    574 Downloads (Pure)
  • Online Route Prediction for Automotive Applications

    Brillingaite, A. & Jensen, C. S., 2006, Proceedings of the Thirteenth World Congress & Exhibition on Intelligent Transport Systems and Services. 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • Online Testing of Real-time Systems Using Uppaal

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (red.). Springer, s. 79-94 (Lecture Notes in Computer Science; Nr. 3395).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    84 Citationer (Scopus)
  • Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (red.). IBFI gem. GmbH, Schloss Dagstuhl, Bind 04371.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 jul. 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Bind Part F129316. s. 329-338 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • Online Trichromatic Pickup and Delivery Scheduling in Spatial Crowdsourcing

    Zheng, B., Huang, C., Jensen, C. S., Chen, L., Hung, N. Q. V., Liu, G., Li, G. & Zheng, K., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 973-984 12 s. 9101586. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    23 Citationer (Scopus)
    52 Downloads (Pure)
  • Online Updating of Conditional Linear Gaussian Bayesian Networks

    Madsen, A. L., Olesen, K. G., Jensen, F., Henriksen, P. A., Larsen, T. M. & Møller, J. M., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models: PMLR. Salmeròn, A. & Rumi, R. (red.). PMLR Press, Bind 186. s. 97-108 12 s. (The Proceedings of Machine Learning Research, Bind 186).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    19 Downloads (Pure)
  • On local optima in learning bayesian networks

    Dalgaard, J., Kocka, T. & Pena, J., 2003, Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence. Academic Press, s. 435-442

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    355 Downloads (Pure)
  • On Location Privacy in Fingerprinting-based Indoor Positioning System: An Encryption Approach

    Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (red.). Association for Computing Machinery, s. 289-298 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    4 Citationer (Scopus)
  • On Memory-Block Traversal Problems in Model-Checking Timed Systems

    Larsson, F., Pettersson, P. & Yi, W., 2000, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. Graf, S. : Schwartzbahn, M. (eds.) (red.). 1785 udg. IEEE Computer Society Press, s. 127-141

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    1 Citationer (Scopus)
  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, s. 105-119 15 s. (Lecture Notes in Computer Science; Nr. 4703).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    51 Citationer (Scopus)
    481 Downloads (Pure)
  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, s. 3421-3430 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    12 Citationer (Scopus)
  • On representing interval measures by means of functions

    Bakkalian, G., Koncilia, C. & Wrembel, R., 2016, Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Springer, s. 180-193 14 s. (Lecture Notes in Computer Science, Bind 9893).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • On Semantics of Inference in Bayesian Networks

    Butz, C. J., Yan, W. & Madsen, A. L., 2013, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. van der Gaag, L. C. (red.). Springer Publishing Company, s. 73-84 (Lecture Notes in Computer Science, Bind 7958).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • On SPI for Evaluating Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2014, Proceedings of the 15th International IPMU Conference, Part I. Springer, Bind 442. s. 506-516

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • On SPI-Lazy Evaluation of Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Bind 8754. s. 97-112 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • On testing the missing at random assumption

    Jaeger, M., 2006, Machine Learning: ECML 2006: 17th European Conference on Machine Learning. Berlin, Germany, September 2006. Proceedings. s. 671-678 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    15 Citationer (Scopus)
  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. s. 480-491

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    11 Citationer (Scopus)
  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    22 Citationer (Scopus)
  • On the Consistent Migration of Unsplittable Flows: Upper and Lower Complexity Bounds

    Förster, K-T., dec. 2017, Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. IEEE

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    9 Citationer (Scopus)
  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Bind 3235.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On the Expressive Power of Joint Input

    Nestmann, U., 1998, EXPRESS '98 : Expressiveness in Concurrency, Nice, France, September 7, 1998: Electronic Notes in Theoretical Computer Science. Vol. 16.2 udg.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    13 Citationer (Scopus)
  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (red.). Springer Publishing Company, Bind 7795. s. 1-15 (Lecture Notes in Computer Science, Bind 7795).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    34 Citationer (Scopus)
  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer, s. 109-128 20 s. (Lecture Notes in Computer Science, Bind 12152).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • On the Importance of Elimination Heuristics in Lazy Propagation

    Madsen, A. L. & Butz, C. J., 2012, Proceedings of the 6th European Workshop on Probabilistic Graphical Models. Universidad de Granada, s. 227-234 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • On the Ontological Expresiveness of Temporal ER Models

    Gregersen, H. & Jensen, C. S., 1999, Advances in Conceptual Modeling : ER '99 Workshop on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999 : Proceedings: Lecture Notes in Computer Science. Chen, P. P. ... (et al.)(eds.) (red.). 1727 udg. IEEE Computer Society Press, s. 110-121

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 maj 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, s. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 13, Bind 35).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    1 Citationer (Scopus)
  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, s. 843–862 (Lecture Notes in Computer Science, Bind 9953).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    11 Citationer (Scopus)
  • On the selection of SPARQL endpoints to efficiently execute federated SPARQL queries

    Vidal, M. E., Castillo, S., Acosta, M., Montoya, G. & Palma, G., 1 jan. 2016, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV. Hameurlain, A., Küng, J. & Wagner, R. (red.). Springer, s. 109-149 41 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9620).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    11 Citationer (Scopus)
  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Bind 253. s. 39-55 (Electronic Notes in Theoretical Computer Science; Nr. 253, Bind 1).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    8 Citationer (Scopus)
  • On the Tree Structure used by Lazy Propagation for Inference in Bayesian Networks

    Madsen, A. L. & Butz, C., 2013, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Springer Publishing Company, Bind 7958. s. 400-411 (Lecture Notes in Computer Science, Bind 7958).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    1 Citationer (Scopus)
  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (red.). 1770 udg. IEEE Computer Society Press, s. 267-278

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    169 Downloads (Pure)
  • On Time with Minimal Expected Cost!

    David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (red.). Springer Publishing Company, Bind 8837. s. 129-145 16 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    44 Citationer (Scopus)
  • OntoEval: an Automated Ontology Evaluation System

    Zaitoun, A., Sagi, T. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 82–85 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

  • Ontology-Based Big Dimension Modeling in Data Warehouse Schema Design

    Xiufeng, L. & Iftikhar, N., 2013, Business Information Systems: 16th International Conference, BIS 2013, Poznań, Poland, June 19-21, 2013. Proceedings. Abramowicz, W. (red.). Berlin: Springer Publishing Company, s. 75-87 (Lecture Notes in Business Information Processing, Bind 157).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    6 Citationer (Scopus)
  • On Tree Structures Used by Simple Propagation

    Madsen, A. L., Butz, C. J., Oliveira, J. & E. dos Santos, A., 2016, Advances in Artificial Intelligence. Springer, s. 207-212 (Lecture Notes in Computer Science, Bind 9673).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    3 Citationer (Scopus)
  • On Zone-Based Analysis of Duration Probabilistic Automata

    Maler, O., Larsen, K. G. & Krogh, B., sep. 2010, Proceedings of the 12th International Workshop on Verification of Infinite-State Systems. 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review