Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • IT benefits management in local government: A comparative case study

    Nielsen, K. M. P., Nielsen, P. A. & Persson, J. S., 2012, Proceedings of the 20th European Conference on Information Systems. AIS Electronic Library, 12 s. (Proceedings / European Conference on Information Systems (ECIS)).

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

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

  • IT Business Cases in Local Government: An Action Research Study

    Nielsen, P. A. & Persson, J. S., 2012, Proceedings of the 45th Annual Hawaii International Conference on System Sciences (HICSS-45). IEEE, s. 2208-2217 10 s. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

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

  • Iteration Theories of Boolean Functions

    Esik, Z., 2000, Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 : Proceedings: Lecture Notes in Computer Science. Nielsen, M. : Rovan, B. (eds.) (red.). 1893 udg. IEEE Computer Society Press, s. 343-352

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

  • iTopN: Incremental Extraction of the N Most Visible Objects

    Bukauskas, L., Mark, L., Omiecinski, E. & Bøhlen, M. H., 2003, Proceedings of the twelfth international conference on Information and knowledge management. Association for Computing Machinery, s. 461-468

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

    4 Citationer (Scopus)

  • It's not all Bad - Worker Perceptions of Industrial Robots

    Schneiders, E. & Papachristos, E., 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society Press, s. 1025-1029 5 s. (ACM/IEEE International Conference on Human-Robot Interaction, Bind 2022-March).

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

    6 Citationer (Scopus)

  • It’s not all Bad – Worker Perceptions of Industrial Robots

    Schneiders, E. & Papachristos, E., 4 mar. 2022, Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Press, s. 1025-1029 5 s.

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

    Åben adgang
    Fil
    160 Downloads (Pure)

  • It’s not Complicated: A Study of Non-Specialists Analyzing GSR Sensor Data to Detect UX Related Events

    Bruun, A., 1 okt. 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 170-183 14 s.

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

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

  • It’s Worth the Hassle! The Added Value of Evaluating the Usability of Mobile Systems in the Field

    Nielsen, C. M., Overgaard, M., Pedersen, M. B., Stage, J. & Stenild, S., 2006, Proceedings of the 4th Nordic conference on Human-computer interaction: changing roles. Association for Computing Machinery, s. 272-280 (ACM International Conference Proceeding Series (ICPS); Nr. 189).

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

    99 Citationer (Scopus)

  • IZone: Efficient influence zone evaluation over geo-Textual Data

    Liu, Q., Feng, Z., Xi, X., Xu, J., Lin, X. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1645-1648 4 s. 8509418

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

    3 Citationer (Scopus)

  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 30-46 17 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

    1 Citationer (Scopus)

  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1877-1886 10 s.

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

  • Just-for-Us: A Context-Aware Mobile Information System Facilitating Sociality

    Kjeldskov, J. & Paay, J., 2005, Proceedings of Mobile HCI 2005. Springer

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

    Fil
    315 Downloads (Pure)

  • Just-In-Place Information for Mobile Device Interfaces

    Kjeldskov, J., 2002, Paterno, F. (ed.): Lecture Notes in Computer Science. 2411 udg. Springer

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

    Fil
    29 Citationer (Scopus)
    304 Downloads (Pure)

  • JuxtaPinch: Exploring multi-device interaction in collocated photo sharing

    Nielsen, H. S., Olsen, M. P., Skov, M. B. & Kjeldskov, J., 2014, Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices and Service, Mobile HCI 2014. Association for Computing Machinery, s. 183-192 10 s.

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

    Fil
    30 Citationer (Scopus)
    758 Downloads (Pure)

  • JuxtaPinch: An Application for Collocated Multi-Device Photo Sharing

    Nielsen, H. S., Olsen, M. P., Skov, M. B. & Kjeldskov, J., 2014, MobileHCI '14 Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services . Association for Computing Machinery, Bind 2014. s. 417-420

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

    Fil
    9 Citationer (Scopus)
    243 Downloads (Pure)

  • Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 2022, 17th International Conference on Integrated Formal Methods, IFM 2022. Springer, s. 249-267 (Lecture Notes in Computer Science, Bind 13274).

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

    2 Citationer (Scopus)

  • Key Agreement in the Lightning Network Protocol

    Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).

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

    1 Citationer (Scopus)

  • Kitchen kinesics: Situating gestural interaction within the social contexts of family cooking

    Nansen, B., Davis, H., Vetere, F., Skov, M. B., Paay, J. & Kjeldskov, J., 2014, Proceedings of OzCHI 2014. Association for Computing Machinery, s. 149-158

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

    Fil
    7 Citationer (Scopus)
    291 Downloads (Pure)

  • Klint: Assisting Integration of Heterogeneous Knowledge

    Gonzalez, J. R., de Melo, G. & Hose, K., 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI) 2016, New York, NY, USA, 9-15 July 2016. Kambhampati, S. (red.). AAAI Press, s. 4262-4263

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

    Åben adgang
    2 Citationer (Scopus)

  • KNN-based Clustering for Improving Social Recommender Systems

    Pan, R., Dolog, P. & Xu, G., 1 jun. 2012, Agents and Data Mining Interaction: 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers. Springer, s. 113-123 11 s. (Lecture Notes in Computer Science, Bind 7607).

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

    21 Citationer (Scopus)

  • Knowledge coordination in distributed software management: An analysis of breakdowns in multimodal virtual meetings

    Persson, J. S. & Mathiassen, L., 2012, Proceedings of the 20th European Conference on Information Systems (ECIS 2012). AIS Electronic Library, 12 s. (Proceedings / European Conference on Information Systems (ECIS)).

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

    Fil
    2 Citationer (Scopus)
    399 Downloads (Pure)

  • Knowledge Creation on the Intranet

    Damsgaard, J. & Scheepers, R., 2001, Proceedings of the Australian Conference for Knowledge Management & Intelligent Decision Support (ACKMIDS'2001),Melbourne, Australia, December 2001.

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

  • Knowledge Graph Exploration Systems: are we lost?

    Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B., jan. 2022, Proceedings of the 12th Conference on Innovative Data Systems Research: CIDR 2022. 2022 udg.

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

    Åben adgang
    Fil
    259 Downloads (Pure)

  • Knowledge Representation and Reasoning in Personalized Web-Based e-Learning Applications

    Dolog, P., 2006, Proceedings of Znalosti 2006. VSB-Technical University of Ostrava, 6 s.

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

  • Kraken: Online and elastic resource reservations for multi-tenant datacenters

    Fuerst, C., Schmid, S., Suresh, L. & Costa, P., 27 jul. 2016, IEEE INFOCOM 2016 - 35th Annual IEEE International Conference on Computer Communications. IEEE, Bind 2016-July. 9 s. 7524466

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

    31 Citationer (Scopus)

  • Kraaler: A User-Perspective Web Crawler

    Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 aug. 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). Secci, S., Chrisment, I., Fiore, M., Tabourier, L. & Lim, K-W. (red.). IEEE, s. 153-160 8 s. 8784660

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

    4 Citationer (Scopus)

  • L*-Based Learning of Markov Decision Processes

    Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 sep. 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (red.). Springer, s. 651-669 19 s. (Lecture Notes in Computer Science, Bind 11800).

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

    Åben adgang
    Fil
    17 Citationer (Scopus)
    176 Downloads (Pure)

  • Ladda: SPARQL Queries in the Fog of Browsers

    Grall, A., Folz, P., Montoya, G., Skaf-Molli, H., Molli, P., Vander Sande, M. & Verborgh, R., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 126-131 (Lecture Notes in Computer Science, Bind 10577).

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

    Åben adgang
    5 Citationer (Scopus)

  • LandIT Database: A Case Study

    Iftikhar, N. & Pedersen, T. B., 2010, Proceedings of the 16th European Conference on Information Systems in Agriculture and Forestry (ISAF). Czech University of Life Sciences, Prague, 978-80-213, s. 60-71

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

  • Lane Change Scheduling for Autonomous Vehicle: A Prediction-and-Search Framework

    Liu, S., Su, H., Zhao, Y., Zeng, K. & Zheng, K., 14 aug. 2021, KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 3343-3353 11 s.

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

    16 Citationer (Scopus)

  • Language-based support for service oriented architectures: Future directions

    Giambiagi, P., Owe, O., Ravn, A. P. & Schneider, G., 2006, Proceedings of ICSOFT. Filipe, J., Shishkov, B. & Helfert, M. (red.). Institute for Systems and Technologies of Information, Control and Communication, Bind 1. s. 339-344 5 s.

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

    7 Citationer (Scopus)

  • Language Emptiness of Continuous-Time Parametric Timed Automata

    Benes, N., Bezdek, P., Larsen, K. G. & Srba, J., 2015, Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II. Halldórsson, M. M., Iwama, K., Kobayashi, N. & Speckmann, B. (red.). Springer, s. 69-81 12 s. (Lecture Notes in Computer Science; Nr. 9135).

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

    34 Citationer (Scopus)

  • Languages' impact on emotional classification methods

    Eilertsen, A. C., Rose, D. H., Erichsen, P. L., Christensen, R. E. & Nath, R. P. D., sep. 2019, Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019. Ganzha, M., Maciaszek, L., Maciaszek, L. & Paprzycki, M. (red.). IEEE, s. 277-286 10 s. 8860017. (Federated Conference on Computer Science and Information Systems, Bind 18).

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

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

  • Latency performance of encoding with random linear network coding

    Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, s. 120-124 5 s.

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

    1 Citationer (Scopus)

  • Lattice-based Spatio-temporal Ensemble Prediction

    Samulevicius, S., Pitarch, Y. & Pedersen, T. B., 2014, 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, KES 2014, Gdynia, Poland, 15-17 September 2014. Elsevier, Bind 35. s. 494-503 20 s. (Procedia Computer Science).

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

    Åben adgang

  • Layered Temporal DBMSs - Concepts and Techniques

    Torp, K., Jensen, C. S. & Böhlen, M., 1997, Proceedings of the 5th International Conference on Database Systems for Advanced Applications, April 1-4, 1997, Melbourne, Australia. s. 37-380

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

  • Lazy Evaluation of Symmetric Bayesian Decision Problems

    Madsen, A. L. & Jensen, F. V., 1999, Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence. Laskey, K. B. : Prade, H. (eds.) (red.). Morgan Kaufmann

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

  • Lazy Propagation in Junction Trees

    Madsen, A. L. & Jensen, F. V., 1998, Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence. Cooper, Gregory F. : Moral, Serafin (eds.) (red.). Morgan Kaufmann, s. 362-369

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

  • Learned Bloom Filter for Multi-key Membership Testing

    Li, Y., Wang, Z., Yang, R., Zhao, Y., Zhou, R. & Zheng, K., 2023, Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Proceedings: 28th International Conference, DASFAA 2023. Wang, X., Sapino, M. L., Han, W-S., Abbadi, A. E., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (red.). Springer Nature Switzerland AG, s. 62-79 18 s. (Lecture Notes in Computer Science; Nr. 13943).

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

    1 Citationer (Scopus)

  • Learned index for spatial queries

    Wang, H., Fu, X., Xu, J. & Lu, H., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 569-574 6 s. 8788832. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

    50 Citationer (Scopus)

  • Learned Probing Cardinality Estimation for High-Dimensional Approximate NN Search

    Zheng, B., Yue, Z., Hu, Q., Yi, X., Luan, X., Xie, C., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, s. 3209-3221 13 s. (Proceedings of the International Conference on Data Engineering).

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

  • Learner Profile Management for Collaborative Adaptive eLearning Application

    Alrifai, M., Dolog, P. & Nejdl, W., 2006, Proceedings of APS'2006: Joint International Workshop on Adaptivity, Personalization and the Semantic Web at at the 17th ACM Hypertext'06 conference. Association for Computing Machinery, s. 4

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

  • Learning Aggregation Functions

    Pellegrini, G., Tibo, A., Frasconi, P., Passerini, A. & Jaeger, M., 2021, Proceedings of the Thirty International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence

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

    Åben adgang

  • Learning and Model-checking Networks of I/O Automata

    Mao, H. & Jaeger, M., 2012, Proceeding of the 4th Asian Conference on Machine Learning (ACML 2012). Hoi, S. C. H. & Buntine, W. (red.). s. 285-300 (JMLR Workshop and Conference Proceedings, Bind 25).

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

    2 Citationer (Scopus)

  • Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches

    Jaeger, M., 1 jun. 2022, International Research School in Artificial Intelligence in Bergen, AIB 2022. Bourgaux, C., Ozaki, A. & Penaloza, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Open Access Series in Informatics, Bind 99).

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

    1 Citationer (Scopus)

  • Learning-Based Cleansing for Indoor RFID Data

    Baba, A. I., Jaeger, M., Lu, H., Pedersen, T. B., Ku, W-S. & Xie, X., 2016, ACM SIGMOD Conference. Association for Computing Machinery, s. 925-936 12 s.

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

    34 Citationer (Scopus)

  • Learning communication in interactive dynamic influence diagrams

    Zeng, Y., Mao, H., Doshi, P., Pan, Y. & Luo, J., 2012, Proceedings - 2012 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2012. IEEE, Bind 2. s. 243-250 8 s. 6511577

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

    2 Citationer (Scopus)

  • Learning from the History of Distributed Query Processing: A Heretic View on Linked Data Management

    Betz, H., Gropengießer, F., Hose, K. & Sattler, K-U., 2012, Proceedings of the Third International Workshop on Consuming Linked Data (COLD 2012). CEUR Workshop Proceedings, Bind 905. 12 s.

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

    5 Citationer (Scopus)

  • Learning Local Components to Understand Large Bayesian Networks

    Zeng, Y., Xiang, Y., Cordero, J. & Lin, Y., 2009, IEEE International Conference on Data Mining (ICDM 2009). 9 udg. IEEE Computer Society Press, s. 1076-1081 (Proceedings of the 2009 Ninth IEEE International Conference on Data Mining).

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

    1 Citationer (Scopus)

  • Learning Markov models for stationary system behaviors

    Chen, Y., Mao, H., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, s. 216-230 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

    Fil
    13 Citationer (Scopus)
    552 Downloads (Pure)