Peter Niebert
Impact in
- Hardware and Architecture top 5%
- Embedded Systems Design Techniques
- Real-Time Systems Scheduling
- Parallel Computing and Optimization Techniques
- Software top 10%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
Papers in
-
- Formal Methods in Verification 5
- Petri Nets in System Modeling 3
-
- Logic, programming, and type systems 3
- Advanced Software Engineering Methodologies 2
- Co-authors
- Christos Sofronis (3 shared papers)Stavros Tripakis (3 shared papers)Paul Caspi (3 shared papers)Aude Maignan (3 shared papers)Pedro R. D’Argenio (2 shared papers)Denis Lugiez (1 shared paper)Wojciech Penczek (1 shared paper)Sergio Yovine (1 shared paper)
- Journals
- European Journal of Control (1 paper)Theoretical Computer Science (1 paper)ACM SIGPLAN Notices (1 paper)at - Automatisierungstechnik (2 papers)Data Archiving and Networked Services (DANS) (1 paper)
- Partner nations
- France
In The Last Decade
Peter Niebert
11 papers receiving 192 citations
Peers
Comparison fields: 5 of 19
- Hardware and Architecture 138
- Software 46
- Computational Theory and Mathematics 146
- Computer Networks and Communications 32
- Artificial Intelligence 42
Countries citing papers authored by Peter Niebert
This map shows the geographic impact of Peter Niebert's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Peter Niebert with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Peter Niebert more than expected).
Fields of papers citing papers by Peter Niebert
This network shows the impact of papers produced by Peter Niebert. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Peter Niebert. The network helps show where Peter Niebert may publish in the future.
Co-authors
The 10 scholars most cited alongside Peter Niebert, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2003 | 96 | |
| 2 | 2003 | 47 | |
| 3 | 2004 | 15 | |
| 4 | 2005 | 15 | |
| 5 | 2003 | 14 | |
| 6 | 2004 | 7 | |
| 7 | On the connection of partial order logics and partial order reduction methods | 1995 | 5 |
| 8 | A Satisfiability Checker for Difference Logic | 2002 | 4 |
| 9 | 2001 | 4 | |
| 10 | 2003 | 1 | |
| 11 | 2003 | 1 |
About Peter Niebert
Peter Niebert is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Management Information Systems and Control and Systems Engineering, having authored 11 papers that have together received 209 indexed citations. Recurring topics across this work include Formal Methods in Verification (5 papers), Logic, programming, and type systems (3 papers), Petri Nets in System Modeling (3 papers), Model-Driven Software Engineering Techniques (3 papers), Real-Time Systems Scheduling (2 papers), Advanced Software Engineering Methodologies (2 papers), Real-time simulation and control systems (2 papers) and Embedded Systems Design Techniques (2 papers). The work is most often cited by research in Hardware and Architecture (138 citations), Software (46 citations), Computational Theory and Mathematics (146 citations), Computer Networks and Communications (32 citations) and Artificial Intelligence (42 citations). Peter Niebert has collaborated with scholars based in France. Frequent co-authors include Christos Sofronis, Stavros Tripakis, Paul Caspi, Aude Maignan, Pedro R. D’Argenio, Denis Lugiez, Wojciech Penczek, Sergio Yovine, Eugène Asarin and Oded Maler. Their work appears in journals such as European Journal of Control, Theoretical Computer Science, ACM SIGPLAN Notices, at - Automatisierungstechnik and Data Archiving and Networked Services (DANS).
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.