Edit Profile Declerck, David Compute Distance To: Compute Author ID: declerck.david Published as: Declerck, David Documents Indexed: 2 Publications since 2018 Co-Authors 0 single-authored 2 Conchon, Sylvain 2 Zaïdi, Fatiha Serials 1 Journal of Automated Reasoning Fields 2 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 2 times in 2 Documents Cited by ▼ Year ▼ Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha 2 2018 Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory. Zbl 06958097Conchon, Sylvain; Declerck, David; Zaïdi, Fatiha 2 2018 all top 5 Cited by 8 Authors 1 Calvanese, Diego 1 Conchon, Sylvain 1 Declerck, David 1 Ghilardi, Silvio 1 Gianola, Alessandro 1 Montali, Marco 1 Rivkin, Andrey 1 Zaïdi, Fatiha Cited in 2 Serials 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science Cited in 1 Field 2 Computer science (68-XX) Citations by Year