Matthias Baaz

2.2k total citations
60 papers, 574 citations indexed

About

Matthias Baaz is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Matthias Baaz has authored 60 papers receiving a total of 574 indexed citations (citations by other indexed papers that have themselves been cited), including 53 papers in Artificial Intelligence, 50 papers in Computational Theory and Mathematics and 3 papers in Mathematical Physics. Recurrent topics in Matthias Baaz's work include Logic, Reasoning, and Knowledge (41 papers), Logic, programming, and type systems (38 papers) and Advanced Algebra and Logic (32 papers). Matthias Baaz is often cited by papers focused on Logic, Reasoning, and Knowledge (41 papers), Logic, programming, and type systems (38 papers) and Advanced Algebra and Logic (32 papers). Matthias Baaz collaborates with scholars based in Austria, United States and Italy. Matthias Baaz's co-authors include Alexander Leitsch, Richard Zach, Christian G. Fermüller, Helmut Veith, Franco Montagna, Petr Hájek, Agata Ciabattoni, Rosalie Iemhoff, Stefan Hetzl and George Metcalfe and has published in prestigious journals such as Fuzzy Sets and Systems, Theoretical Computer Science and Soft Computing.

In The Last Decade

Matthias Baaz

55 papers receiving 511 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Matthias Baaz Austria	14	517	507	23	20	13	60	574
Paulo Oliva United Kingdom	9	246 0.5×	213 0.4×	16 0.7×	11 0.6×	7 0.5×	39	280
Wolfgang Rautenberg Germany	9	324 0.6×	326 0.6×	10 0.4×	15 0.8×	13 1.0×	33	411
H. Schwichtenberg Germany	5	354 0.7×	496 1.0×	4 0.2×	21 1.1×	30 2.3×	6	527
J. Donald Monk United States	10	405 0.8×	279 0.6×	28 1.2×	30 1.5×	28 2.2×	40	568
Roy Dyckhoff United Kingdom	11	244 0.5×	353 0.7×	9 0.4×	23 1.1×	33 2.5×	37	447
Grigori Mint︠s︡ United States	9	194 0.4×	250 0.5×	8 0.3×	29 1.4×	6 0.5×	30	283
Marc Bezem Norway	10	299 0.6×	400 0.8×	9 0.4×	44 2.2×	5 0.4×	44	480
Marcelo E. Coniglio Brazil	12	449 0.9×	474 0.9×	16 0.7×	7 0.3×	60 4.6×	71	552
Christian G. Fermüller Austria	11	225 0.4×	274 0.5×	8 0.3×	41 2.0×	14 1.1×	29	322
Philippe Balbiani France	12	247 0.5×	425 0.8×	16 0.7×	101 5.0×	7 0.5×	60	499

Countries citing papers authored by Matthias Baaz

Since Specialization

Citations

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

Fields of papers citing papers by Matthias Baaz

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Matthias Baaz

This figure shows the co-authorship network connecting the top 25 collaborators of Matthias Baaz. A scholar is included among the top collaborators of Matthias Baaz 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 Matthias Baaz. Matthias Baaz 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

Bienvenu, Laurent, Matthias Baaz, James Cummings, et al.. (2020). BSL volume 26 issue 3-4 Cover and Front matter. Bulletin of Symbolic Logic. 26(3-4). f1–f4. 1 indexed citations

Baaz, Matthias, et al.. (2016). Ten problems in Gödel logic. Soft Computing. 21(1). 149–152. 1 indexed citations

Baaz, Matthias, et al.. (2014). Monotone operators on Gödel logic. Archive for Mathematical Logic. 53(3-4). 261–284. 1 indexed citations

Baaz, Matthias, Agata Ciabattoni, & Christian G. Fermüller. (2012). Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability. Logical Methods in Computer Science. Volume 8, Issue 1. 2 indexed citations

Baaz, Matthias, et al.. (2011). First-order satisfiability in Gödel logics: An NP-complete fragment. Theoretical Computer Science. 412(47). 6612–6623. 3 indexed citations

Baaz, Matthias, et al.. (2011). Gödel logics with monotone operators. Fuzzy Sets and Systems. 197. 3–13. 4 indexed citations

Baaz, Matthias, et al.. (2009). Note on witnessed Gödel logics with Delta. Annals of Pure and Applied Logic. 161(2). 121–127. 2 indexed citations

Baaz, Matthias, et al.. (2008). CERES: An analysis of Fürstenberg’s proof of the infinity of primes. Theoretical Computer Science. 403(2-3). 160–175. 13 indexed citations

Baaz, Matthias, et al.. (2008). Generalizing proofs in monadic languages. Annals of Pure and Applied Logic. 154(2). 71–138. 1 indexed citations

10.

Baaz, Matthias, et al.. (2007). First-order Gödel logics. Annals of Pure and Applied Logic. 147(1-2). 23–47. 33 indexed citations

11.

Baaz, Matthias & Rosalie Iemhoff. (2006). The Skolemization of existential quantifiers in intuitionistic logic. Annals of Pure and Applied Logic. 142(1-3). 269–295. 6 indexed citations

12.

Baaz, Matthias & Alexander Leitsch. (2005). Towards a clausal analysis of cut-elimination. Journal of Symbolic Computation. 41(3-4). 381–410. 11 indexed citations

13.

Baaz, Matthias, Agata Ciabattoni, & Franco Montagna. (2004). Analytic Calculi for Monoidal T-norm Based Logic. Fundamenta Informaticae. 59(4). 315–332. 21 indexed citations

14.

Baaz, Matthias, Petr Hájek, Franco Montagna, & Helmut Veith. (2001). Complexity of t-tautologies. Annals of Pure and Applied Logic. 113(1-3). 3–11. 35 indexed citations

15.

Baaz, Matthias & Alexander Leitsch. (2000). Cut-elimination and Redundancy-elimination by Resolution. Journal of Symbolic Computation. 29(2). 149–176. 26 indexed citations

16.

Baaz, Matthias & Alexander Leitsch. (1999). Cut normal forms and proof complexity. Annals of Pure and Applied Logic. 97(1-3). 127–177. 11 indexed citations

17.

Baaz, Matthias, Alexander Leitsch, & Richard Zach. (1996). Completeness of a first-order temporal logic with time-gaps. Theoretical Computer Science. 160(1-2). 241–270. 11 indexed citations

18.

Baaz, Matthias & Christian G. Fermüller. (1995). Resolution-based Theorem Proving for Many-valued Logics. Journal of Symbolic Computation. 19(4). 353–391. 33 indexed citations

19.

Baaz, Matthias & Alexander Leitsch. (1992). Complexity of resolution proofs and function introduction. Annals of Pure and Applied Logic. 57(3). 181–215. 9 indexed citations

20.

Baaz, Matthias. (1986). Kripke-type semantics for da Costa's paraconsistent logic ${\rm C}_\omega$.. Notre Dame Journal of Formal Logic. 27(4). 6 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