If you made any changes in Pure, your changes will be visible here soon.

Research Output 1997 2019

Filter
Chapter
2017

K: A semantic framework for programming languages and formal analysis tools

Rosu, G., Jan 1 2017, Dependable Software Systems Engineering. IOS Press, p. 186-206 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer programming languages
Semantics
2003

Certifying optimality of state estimation programs

Rosu, G., Venkatesan, R. P., Whittle, J. & Leuştean, L., Jan 1 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer-Verlag, p. 301-314 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

Research output: Chapter in Book/Report/Conference proceedingChapter

State Estimation
State estimation
Kalman filters
Kalman Filter
Optimality