Profiller

Moss E Sweedler

Professor Emeritus of Mathematics, Cornell University

cornell.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 15931

Hopf Algebras coalgebra purely inseparable field extensions positive characteristic computational commutative algebra

Marcello Bonsangue

Professor of Computer Science, Leiden University

liacs.leidenuniv.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6534

Theoretical Computer Science Logic Formal Methods Coalgebra Automata theory

Alexandra Silva

Cornell University

cornell.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 3089

Programming Languages Semantics Coalgebra Verification Formal methods

Stefan Milius

FAU Erlangen-Nürnberg

stefan-milius.eu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 2331

Semantics Coalgebra Category Theory Verification Formal Methods

Ana Sokolova

Associate Professor at University of Salzburg

cs.uni-salzburg.at üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 2166

Coalgebra Concurrency Formal Methods Probabilistic Systems

Peter Gumm

Philipps University Marburg

mathematik.uni-marburg.de üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 2071

universal_algebra coalgebra verification

Bartek Klin

University of Oxford

cs.ox.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1559

nominal sets coalgebra structural operational semantics logic in computer science

Helle Hvid Hansen

Associate Professor at University of Groningen

rug.nl üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 1067

modal logic coalgebra algebra automata games

Corina Cirstea

University of Southampton

ecs.soton.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 928

Coalgebra Logic Verification Formal Methods

tadeusz litak

FAU Erlangen-Nürnberg, Informatik 8

cs.fau.de üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 591

algebraic logic logic in computer science interactive theorem proving coalgebra ordered structures

1 - 10