Alfons Laarman

Citirano

	Sve	Od 2020.
Citati	1307	463
H-indeks	20	11
i10-indeks	26	14

140

105

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

Javni pristup

Prikaži sve

18 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Jaco van de PolProfessor of Computer Science, Aarhus UniversityPotvrđena adresa e-pošte na cs.au.dk
Tim CoopmansDelft University of TechnologyPotvrđena adresa e-pošte na tudelft.nl
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyPotvrđena adresa e-pošte na tue.nl
Jingyi MeiPhD student at Leiden UniverisityPotvrđena adresa e-pošte na liacs.leidenuniv.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Potvrđena adresa e-pošte na lipn.univ-paris13.fr
Kim G. LarsenDirector, Professor Aalborg UniversityPotvrđena adresa e-pošte na cs.aau.dk
Vedran DunjkoLeiden UniversityPotvrđena adresa e-pošte na liacs.leidenuniv.nl
Georg WeissenbacherProfessor of Computer Science, TU WienPotvrđena adresa e-pošte na tuwien.ac.at
Peter J.F. LucasThe Bayesian Institute; University of Twente; guest at Radboud UniversityPotvrđena adresa e-pošte na cs.ru.nl
Ivan KurtevEindhoven University of TechnologyPotvrđena adresa e-pošte na tue.nl
Ana SokolovaAssociate Professor at University of SalzburgPotvrđena adresa e-pošte na cs.uni-salzburg.at
Thomas BäckProfessor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, NorwayPotvrđena adresa e-pošte na liacs.leidenuniv.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityPotvrđena adresa e-pošte na liacs.leidenuniv.nl
Jiří BarnatMasaryk University, Faculty of InformaticsPotvrđena adresa e-pošte na fi.muni.cz
Alexandre Duret-LutzLRE / EPITAPotvrđena adresa e-pošte na lrde.epita.fr
David ElkoussOkinawa Institute of Science and Technology (OIST) & QuTech, TU DelftPotvrđena adresa e-pošte na oist.jp
Mathys RennelaResearcher at INRIAPotvrđena adresa e-pošte na welinq.fr
Robert WilleTechnical University of Munich and SCCH GmbHPotvrđena adresa e-pošte na tum.de
Arjen HommersomAssociate professor at Open University of the NetherlandsPotvrđena adresa e-pošte na ou.nl
Henning BasoldLIACS - Leiden UniversityPotvrđena adresa e-pošte na liacs.leidenuniv.nl

Prati

Alfons Laarman

Leiden University

Potvrđena adresa e-pošte na liacs.leidenuniv.nl - Početna stranica

Reliable Computing Parallel Computing Quantum Computing


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	47	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori