Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
Assume-Guarantee Reasoning for Additive Hybrid Behaviour
Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 Sept 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (eds.). 1 ed. Springer, Vol. 14080. p. 297-322 26 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
-
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata
Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 Jun 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE, (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
A Correlated Time Series Forecast System
Abildgaard, N. C., Bang, C. W., Hansen, J., Jacobsen, T. L., Knudsen, T. H., Lisby, N. O., Guo, C. & Yang, B., Jun 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, p. 242-243 2 p. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2020-June).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review