Marie-Christine Jakobs

Author

Also Known As

Jakobs, Marie-Christine, Marie-Christine Jakobs

Publications

402

Citations

H-Index

Concepts

All Affiliations

Marie-Christine Jakobs is an author at Paderborn University specializing in computer science, software verification, and software analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	154
2	Computer Science	5	5	154
3	Computer Engineering	2	2	68
4	Data Science	2	2	74
5	Systems Engineering	2	2	68

Marie-Christine Jakobs

Publications

154

Citations

H-Index

Page 1

	Year	Citations
Algorithm selection for software validation based on graph kernels Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Automated Software Engineering Software MaintenanceEngineeringMachine LearningMachine Learning ToolVerification	2020	46
Reducer-based construction of conditional verifiers Dirk Beyer, Marie-Christine Jakobs, Thomas R. Lemberger, Mathematical ProgrammingReduced Order ModelingEngineeringVerificationComputer-aided Verification	2018	40
Predicting rankings of software verification tools Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2017	28
Certification for configurable program analysis Marie-Christine Jakobs, Heike Wehrheim Software MaintenanceEngineeringVerificationSoftware EngineeringFormal Verification	2014	23
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence Marie-Christine Jakobs Software MaintenanceProgram CheckingContext-aware CheckingEngineeringVerification	2021	17

Page 1