Nicolaj Østerby Jensen 个人学术档案

2022202320241 1

开放获取的出版物数量

0 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Nicolaj Østerby Jensen

在 cs.aau.dk 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Generation of Realistic Activity Scenarios for SUMO FBØ Carlsen, JJ Rasmussen, MM Sørensen, NØ Jensen, M Albano MobiQuitous 2020-17th EAI International Conference on Mobile and Ubiquitous …, 2020	2	2020
Dynamic Extrapolation in Extended Timed Automata NØ Jensen, PG Jensen, KG Larsen International Conference on Formal Engineering Methods, 83-99, 2023		2023
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics FBØ Carlsen, LBP Frydenskov, NØ Jensen, J Rasmussen, MM Sørensen, ... arXiv preprint arXiv:2310.00999, 2023		2023

系统目前无法执行此操作，请稍后再试。

文章 1–3

每年引用数