Research output per year
Research output per year
Research output
Search results
-
2023
Reshaping State-Space Search: From Dominance to Contrastive Analysis
Torralba, Á., 27 Jun 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI Press, p. 15457 1 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 37).Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
-
2022
Rigorous time evolution of p-boxes in non-linear ODEs
Gray, A., Forets, M., Schilling, C., Benet, L. & Ferson, S., 2022, Book of Extended Abstracts for the 32nd European Safety and Reliability Conference. Research Publishing, p. 154-155 2 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
Open AccessFile42 Downloads (Pure) -
2021
An approach to estimating energy consumption of web-based IT systems
Kirkeby, M. H., Gallagher, J. & Thomsen, B., Sept 2021, CERCIRAS Workshop-01: Abstracts. p. 18 1 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
-
2016
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems
Larsen, K. G., 2016, PROCEEDINGS, 23rd International Symposium on Temporal Representation and Reasoning: TIME 2016. IEEE, 1 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research › peer-review
-
2008
Type inference for a correspondence certifying type system
Hüttel, H. & Dahl, M., 2008, 20th Nordic Workshop on Programming Theory NWPT 2008. Alfapress, p. 22-24 3 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research
-
2006
UPPAAL-Tiga: Timed Games for Everyone
David, A., Larsen, K. G., Behrmann, G., Fleury, E., Lime, D. & Cougnard, A., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory. Aceto, L. & Ingolfdottir, A. (eds.). University of Reykjavik, 4 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research
-
2004
Intelligent Sensory Using Compact Data Structures and Bayesian Networks
Hansen, J. A., 2004, Proceeding of the 16th Nordic Workshop on Programming Theory. 16 ed. Department of Information Tecnology, Uppsala University, p. 99-102 4 p.Research output: Contribution to book/anthology/report/conference proceeding › Conference abstract in proceeding › Research