Citation of paper, Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
David Parker51144,8704.2
Falk Howar4751,1282.1
30
Alessio Lomuscio2841,2141.4
20
Muzammil Shahbaz281641.4
Gethin J Norman21014,8693.8
Andrea Turrini1382581.4
Louise A Dennis1689433.1
Aaron D Ames12424,9273.9
Jonas Westman1141021.2
Sven Schewe1838031.3
Nir Piterman1922,0842.2
李勇17100.8
Paris C Avgeriou11762,8762.1
Sander de Putter13141.1
Joost-Pieter Katoen12845,3632.2
Dana Fisman1364321.3
Michal Soucha1370.8
Tiziana Margaria11922,1971.1
Goran Frehse1441,1813.1
Karam Abdelkader1280.8
Redouane Bouchekir1370.5
Jun Sun12112,1261.7
Alexandre F Petrenko1681,0551.2
James Anderson1223242.2
Anton J Wijs1675541.4
Matthew B Dwyer11244,3122
Michael Fisher12062,9971.9
Hoda Mehrpouyan117851
Steven H Low11208,7299
Thomas Neele1111082.8
Yuxiao Chen1212222.8