Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE, s. 177-182 6 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

    3 Citationer (Scopus)

  • FBR: Dynamic Memory-Aware Fast Rerouting

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Schmid, S., Srba, J. & Tollund, R. G., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). IEEE, s. 55-60

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

  • Financial Data Analysis with PGMs Using AMIDST

    Cabanas, R., Martinez, A. M., Masegosa, A. R., Ramos-Lopez, D., Sameron, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 30 jan. 2017, Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016. IEEE, s. 1284-1287 4 s. 7836816

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

    4 Citationer (Scopus)

  • Finding a Forest in a Tree: the matching problem for wide reactive systems

    Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (red.). Springer Publishing Company, Bind 8902. s. 17-33 (Lecture Notes in Computer Science).

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

    4 Citationer (Scopus)

  • 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, s. 191-196

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

    36 Citationer (Scopus)

  • Finite equational bases in process algebra: Results and open questions

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity. s. 338-367

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

    38 Citationer (Scopus)

  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 okt. 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery, s. 29-38 10 s. (ACM International Conference Proceeding Series).

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

    Åben adgang
    Fil

  • Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks

    Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    Fil
    2 Citationer (Scopus)
    614 Downloads (Pure)

  • Fluid Information Systems

    Probst, C. W. & Hansen, R. R., 2009, Proceedings of the New Security Paradigms Workshop (NSPW'09). Association for Computing Machinery, 8 s.

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

    4 Citationer (Scopus)

  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).

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

    3 Citationer (Scopus)

  • Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

    Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M. & Olsen, P., 2015, Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Núñez, M. & Güdemann, M. (red.). Springer, s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

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

    35 Citationer (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).

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

    29 Citationer (Scopus)

  • Formal Methods for Modelling and Analysis of Single-Event Upsets

    Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 2015, IEEE International Conference on Information Reuse and Integration (IRI 2015). IEEE, s. 287-294

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

    3 Citationer (Scopus)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Science+Business Media, s. 393-405 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13703 LNCS).

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

    4 Citationer (Scopus)

  • Formal Modelling and Analysis of an Audio/Video Protocol: an Industrial Case Study using Uppaal

    Havelund, K., Larsen, K. G. & Skou, A., 1997, Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, s. 2-13

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

  • Formal validation of supervisory energy management systems for microgrids

    Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., okt. 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, s. 1154-1159 6 s.

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

    11 Citationer (Scopus)

  • Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

    Havelund, K., Larsen, K. G. & Skou, A., 1999, Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. Katoen,J.-P. (ed.) (red.). 1601 udg. IEEE Computer Society Press, s. 277-298

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

    32 Citationer (Scopus)

  • From Flow Logic to Static Type Systems for Coordination Languages

    De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W. & Pugliese, R., 2008, Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08). Springer, s. 100-116 (Lecture Notes in Computer Science; Nr. 5052).

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

    5 Citationer (Scopus)

  • From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

    Jaeger, M., Larsen, K. G. & Tibo, A., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (red.). Springer Science+Business Media, s. 517-535 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12399 LNCS).

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

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

  • Full-Band Music Genres Interpolations with Wasserstein Autoencoders

    Borghuis, T., Tibo, A., Conforti, S., Brusci, L. & Frasconi, P., 2019, Ital-IA.

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

    Åben adgang
    Fil
    90 Downloads (Pure)

  • Gaussian Traffic Revisited

    de Oliveira Schmidt, R., Sadre, R. & Pras, A., maj 2013, Proceedings of the 12th IFIP Networking Conference. IEEE Communications Society, 9 s.

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

    14 Citationer (Scopus)

  • General quantitative specification theories with modalities

    Bauer, S. S., Fahrenberg, U., Legay, A. & Thrane, C., 2012, Computer Science – Theory and Applications: 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings. Hirsch, E. A., Karhumäki, J., Lepistö, A. & Prilutskii, M. (red.). Springer Publishing Company, s. 18-30 13 s. (Lecture Notes in Computer Science, Bind 7353).

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

    15 Citationer (Scopus)

  • Generating Instructions at Different Levels of Abstraction

    Köhn, A., Wichlacz, J., Torralba, A., Höller, D., Hoffmann, J. & Koller, A., 2020, Proceedings of the 28th International Conference on Computational Linguistics. International Committee on Computational Linguistics, s. 2802-2813

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

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

  • Generation of Realistic Activity Scenarios for SUMO

    Carlsen, F. B. Ø., Jenner Rasmussen, J., Sørensen, M. M., Jensen, N. Ø. & Albano, M., 7 dec. 2020, MobiQuitous '20: MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Association for Computing Machinery, s. 357–365

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

    Åben adgang

  • Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

    Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 jul. 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, s. 51-58 8 s. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    Fil
    7 Citationer (Scopus)
    118 Downloads (Pure)

  • Genetic linkage analysis algorithms and their implementation

    Ingolfsdottir, A. & Gudbjartsson, D., 2005, Transactions on Computational Systems Biology III: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Priami, C., Merelli, E., Gonzalez, P. P. & Omicini, A. (red.). IEEE Computer Society Press, s. 123-144 (Lecture Notes in Computer Science; Nr. 3737).

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

    4 Citationer (Scopus)

  • Gollector: Measuring Domain Name Dark Matter from Different Vantage Points

    Hageman, K., Hansen, R. R. & Pedersen, J. M., 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (red.). Springer, s. 133-152 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13115 LNCS).

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

    1 Citationer (Scopus)

  • Graph Convolutional Networks for Road Networks

    Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 5 nov. 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. 460-463 4 s.

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

    Åben adgang
    Fil
    27 Citationer (Scopus)
    383 Downloads (Pure)

  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, The 2023 ICML Workshop on Computational Biology. 7 s. 81

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

    Åben adgang

  • Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants

    Coënt, A. L. & Fribourg, L., dec. 2019, 2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, s. 599-604 6 s. 9029376. (I E E E Conference on Decision and Control. Proceedings).

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

    2 Citationer (Scopus)

  • Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

    Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Chamberlain, R., Taha, W. & Törngren, M. (red.). Heidelberg: Springer, s. 113-133 21 s. (Lecture Notes in Computer Science, Bind 11615).

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

    6 Citationer (Scopus)

  • Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

    Coent, A. C. L. & Fribourg, L., 2020, Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (red.). Springer, s. 181-202 22 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11971 LNCS).

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

    2 Citationer (Scopus)

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, s. 784-790 7 s. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

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

    Åben adgang
    Fil
    39 Downloads (Pure)

  • Guided Controller Synthesis for Climate Controller Using UPPAAL-TIGA

    David, A., Jessen, J. J., Rasmussen, J. I. & Larsen, K. G., 2007, Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings. 4763 udg. Springer, s. 227-240 14 s. (Lecture Notes in Computer Science; Nr. 4763).

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

    37 Citationer (Scopus)

  • Guided Synthesis of Control Programs Using UPPAAL

    Hune, T., Larsen, K. G. & Pettersson, P., 2000, Proceedings for International Workshop on Distributed Systems Verification and Validation. Lai, T. H. (red.). s. 15-22

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

  • Guiding and Cost-Optimality in Uppaal

    Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, AAAI Spring Symposium Model-Based Validation of Intelligence.

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

    95 Citationer (Scopus)

  • Handoff Initiation in Mobile IPv6

    Andersen, T. W., Lildballe, A. & Nielsen, B., 2001, WPMC' 01 : Conference Proceedings : The Fourth International Symposium on Wireless Personal Multimedia Communications : September 9-12, 2001 Aalborg, Denmark. Center For PersonKommunikation, Aalborg Universitet

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

  • Hardware Objects for Java

    Schoeberl, M., Thalinger, C., Korsholm, S. & Ravn, A. P., 2008, 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). IEEE Computer Society Press, s. 445-452

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

    27 Citationer (Scopus)

  • Harnessing Theories for Tool Support

    Liu, Z., Mencl, V., Ravn, A. P. & Yang, L., 2006, Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006. University of Cyprus, 12 s.

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

    14 Citationer (Scopus)

  • Height-Deterministic Pushdown Automata

    Nowotka, D. & Srba, J., 2007, 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS'07), LNCS. 4708 udg. Springer, Bind LNCS. s. 125-134 10 s.

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

    34 Citationer (Scopus)

  • Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 jun. 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (red.). Springer Publishing Company, Bind 8348. s. 61-78 18 s. 6. (Lecture Notes in Computer Science).

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

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

  • Highly Undecidable Questions for Process Algebras

    Srba, J. & Jancar, P., 2004, Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04). Kluwer Academic Publishers, s. 507-520

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

    5 Citationer (Scopus)

  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 279. s. 31:1-31:16 16 s. 31. (Leibniz International Proceedings in Informatics).

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

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

  • HomePort: Middleware for heterogeneous home automation networks

    Le Guilly, T., Olsen, P., Ravn, A. P., Rosenkilde, J. & Skou, A., 2013, 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). IEEE, s. 627 - 633 7 s.

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

    18 Citationer (Scopus)

  • Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics

    Horčík, R., Fišer, D. & Torralba, A., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, Bind 36/9.

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

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

  • How A Flipped Learning Environment Affects Learning In A Course On Theoretical Computer Science

    Gnaur, D. & Hüttel, H., 2014, Advances in Web-Based Learning - ICWL 2014 - Lecture Notes in Computer Science: 13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings. Popescu, E., Lau, R. W. H., Pata, K., Leung, H. & Laanpere, M. (red.). Springer Publishing Company, Bind 8613. s. 219-228 (Lecture Notes in Computer Science, Bind 8613).

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

    5 Citationer (Scopus)

  • How do exhibition visitors describe aesthetic qualities?

    Thomsen, B. D. & Ravn, A. P., 2007, International Conference on Computing, Communications and Control Technologies  CCCT 2007: Interactive Communication Design of Information Systems. 1 udg. International Institute of Informatics and Cybernetics, Bind III. s. 155-160 6 s. (The CCCT07).

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

    Åben adgang
    Fil
    1055 Downloads (Pure)

  • Hybrid Control Design for a Wheeled Mobile Robot

    Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, Hybrid Systems: Computation and Control, HSCC 2003: Lecture Notes in Computer Science. Oded Maler, Amir Pnueli (eds.) (red.). 2623 udg. Springer, s. 50-65

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

    18 Citationer (Scopus)

  • Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

    Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 sep. 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). Chang, M., Sampson, D. G., Huang, R., Gomes, A. S., Chen, N-S., Bittencourt, I. I., Kinshuk, K., Dermeval, D. & Bittencourt, I. M. (red.). IEEE, s. 236-238 3 s. 8820918. (International Conference on Advanced Learning Technologies (ICALT)).

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

    9 Citationer (Scopus)

  • Impact of Scheduling Policies on Control System Performance

    Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on CoDesign in Real Time Systems (CERTS), Porto, Portugal, July 2003.

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