Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

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, (Afsendt) Cold Spring Harbor Laboratory Press.

Publikation: Working paperForskning

2014

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

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

Publikation: Working paperForskning

Åben adgang
Fil
182 Downloads (Pure)
2011

Quasimodo Final Report

Nielsen, B. & Larsen, K. G., 1 okt. 2011, 77 s.

Publikation: Working paperForskning

Quasimodo Year 3 Management Report

Nielsen, B. & Larsen, K. G., 1 jun. 2011, 36 s.

Publikation: Working paperForskning

2010

Quasimodo Year 2 Management Report

Nielsen, B. & Larsen, K. G., 28 jan. 2010, 49 s.

Publikation: Working paperForskning

2009

Quasimodo Year 1 Management Report

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

Publikation: Working paperForskning

2006

Interface Input/Output Automata: Splitting Assumptions from Guarantees

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

Publikation: Working paperForskning

Fil
95 Downloads (Pure)
2004

Bisimilarity is not Finitely Based over BPA with Interrupt

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

Publikation: Working paperForskning

Danfoss EKC Trial Project Deliverables

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

Publikation: Working paperForskning

Minimal DBM Substraction

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

Publikation: Working paperForskning

Åben adgang
Fil
155 Downloads (Pure)

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

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

Publikation: Working paperForskning

2003

CCS with Hennessy's Merge has no Finite Equational Axiomatization

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

Publikation: Working paperForskning

Hybrid Control Design for a Wheeled Mobile Robot

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

Publikation: Working paperForskning

Åben adgang
Fil
12 Citationer (Scopus)
381 Downloads (Pure)
Åben adgang
Fil
72 Downloads (Pure)

Nested Semantics over Finite Trees are Equationally Hard

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

Publikation: Working paperForskning

Åben adgang
Fil
112 Downloads (Pure)