Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Article in proceeding

Search results

  • 2012

    Nash Equilibria in Concurrent Priced Games

    Klimos, M., Larsen, K. G., Stefanak, F. & Thaarup, J., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Berlin: Springer, Vol. 7183. p. 363-376 (Lecture Notes in Computer Science, Vol. 7183).

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

    10 Citations (Scopus)

  • Private memory allocation analysis for safety-critical java

    Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 9-17 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    7 Citations (Scopus)

  • Quantitative Modeling and Analysis

    Katoen, J-P. & Larsen, K. G., 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. Berlin: Springer, Vol. 7610. p. 290-292 (Lecture Notes in Computer Science, Vol. 7610).

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

    1 Citation (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, Vol. 7609. p. 388-404 17 p. (Lecture Notes in Computer Science, Vol. 7609).

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

    25 Citations (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, p. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

    18 Citations (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, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    2 Citations (Scopus)

  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 Oct 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. (eds.). Springer, p. 293-307 15 p. (Lecture Notes in Computer Science, Vol. 7610).

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

    35 Citations (Scopus)

  • Simulation-based abstractions for software product-line model checking

    Cordy, M., Classen, A., Perrouin, G., Schobbens, P. Y., Heymans, P. & Legay, A., 1 Jan 2012, Proceedings - International Conference on Software Engineering. IEEE, p. 672-682 11 p. (Proceedings of the International Conference on Software Engineering).

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

    54 Citations (Scopus)

  • Statistical Model Checking, Refinement Checking, Optimization, … for Stochastic Hybrid Systems

    Larsen, K. G., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Springer, Vol. 7595. p. 7-10 (Lecture Notes in Computer Science).

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

    7 Citations (Scopus)

  • Statistical Model Checking for Stochastic Hybrid Systems

    David, A., Du, D., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 3 Sept 2012, Proceedings First International Workshop on Hybrid Systems and Biology. Bartocci, E. & Bortolussi, L. (eds.). Newcastle Upon Tyne, p. 122-136 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 92).

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

    51 Citations (Scopus)

  • Statistical model checking QoS properties of systems with SBIP

    Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A. & Nouri, A., 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. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, p. 327-341 15 p. (Lecture Notes in Computer Science, Vol. 7609).

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

    20 Citations (Scopus)

  • Synchronous interface theories and time triggered scheduling

    Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (eds.). Springer Publishing Company, p. 203-218 16 p. (Lecture Notes in Computer Science, Vol. 7273).

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

    3 Citations (Scopus)

  • Taking It to the Limit: Approximate Reasoning for Markov Processes

    Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Springer, p. 681-692 (Lecture Notes in Computer Science, Vol. 7464).

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

    18 Citations (Scopus)

  • TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (eds.). Netherlands: Springer, p. 492-497 6 p. (Lecture Notes in Computer Science, Vol. 7214).

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

    54 Citations (Scopus)

  • Testing real-time systems under uncertainty

    David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Vol. 6957. p. 352-371 20 p. (Lecture Notes in Computer Science, Vol. 6957).

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

    9 Citations (Scopus)

  • THAPS: Automated Vulnerability Scanning of PHP Applications

    Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Vol. 7617. p. 31-46 (Lecture Notes in Computer Science, Vol. 7617).

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

    16 Citations (Scopus)

  • Unblockable Compositions of Software Components

    Dong, R., Faber, J., Liu, Z., Srba, J., Zhan, N. & Zhu, J., 2012, Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12). USA: Association for Computing Machinery, p. 103-108 6 p. (Software Engineering Notes).

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

    6 Citations (Scopus)

  • What is a Timing Anomaly?

    Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 23. p. 1-12 12 p. (OpenAccess Series in Informatics).

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

    Open Access
    File
    10 Citations (Scopus)
    169 Downloads (Pure)
  • 2011

    A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

    Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 Jan 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Vol. 18. p. 12496-12502 7 p.

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

    6 Citations (Scopus)

  • Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 2011, CSL Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 12. p. 144-158 15 p.

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

    9 Citations (Scopus)

  • Learning Probabilistic Automata for Model Checking

    Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G. & Nielsen, B., 2011, 8th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, p. 111-120 10 p.

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

    File
    42 Citations (Scopus)
    959 Downloads (Pure)

  • Refactoring Real-Time Java Profiles

    Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 Mar 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, p. 109 - 116 16 p.

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

    4 Citations (Scopus)

  • The Quantitative Linear-Time–Branching-Time Spectrum

    Thrane, C., Fahrenberg, U. & Legay, A., 2011, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). Chakraborty, S. & Kumar, A. (eds.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 13. p. 103--114 19 p. (Leibniz International Proceedings in Informatics, Vol. 13).

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

    26 Citations (Scopus)

  • Tool Supported Analysis of Web Services Protocols

    Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, p. 50-64 15 p.

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

  • WCET tool challenge 2011: Report

    Von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., De Michiel, M., Olesen, M. C., Prantl, A., & 6 othersPuffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 104-138 35 p.

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

    7 Citations (Scopus)
  • 2010

    Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

    Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 Jul 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, p. 52-57

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

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

  • An Experiment with Using Google Tools for Project Supervision at Tertiary Education

    Srba, J., 2010, CompSysTech '10 Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies: Proceeding. Association for Computing Machinery, Vol. 471. p. 430-435

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

    4 Citations (Scopus)

  • Compositional Design Methodology with Constraint Markov Chains

    Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., Sept 2010, Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, p. 123-132

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

    32 Citations (Scopus)

  • Computing effects for correspondence types

    Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (ed.). p. 75-89

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

    Open Access
    File
    302 Downloads (Pure)

  • Cyclic executive for safety-critical Java on chip-multiprocessor

    Ravn, A. P. & Schoeberl, M., 2010, ACM International Conference Proceeding Series. Association for Computing Machinery, p. 63-69 7 p.

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

    5 Citations (Scopus)

  • Don't Let The Opponents Grind You Down: Type Inference for a Correspondence Certifying Type System with Opponent Typing

    Dahl, M. & Hüttel, H., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

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

  • Finding Error Handling Bugs in OpenSSL using Coccinelle

    Lawall, J., Laurie, B., Hansen, R. R., Palix, N. & Muller, G., 2010, Proceedings of The 8th European Dependable Computing Conference (EDCC-2010). IEEE Computer Society Press, p. 191-196

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

    36 Citations (Scopus)

  • Formal Analysis of Privacy for Vehicular Mix-Zones

    Dahl, M., Delaune, S. & Steel, G., 2010, Foundations of Computer Security - Privacy: Models & Analysis 2010 (FCS-PrivMod '10).

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

    29 Citations (Scopus)

  • Linear Uniform Receptiveness in a Pi-Calculus with Location Failures

    Hüttel, H., Garm Nielsen, J., Finderup, P. & Svane Knudsen, J., 2010, Proceedings of CATS 2010 - Computing: The Australasian Theory Symposium. Australian Computer Society, Vol. 109. (Conferences in Research and Practice in Information Technology , Vol. 109).

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

  • METAMOC; Modular Execution Time Analysis using Model Checking

    Dalsgaard, A. E., Olesen, M. C., Toft, M., Hansen, R. R. & Larsen, K. G., 2010, Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010).

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

    48 Citations (Scopus)

  • On Zone-Based Analysis of Duration Probabilistic Automata

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

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

  • Quantitative system validation in model driven design

    Hermanns, H., Larsen, K. G., Raskin, J-F. & Tretmans, J., 2010, Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10. Association for Computing Machinery, p. 301-302

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

    1 Citation (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

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

    11 Citations (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 p.

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

    2 Citations (Scopus)

  • The HomePort System

    Brønsted, J., Madsen, P. P., Skou, A. & Torbensen, R. S., 2010, 2010 7th IEEE Consumer Communications and Networking Conference (CCNC). IEEE Press, 5 p.

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

    Open Access
    File
    6 Citations (Scopus)
    1271 Downloads (Pure)

  • The Measurable Space of Stochastic Processes

    Cardelli, L. & Mardare, R. I., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the. IEEE Press, p. 171-180 10 p.

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

    19 Citations (Scopus)

  • Timed automata with observers under energy constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

    39 Citations (Scopus)

  • Timed I/O automata: a complete specification theory for real-time systems

    David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

    Open Access
    File
    148 Citations (Scopus)
    837 Downloads (Pure)
  • 2009

    A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

    Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, p. 114-126 13 p.

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

    33 Citations (Scopus)

  • Agile software development and its compatibility with a document-driven approach? A case study

    Heeager, L. T. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 205 214 p.

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

  • Analysing Access Control Specifications

    Probst, C. W. & Hansen, R. R., 2009, Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). IEEE Computer Society Press, Vol. 4. p. 22-33

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

    9 Citations (Scopus)

  • Analysis of collisions in wireless sensor networks

    Vighio, M. S. & Ravn, A. P., 2009, 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. Hansen, M. R. & Brekling, A. (eds.). Technical University of Denmark (DTU), 8 p.

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

    Open Access
    File
    720 Downloads (Pure)

  • A predictable Java profile: rationale and implementations

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

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

    22 Citations (Scopus)

  • A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

    Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

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

  • Decidable Fragments of a Higher Order Calculus with Locations

    Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (eds.). Elsevier, p. 113-138 (Electronic Notes in Theoretical Computer Science; No. 242, Vol. 1).

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

    3 Citations (Scopus)