2
Publications
53
Citations
2
H-Index
1999
Active since
Affiliations
Andre Bogaerts is an author at Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di Frascati specializing in engineering, formal methods, and experimental nuclear physics.
Top concepts
EngineeringNuclear DataVerificationFormal MethodsComputer ScienceParticle PhysicsProgram AnalysisLogic ProgrammingSoftware AnalysisParallel Computing
Publications per year
1999–2008
2
2
Data-Flow Analysis for Constraint Logic-Based Languages
Roberto Bagnara, Antonio Bassi, D. Bollini et al. · 1999 · 43 citations
Rows per page
1–2 of 2