Potop-Butucaru, Dumitru
Documents Indexed: | 4 Publications since 2006 |
Co-Authors: | 8 Co-Authors with 4 Joint Publications |
146 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
2 | Caillaud, Benoît |
2 | de Simone, Robert |
1 | Benveniste, Albert |
1 | Carle, Thomas |
1 | Gorcitz, Raul |
1 | Kofman, Emilien |
1 | Sorel, Yves |
1 | Talpin, Jean-Pierre |
Publications by Year
all
top 5
Cited by 23 Authors
Cited in 4 Serials
2 | Theoretical Computer Science |
2 | Formal Methods in System Design |
1 | Science of Computer Programming |
1 | Formal Aspects of Computing |
Cited in 4 Fields
9 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Systems theory; control (93-XX) |
1 | Information and communication theory, circuits (94-XX) |