Alfons Laarman 个人学术档案

引用次数

	总计	2019 年至今
引用	1172	473
h 指数	19	13
i10 指数	25	15

120

20102011201220132014201520162017201820192020202120222023202414 32 63 75 111 88 101 80 119 111 72 65 74 107 41

开放获取的出版物数量

查看全部

16 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Jaco van de PolProfessor of Computer Science, Aarhus University在 cs.au.dk 的电子邮件经过验证
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13在 lipn.univ-paris13.fr 的电子邮件经过验证
Tim CoopmansDelft University of Technology在 tudelft.nl 的电子邮件经过验证
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
Georg WeissenbacherProfessor of Computer Science, TU Wien在 tuwien.ac.at 的电子邮件经过验证
Vedran DunjkoLeiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
Peter LucasThe Bayesian Institute; University of Twente; guest at Radboud University在 cs.ru.nl 的电子邮件经过验证
Ivan KurtevAltran Nederland在 altran.com 的电子邮件经过验证
Ana SokolovaAssociate Professor at University of Salzburg在 cs.uni-salzburg.at 的电子邮件经过验证
Henri HansenDocent, University Lecturer, Mathematics, Tampere University在 tuni.fi 的电子邮件经过验证
Jiří BarnatMasaryk University, Faculty of Informatics在 fi.muni.cz 的电子邮件经过验证
Alexandre Duret-LutzLRE / EPITA在 lrde.epita.fr 的电子邮件经过验证
David ElkoussOkinawa Institute of Science and Technology (OIST) & QuTech, TU Delft在 oist.jp 的电子邮件经过验证
Mathys RennelaResearcher at INRIA在 inria.fr 的电子邮件经过验证
Arjen HommersomAssociate professor at Open University of the Netherlands在 ou.nl 的电子邮件经过验证
Thomas BäckProfessor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, Norway在 liacs.leidenuniv.nl 的电子邮件经过验证
Robert WilleTechnical University of Munich and SCCH GmbH在 tum.de 的电子邮件经过验证
Marcello BonsangueProfessor of Computer Science, Leiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
Henning BasoldLIACS - Leiden University在 liacs.leidenuniv.nl 的电子邮件经过验证

关注

Alfons Laarman

Leiden University

在 liacs.leidenuniv.nl 的电子邮件经过验证 - 首页

Reliable Computing Parallel Computing Quantum Computing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
LTSmin: High-Performance, Language-Independent Model Checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk TACAS 9035 (0302-9743), 692-707, 2015	206	2015
Boosting Multi-Core Reachability Performance with Shared Hash Tables A Laarman, J Van De Pol, M Weber Formal Methods in Computer-Aided Design (FMCAD), 2010, 247-255, 2010	110	2010
Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol Automated Technology for Verification and Analysis: 10th International …, 2012	75	2012
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	66	2011
Multi-Core Nested Depth-First Search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis, 321-335, 2011	65	2011
Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010	55	2010
Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction A Laarman, MC Olesen, A Dalsgaard, KG Larsen, J van de Pol CAV 2013, 16, 2013	53	2013
Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011	50	2011
Guard-based partial-order reduction A Laarman, E Pater, J Van De Pol, H Hansen International journal on software tools for technology transfer 18 (4), 427-448, 2016	46	2016
Multi-core on-the-fly SCC decomposition V Bloemen, A Laarman, J van de Pol Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016	44	2016
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012	42	2012
Parallel model checking algorithms for linear-time temporal logic J Barnat, V Bloemen, A Duret-Lutz, A Laarman, L Petrucci, J van de Pol, ... Handbook of Parallel Constraint Reasoning, 457-507, 2018	37	2018
SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012	31	2012
Multi-core reachability for timed automata AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012	31	2012
Vienna Verification Tool: IC3 for Parallel Software: (Competition Contribution) H Günther, A Laarman, G Weissenbacher International Conference on Tools and Algorithms for the Construction and …, 2016	30	2016
Scalable multi-core model checking A Laarman	25	2014
A parallel compact hash table S van der Vegt, A Laarman International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011	24	2011
Variations on multi-core nested depth-first search A Laarman, J van de Pol arXiv preprint arXiv:1111.0369, 2011	22	2011
Partial-order reduction for multi-core LTL model checking A Laarman, A Wijs Hardware and Software: Verification and Testing: 10th International Haifa …, 2014	20	2014
LIMDD: A decision diagram for simulation of quantum computing including stabilizer states L Vinkhuijzen, T Coopmans, D Elkouss, V Dunjko, A Laarman Quantum 7, 1108, 2023	16	2023

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用