Concepedia

Ambrus Kaposi

AK

18

Publications

461

Citations

13

H-Index

2007

Active since

Affiliations

Semmelweis University(Current)

Hungarian Academy of Sciences

University of Nottingham

Eötvös Loránd University

University of Szeged

Ambrus Kaposi is an author at Semmelweis University specializing in formal methods, medicine, and engineering.

Top concepts

MedicineFormal MethodsSemanticsImmunologyEngineeringAutoimmunityAutomated ReasoningHealthPhysiologyCell Biology

Publications per year

2007–2022

18

Publications

18

Type theory in type theory using quotient inductive types

Thorsten Altenkirch, Ambrus Kaposi · 2016 · 86 citations · Full text

Dependent Types, Type Theory, Polymorphism (Computer Science) +6

The effects of Kv1.3 and IKCa1 potassium channel inhibition on calcium influx of human peripheral T lymphocytes in rheumatoid arthritis

Gergely Toldi, Anna Bajnok, Diána Dobi et al. · Immunobiology · 2012 · 44 citations · Full text

Constructing quotient inductive-inductive types

Ambrus Kaposi, András Kovács, Thorsten Altenkirch · Proceedings of the ACM on Programming Languages · 2019 · 43 citations · Full text

Algebraic Logic, Quotient Inductive-inductive Types, Modern Algebra +7

Lymphocyte activation in type 1 diabetes mellitus: The increased significance of Kv1.3 potassium channels

Gergely Toldi, Barna Vásárhelyi, Ambrus Kaposi et al. · Immunology Letters · 2010 · 40 citations

Type 1, Hyperpolarization (Biology), Cell Signaling +11

Cytometry‐acquired calcium‐flux data analysis in activated lymphocytes

Ambrus Kaposi, György Veress, Barna Vásárhelyi et al. · Cytometry Part A · 2007 · 35 citations · Full text

Rows per page

1–5 of 18