‪Fredrik Rømming‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	14	14
h-index	2	2
i10-index	0	0

0

8

4

202320246 8

Co-authors

Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Kyungmin BaePOSTECHVerified email at postech.ac.kr
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr
Jaime AriasCNRS Research Engineer at LIPN, Université Paris 13Verified email at lipn.univ-paris13.fr

Fredrik Rømming

Fredrik Rømming

PhD Student, University of Cambridge

Verified email at cam.ac.uk - Homepage

Logic Artificial Intelligence Proof Theory Machine Learning Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Rewriting logic semantics and symbolic analysis for parametric timed automata J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022	7	2022
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming International Conference on Applications and Theory of Petri Nets and …, 2023	4	2023
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving J Arias, K Bae, C Olarte, PC Ölveczky, L Petrucci, F Rømming Science of Computer Programming 233, 103074, 2024	2	2024
Connections: Markov Decision Processes for Classical, Intuitionistic, and Modal Connection Calculi F Romming, J Otten, S Holden	1	2023

The system can't perform the operation now. Try again later.

Articles 1–4