The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Gert Smolka sits on this spectrum.
This scientist: 135 publications — 21st percentile
21% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Gert Smolka sits on this spectrum.
This scientist: 30 D-Index — 3rd percentile
3% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Gert Smolka is affiliated with Saarland University in Germany and specializes in the field of Computer Science. Their research spans several subfields including Artificial Intelligence and Computational Theory and Mathematics.
The main topics of their work focus on areas such as:
Gert Smolka has contributed to academic literature with papers published in well-known venues within the computer science community. Recent publications include:
Frequent co-authors who have collaborated with Gert Smolka include:
Publication venues where their work has commonly appeared are:
Their body of work is firmly rooted in theoretical and applied aspects of computer science, particularly addressing verification methods and formal logic systems. This places Gert Smolka in a research context that combines rigorous mathematical frameworks with practical programming paradigms.
Manfred Schmidt-Schaubß;Gert Smolka
G. Smolka
Gert Smolka
Gert Smolka
Gert Smolka;Ralf Treinen
Gert Smolka
Gert Smolka;Werner Nutt;Joseph A. Goguen;José Meseguer
Peter Van Roy;Seif Haridi;Per Brand;Gert Smolka
Hassan Aït-Kaci;Andreas Podelski;Gert Smolka
Gert Smolka
J. Niehren;J. Schwinghammer;G. Smolka
Gert Smolka;Martin Henz;Jörg Würtz
Werner Nutt;Pierre Réty;Gert Smolka
B. Nebel;G. Smolka
Gert Smolka;Hassan Ait-Kaci
Martin Henz;Gert Smolka;Jorg Wurtz
Martin Henz;Gert Smolka;Jorg Wurtz
Jose Meseguer;Joseph A. Goguen;Gert Smolka
Gert Smolka
Steven Schäfer;Tobias Tebbi;Gert Smolka
Christian Schulte;Gert Smolka;Jörg Würtz
Seif Haridi;Peter Van Roy;Per Brand;Michael Mehl
Christian Schulte;Gert Smolka
Hassan Aït-Kaci;Andreas Podelski;Gert Smolka
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens the door to a variety of educational and career options, especially with the rise of flexible online degrees. Students concerned about academic history often ask, "will grad schools accept low gpa?" Thankfully, many accredited online programs offer accessible pathways, even for those with less-than-perfect GPAs.
For those eager to accelerate their careers, consider pursuing the fastest computer science degree programs. These allow students to complete high-quality coursework in a shorter time frame, providing a faster route into the tech industry.
Career opportunities go beyond software or IT. With a computer science background, you might ask, "what can you get with an environmental science degree?" There is increasing demand for professionals who combine tech and environmental expertise, opening paths in data analysis, sustainability, and more.
If you’re passionate about environmental innovation, explore a practical environmental engineer degree online. This is a dynamic field at the intersection of technology and sustainability, offering meaningful work with global impact.
French Institute for Research in Computer Science and Automation - INRIA
Publications: 19
China University of Petroleum, Beijing
University of Sydney
Columbia University
University of Waterloo
Pennsylvania State University
University of Helsinki
Sapienza University of Rome
Ludwig-Maximilians-Universität München
University of Lisbon
Chinese Academy of Sciences
University of Oslo
Mario Negri Institute for Pharmacological Research
University of South Carolina
Otto-von-Guericke University Magdeburg
Mayo Clinic
University of Milan
