Robert M. Arlein is an author at AT&T (United States) specializing in formal methods, automated reasoning, and system software.
Top concepts
ManagementEngineeringData ScienceSemantic WebData ModelingFormal MethodsData ManagementSystem SoftwareComputer ScienceData Integration
Publications per year
2000–2002
2
2
Privacy-preserving global customization
Robert M. Arlein, Ben Jai, Markus Jakobsson et al. · 2000 · 29 citations · Full text
Rows per page
1–2 of 2