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 |
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 |
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 |
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. |
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 |
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 |
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 |
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 |
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...less |
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...less |
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 |
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...less |
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. |
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 |
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...less |
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 |
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 |
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 |
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 |
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 |
1 Publication (2014) indexed |
11 Citations |
Co-Authors: | Hetzl, Stefan; Leitsch, Alexander; Reis, Giselle; … |
Main Fields: | Computer science (68-XX) |
Published as: | Tapolczai, Janos |
4 Publications (2020–2024) indexed |
6 Citations |
Co-Authors: | Hetzl, Stefan |
Main Fields: | Mathematical logic and foundations (03-XX) |
Published as: | Vierling, Jannik |
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. |
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 |
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...less |
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 |
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 |