Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2020

Filter
Working paper
2019

Development of a hybrid Bayesian network model for predicting acute fish toxicity using multiple lines of evidence

Moe, J., Madsen, A. L., Connors, K. A., Rawlings, J. M., Belanger, S. E., Landis, W. G., Wolf, R. & Lillicrap, A. D., 30 Aug 2019, (Submitted) Cold Spring Harbor Laboratory Press.

Research output: Working paperResearch

toxicity
fish
embryo
chemical substance
ecotoxicology
2014
157 Downloads (Pure)

Model checking process algebra of communicating resources for real-time systems

Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.

Research output: Working paperResearch

Open Access
File
2011

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 Oct 2011, 77 p.

Research output: Working paperResearch

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 Jun 2011, 36 p.

Research output: Working paperResearch

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 Jan 2010, 49 p.

Research output: Working paperResearch

2009

Quasimodo Year 1 Management Report

Nielsen, B. & Larsen, K. G., 2009, 41 p.

Research output: Working paperResearch

2006
91 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

Research output: Working paperResearch

File
Specification languages
Specifications
Communication
Chemical analysis
2004

Bisimilarity is not Finitely Based over BPA with Interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.

Research output: Working paperResearch

Danfoss EKC Trial Project Deliverables

Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, p. 52.

Research output: Working paperResearch

145 Downloads (Pure)

Minimal DBM Substraction

David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, p. 4.

Research output: Working paperResearch

Open Access
File

Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)

Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

Research output: Working paperResearch

2003

CCS with Hennessy's Merge has no Finite Equational Axiomatization

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2003, p. 37.

Research output: Working paperResearch

11 Citations (Scopus)
359 Downloads (Pure)

Hybrid Control Design for a Wheeled Mobile Robot

Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.

Research output: Working paperResearch

Open Access
File
72 Downloads (Pure)
Open Access
File

Nested Semantics over Finite Trees are Equationally Hard

Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

Research output: Working paperResearch

112 Downloads (Pure)
Open Access
File