Alfons Laarman

Cituota

	Visi	Nuo 2020
Šaltiniai	1308	464
h-rodyklė	20	11
i10-rodyklė	26	14

140

105

201020112012201320142015201620172018201920202021202220232024202516 31 64 80 115 90 110 80 122 121 72 64 74 99 134 18

Viešas pasiekiamumas

Peržiūrėti viską

18 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Jaco van de PolProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Tim CoopmansDelft University of TechnologyPatvirtintas el. paštas tudelft.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Jingyi MeiPhD student at Leiden UniverisityPatvirtintas el. paštas liacs.leidenuniv.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Patvirtintas el. paštas lipn.univ-paris13.fr
Kim G. LarsenDirector, Professor Aalborg UniversityPatvirtintas el. paštas cs.aau.dk
Vedran DunjkoLeiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl
Georg WeissenbacherProfessor of Computer Science, TU WienPatvirtintas el. paštas tuwien.ac.at
Peter J.F. LucasThe Bayesian Institute; University of Twente; guest at Radboud UniversityPatvirtintas el. paštas cs.ru.nl
Ivan KurtevEindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Ana SokolovaAssociate Professor at University of SalzburgPatvirtintas el. paštas cs.uni-salzburg.at
Thomas BäckProfessor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, NorwayPatvirtintas el. paštas liacs.leidenuniv.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl
Jiří BarnatMasaryk University, Faculty of InformaticsPatvirtintas el. paštas fi.muni.cz
Alexandre Duret-LutzLRE / EPITAPatvirtintas el. paštas lrde.epita.fr
David ElkoussOkinawa Institute of Science and Technology (OIST) & QuTech, TU DelftPatvirtintas el. paštas oist.jp
Mathys RennelaResearcher at INRIAPatvirtintas el. paštas welinq.fr
Robert WilleTechnical University of Munich and SCCH GmbHPatvirtintas el. paštas tum.de
Arjen HommersomAssociate professor at Open University of the NetherlandsPatvirtintas el. paštas ou.nl
Henning BasoldLIACS - Leiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl

Stebėti

Alfons Laarman

Leiden University

Patvirtintas el. paštas liacs.leidenuniv.nl - Pagrindinis puslapis

Reliable Computing Parallel Computing Quantum Computing


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	225	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	111	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	85	2012
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	71	2011
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	66	2011
Ontological Metamodeling with Explicit Instantiation A Laarman, I Kurtev Software Language Engineering, 174-183, 2010	57	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	54	2013
Parallel Recursive State Compression for Free A Laarman, J Van De Pol, M Weber Model Checking Software, 38-56, 2011	50	2011
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	48	2016
Multi-Core BDD Operations for Symbolic Reachability T van Dijk, AW Laarman, JC van de Pol Electronic Notes in Theoretical Computer Science, 2012	47	2012
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
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	40	2018
SpinS: Extending LTSmin with Promela through SpinJa FI van der Berg, AW Laarman PASM / PDMC, 11, 2012	33	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	32	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	31	2016
Scalable multi-core model checking A Laarman	25	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	23	2023
Variations on multi-core nested depth-first search A Laarman, J van de Pol arXiv preprint arXiv:1111.0369, 2011	23	2011
A parallel compact hash table S van der Vegt, A Laarman International Doctoral Workshop on Mathematical and Engineering Methods in …, 2011	23	2011
Partial-order reduction for multi-core LTL model checking A Laarman, A Wijs Haifa Verification Conference, 267-283, 2014	21	2014

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai