29
Publications
1K
Citations
18
H-Index
2002
Active since
Paweł Sobociński is an author at University of Southampton specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringSemanticsGraph TheoryNetwork AnalysisLinguistics
Publications per year
2002–2022
29
29
Rows per page
1–5 of 29