| Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016 | 153 | 2016 |
| Constructing quotient inductive-inductive types A Kaposi, A Kovács, T Altenkirch Proceedings of the ACM on Programming Languages 3 (POPL), 1-24, 2019 | 71 | 2019 |
| The effects of Kv1. 3 and IKCa1 potassium channel inhibition on calcium influx of human peripheral T lymphocytes in rheumatoid arthritis G Toldi, A Bajnok, D Dobi, A Kaposi, L Kovács, B Vásárhelyi, A Balog Immunobiology 218 (3), 311-316, 2013 | 51 | 2013 |
| Cytometry‐acquired calcium‐flux data analysis in activated lymphocytes AS Kaposi, G Veress, B Vasarhelyi, P MacArdle, S Bailey, T Tulassay, ... Cytometry Part A: The Journal of the International Society for Analytical …, 2008 | 50 | 2008 |
| Lymphocyte activation in type 1 diabetes mellitus: the increased significance of Kv1. 3 potassium channels G Toldi, B Vásárhelyi, A Kaposi, G Mészáros, P Pánczél, N Hosszufalusi, ... Immunology letters 133 (1), 35-41, 2010 | 45 | 2010 |
| Free applicative functors P Capriotti, A Kaposi arXiv preprint arXiv:1403.0749, 2014 | 42 | 2014 |
| Gluing for type theory A Kaposi, S Huber, C Sattler 4th International Conference on Formal Structures for Computation and …, 2019 | 41 | 2019 |
| Normalisation by evaluation for dependent types T Altenkirch, A Kaposi 1st International Conference on Formal Structures for Computation and …, 2016 | 40 | 2016 |
| The mutation‐dependent pathogenicity of NPHS2 p.R229Q: A guide for clinical assessment Á Mikó, D K. Menyhárd, A Kaposi, C Antignac, K Tory Human Mutation 39 (12), 1854-1860, 2018 | 32 | 2018 |
| Signatures and induction principles for higher inductive-inductive types A Kaposi, A Kovács Logical Methods in Computer Science 16, 2020 | 31 | 2020 |
| A syntax for higher inductive-inductive types A Kaposi, A Kovács 3rd International Conference on Formal Structures for Computation and …, 2018 | 31 | 2018 |
| Comorbidity clusters in generalized osteoarthritis among female patients: A cross-sectional study E Kovari, A Kaposi, G Bekes, Z Kiss, R Kurucz, P Mandl, GP Balint, G Poor, ... Seminars in Arthritis and Rheumatism 50 (2), 183-191, 2020 | 30 | 2020 |
| Setoid type theory—a syntactic translation T Altenkirch, S Boulier, A Kaposi, N Tabareau Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019 | 30 | 2019 |
| Normalisation by evaluation for type theory, in type theory T Altenkirch, A Kaposi Logical methods in computer science 13, 2017 | 30* | 2017 |
| Towards a cubical type theory without an interval T Altenkirch, A Kaposi 21st International Conference on Types for Proofs and Programs (TYPES 2015), 2018 | 22 | 2018 |
| Human Th1 and Th2 lymphocytes are distinguished by calcium flux regulation during the first 10 min of lymphocyte activation G Toldi, A Kaposi, Á Zsembery, A Treszl, T Tulassay, B Vásárhelyi Immunobiology 217 (1), 37-43, 2012 | 22 | 2012 |
| Lymphocyte calcium influx kinetics in multiple sclerosis treated without or with interferon beta G Toldi, A Folyovich, Z Simon, K Zsiga, A Kaposi, G Mészáros, T Tulassay, ... Journal of neuroimmunology 237 (1-2), 80-86, 2011 | 20 | 2011 |
| Kinetic measurements using flow cytometry: new methods for monitoring intracellular processes G Mészáros, B Szalay, G Toldi, A Kaposi, B Vásárhelyi, A Treszl ASSAY and Drug Development Technologies 10 (1), 97-104, 2012 | 18 | 2012 |
| The extent to which genotype information may add to the prediction of disturbed perinatal adaptation: none, minor, or major? A Treszl, A Kaposi, J Hajdú, M Szabo, T Tulassay, B Vasarhelyi Pediatric research 62 (5), 610-614, 2007 | 18 | 2007 |
| Shallow embedding of type theory is morally correct A Kaposi, A Kovács, N Kraus International Conference on Mathematics of Program Construction, 329-365, 2019 | 16 | 2019 |
