Afshari, Bahareh
| 26 Publications (2006–2024) indexed |
| 85 Citations |
| Co-Authors: | Leigh, Graham Emil; Hetzl, Stefan; Rathjen, Michael; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Afshari, Bahareh |
Found 26 Authors (Results 1–26)
Aschieri, Federico
| 28 Publications (2008–2020) indexed |
| 68 Citations |
| Co-Authors: | Berardi, Stefano; Ciabattoni, Agata; Genco, Francesco A.; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Aschieri, Federico |
Baaz, Matthias
| 141 Publications (1985–2024) indexed |
| 741 Citations |
| Co-Authors: | Fermüller, Christian G.; Leitsch, Alexander; Zach, Richard; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Baaz, Matthias; Baaz, M. |
Chaudhuri, Kaustuv
| 29 Publications (2005–2023) indexed |
| 141 Citations |
| Co-Authors: | Miller, Dale Allen; Pfenning, Frank; Reis, Giselle; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Chaudhuri, Kaustuv |
Ciabattoni, Agata
| 81 Publications (1995–2023) indexed |
| 418 Citations |
| Co-Authors: | Baaz, Matthias; Fermüller, Christian G.; Ramanayake, Revantha; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Ciabattoni, Agata |
Eberhard, Sebastian
| 9 Publications (2012–2018) indexed |
| 32 Citations |
| Co-Authors: | Hetzl, Stefan; Ebner, Gabriel; Strahm, Thomas; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Eberhard, Sebastian |
Ebner, Gabriel
| 9 Publications (2016–2023) indexed |
| 28 Citations |
| Co-Authors: | Hetzl, Stefan; Blanchette, Jasmin Christian; Eberhard, Sebastian; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Ebner, Gabriel |
Gabbay, Dov M.
| 377 Publications (1971–2024) indexed |
| 4,233 Citations |
| Co-Authors: | Woods, John; van der Torre, Leendert W. N.; Günthner, Franz; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Gabbay, Dov M.; Gabbay, Dov; Gabbay, D. M.; Gabbay, D.; Gabbay, Dov. M. more... |
Gómez-Ramírez, Danny Arlen de Jesús
| 26 Publications (2003–2024) indexed |
| 5 Citations |
| Co-Authors: | Gallego, Edisson; Vélez, Juan Diego; Boix, Alberto Fernandez; … |
| Main Fields: | Commutative algebra (13-XX); Algebraic geometry (14-XX); Mathematical logic and foundations (03-XX); ... |
| Published as: | Gómez-Ramírez, Danny A. J.; Gómez-Ramírez, Danny Arlen de Jesús; Gómez-Ramírez, Danny de Jesús; Gómez, Danny; Gómez-Ramírez, Danny De Jesús; Gómez Ramírez, Danny A. J.; Gómez-Ramírez, D. more... |
Jalali, Raheleh
| 11 Publications (2018–2025) indexed |
| 11 Citations |
| Co-Authors: | Akbar Tabatabai, Amirhossein; Iemhoff, Rosalie; Kuznets, Roman; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Jalali, Raheleh |
Leigh, Graham Emil
| 22 Publications (2010–2024) indexed |
| 96 Citations |
| Co-Authors: | Afshari, Bahareh; Hetzl, Stefan; Menéndez Turata, Guillermo; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Leigh, Graham E.; Leigh, Graham Emil; Leigh, G. E. more... |
Leitsch, Alexander
| 77 Publications (1978–2024) indexed |
| 473 Citations |
| Co-Authors: | Baaz, Matthias; Hetzl, Stefan; Weller, Daniel S.; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Leitsch, Alexander; Leitsch, A. |
Libal, Tomer
| 8 Publications (2010–2022) indexed |
| 24 Citations |
| Co-Authors: | Miller, Dale Allen; Volpe, Marco; Chihani, Zakaria; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Libal, Tomer |
Miller, Dale Allen
| 104 Publications (1984–2024) indexed |
| 953 Citations |
| Co-Authors: | Nadathur, Gopalan; Liang, Chuck; Palamidessi, Catuscia; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Miller, Dale; Miller, Dale A.; Miller, D. more... |
Reis, Giselle
| 24 Publications (2011–2022) indexed |
| 102 Citations |
| Co-Authors: | Leitsch, Alexander; Nigam, Vivek; Hetzl, Stefan; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Reis, Giselle |
Richter, Clemens
| 5 Publications (2001–2023) indexed |
| 34 Citations |
| Co-Authors: | Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Richter, Clemens |
Riener, Martin
| 3 Publications (2013–2019) indexed |
| 13 Citations |
| Co-Authors: | Hetzl, Stefan; Ebner, Gabriel; Libal, Tomer; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Riener, Martin |
Spohr, Hendrik
| 3 Publications (2005–2008) indexed |
| 34 Citations |
| Co-Authors: | Baaz, Matthias; Hetzl, Stefan; Leitsch, Alexander; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Spohr, Hendrik |
Straßburger, Lutz
| 62 Publications (2001–2023) indexed |
| 280 Citations |
| Co-Authors: | Acclavio, Matteo; Marin, Sonia; Guglielmi, Alessio; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Straßburger, Lutz; Strassburger, Lutz |
Tapolczai, Janos
| 1 Publication (2014) indexed |
| 11 Citations |
| Co-Authors: | Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Tapolczai, Janos |
Vierling, Jannik
| 4 Publications (2020–2024) indexed |
| 6 Citations |
| Co-Authors: | Hetzl, Stefan |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Vierling, Jannik |
Weller, Daniel S.
| 19 Publications (2008–2019) indexed |
| 94 Citations |
| Co-Authors: | Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Weller, Daniel; Weller, Daniel S. |
Wolfsteiner, Simon
| 7 Publications (2016–2021) indexed |
| 15 Citations |
| Co-Authors: | Hetzl, Stefan; Holzer, Markus; Gruber, Hermann; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Wolfsteiner, Simon |
Woltzenlogel Paleo, Bruno
| 31 Publications (2004–2021) indexed |
| 130 Citations |
| Co-Authors: | Benzmüller, Christoph Ewald; Leitsch, Alexander; Fontaine, Pascal; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Woltzenlogel Paleo, Bruno; Paleo, Bruno Woltzenlogel; Woltzenlogel Paleo, B.; Paleo, B. W. more... |
Wong, Tin Lok
| 14 Publications (2007–2024) indexed |
| 48 Citations |
| Co-Authors: | Kaye, Richard W.; Kołodziejczyk, Leszek Aleksander; Yokoyama, Keita; … |
| Main Fields: | Mathematical logic and foundations (03-XX) |
| Published as: | Wong, Tin Lok |
Zivota, Sebastian
| 3 Publications (2015–2020) indexed |
| 8 Citations |
| Co-Authors: | Hetzl, Stefan; Ebner, Gabriel; Reis, Giselle; … |
| Main Fields: | Computer science (68-XX) |
| Published as: | Zivota, Sebastian |
Filter Results by …
all
top 3
External Link
- MGP (10)
- Homepage (5)
- dblp (4)
- GND (4)
- IdRef (2)
- Wikidata (2)
- carmin.tv (1)
- Google Scholar (1)
- Math-Net.Ru (1)
- ORCID (1)
- ResearchGate (1)
- theses.fr (1)
