Joachim Niehren

880 total citations
32 papers, 349 citations indexed

About

Joachim Niehren is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Joachim Niehren has authored 32 papers receiving a total of 349 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 12 papers in Computer Networks and Communications and 10 papers in Computational Theory and Mathematics. Recurrent topics in Joachim Niehren's work include Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (15 papers) and Natural Language Processing Techniques (15 papers). Joachim Niehren is often cited by papers focused on Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (15 papers) and Natural Language Processing Techniques (15 papers). Joachim Niehren collaborates with scholars based in Germany, France and United States. Joachim Niehren's co-authors include Alexander Koller, Markus Egg, Jan Schwinghammer, Wim Martens, Stefan Thater, Gert Smolka, Feiyu Xu, Denys Duchier, Manfred Pinkal and Martín Müller and has published in prestigious journals such as European Journal of Clinical Pharmacology, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

Joachim Niehren

31 papers receiving 288 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Joachim Niehren Germany	11	303	103	95	39	21	32	349
Jean-Philippe Bernardy Sweden	10	272 0.9×	32 0.3×	73 0.8×	9 0.2×	37 1.8×	49	290
Dale Gerdemann Germany	8	150 0.5×	26 0.3×	61 0.6×	16 0.4×	25 1.2×	20	184
Irène Guessarian France	7	155 0.5×	29 0.3×	155 1.6×	8 0.2×	9 0.4×	28	213
G. Huet France	5	458 1.5×	41 0.4×	302 3.2×	8 0.2×	56 2.7×	6	501
Lasse R. Nielsen Denmark	8	323 1.1×	38 0.4×	186 2.0×	3 0.1×	63 3.0×	18	338
Julian Bradfield United Kingdom	7	92 0.3×	40 0.4×	107 1.1×	4 0.1×	29 1.4×	14	181
Rani Nelken United States	9	201 0.7×	16 0.2×	17 0.2×	20 0.5×	28 1.3×	18	234
Luís Fariñas del Cerro France	12	400 1.3×	70 0.7×	235 2.5×	3 0.1×	18 0.9×	47	453
Maher Awad Finland	6	61 0.2×	15 0.1×	27 0.3×	24 0.6×	29 1.4×	11	144
Stefan Berghofer Germany	7	164 0.5×	22 0.2×	120 1.3×	2 0.1×	10 0.5×	19	181

Countries citing papers authored by Joachim Niehren

Since Specialization

Citations

This map shows the geographic impact of Joachim Niehren'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 Joachim Niehren with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Joachim Niehren more than expected).

Fields of papers citing papers by Joachim Niehren

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Joachim Niehren. 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 Joachim Niehren. The network helps show where Joachim Niehren may publish in the future.

Co-authorship network of co-authors of Joachim Niehren

This figure shows the co-authorship network connecting the top 25 collaborators of Joachim Niehren. A scholar is included among the top collaborators of Joachim Niehren based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Joachim Niehren. Joachim Niehren is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Niehren, Joachim, et al.. (2015). Observational program calculi and the correctness of translations. Theoretical Computer Science. 577. 98–124. 6 indexed citations

Lemay, Aurélien, et al.. (2013). Approximate membership for regular languages modulo the edit distance. Theoretical Computer Science. 487. 37–49. 1 indexed citations

Schwinghammer, Jan, et al.. (2009). On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures. Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt). 1 indexed citations

Niehren, Joachim, et al.. (2008). Complexity of Earliest Query Answering with Streaming Tree Automata. European Journal of Clinical Pharmacology. 60(11). 759–64. 3 indexed citations

Niehren, Joachim, et al.. (2007). Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. Electronic Notes in Theoretical Computer Science. 173. 313–337. 15 indexed citations

Martens, Wim & Joachim Niehren. (2006). On the minimization of XML Schemas and tree automata for unranked trees. Journal of Computer and System Sciences. 73(4). 550–583. 32 indexed citations

Niehren, Joachim, Jan Schwinghammer, & Gert Smolka. (2006). A concurrent lambda calculus with futures. Theoretical Computer Science. 364(3). 338–356. 33 indexed citations

Bodirsky, Manuel, et al.. (2004). A new algorithm for normal dominance constraints. Symposium on Discrete Algorithms. 59–67. 14 indexed citations

Niehren, Joachim, Martín Müller, & Jean-Marc Talbot. (2003). Entailment of atomic set constraints is PSPACE-complete. 285–294. 3 indexed citations

10.

Althaus, Ernst, et al.. (2003). An efficient graph algorithm for dominance constraints. Journal of Algorithms. 48(1). 194–219. 22 indexed citations

11.

Niehren, Joachim, et al.. (2003). Non-structural subtype entailment in automata theory. Information and Computation. 186(2). 319–354. 1 indexed citations

12.

Niehren, Joachim & Stefan Thater. (2003). Bridging the gap between underspecification formalisms. 1. 367–374. 15 indexed citations

13.

Su, Zhendong, et al.. (2002). The first-order theory of subtyping constraints. Publications of the UdS (Saarland University). 203–216. 15 indexed citations

14.

Erk, Katrin, Alexander Koller, & Joachim Niehren. (2002). Processing underspecified semantic representations in the constraint language for lambda structures. Publications of the UdS (Saarland University). 1(1). 1 indexed citations

15.

Koller, Alexander, Joachim Niehren, & Kristina Striegnitz. (2000). Relaxing Underspecified Semantic Representations for Reinterpretation. 3(2-3). 217–241. 6 indexed citations

16.

Müller, Martín & Joachim Niehren. (2000). Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. Information and Computation. 159(1-2). 22–58. 10 indexed citations

17.

Egg, Markus, et al.. (1998). Constraints over Lambda-Structures in semantic underspecification. 1. 353–353. 23 indexed citations

18.

Niehren, Joachim, et al.. (1997). A uniform approach to underspecification and parallelism. 410–417. 15 indexed citations

19.

Niehren, Joachim, et al.. (1997). A uniform approach to underspecification and parallelism. 410–417. 5 indexed citations

20.

Niehren, Joachim. (1996). Functional computation as concurrent computation. Publications of the UdS (Saarland University). 333–343. 10 indexed citations

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.

Explore authors with similar magnitude of impact