H. Peter Gumm - RankMe

26 papers B 1Journal 12Unranked 12

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Saturated Kripke Structures as Vietoris Coalgebras. CMCS H. Peter Gumm, Mona Taheri
2020	—	`conf`	Free-Algebra Functors from a Coalgebraic Perspective. CMCS H. Peter Gumm
2019	J	`jnl`	Connected monads weakly preserve products. CoRR H. Peter Gumm
2016	—	`conf`	Transitivity and Difunctionality of Bisimulations. CMCS Mehdi Zarrad, H. Peter Gumm
2014	—	`conf`	Coalgebraic Simulations and Congruences. CMCS H. Peter Gumm, Mehdi Zarrad
2010	J	`jnl`	Presentation of Set Functors: A Coalgebraic Perspective. J. Log. Comput. Jirí Adámek, H. Peter Gumm, Vera Trnková
2009	J	`jnl`	Copower functors. Theor. Comput. Sci. H. Peter Gumm
2008	J	`jnl`	On Minimal Coalgebras. Appl. Categorical Struct. H. Peter Gumm
2005	B	`conf`	From CALCO H. Peter Gumm
2004	J	`jnl`	Preface. Theor. Comput. Sci. H. Peter Gumm
2003	—	`ed.`	6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003 CMCS H. Peter Gumm
2003	J	`jnl`	Distributivity of categories of coalgebras. Theor. Comput. Sci. H. Peter Gumm, Jesse Hughes, Tobias Schröder
2003	—	`conf`	Preface. CMCS H. Peter Gumm
2002	J	`jnl`	Coalgebras Of Bounded Type. Math. Struct. Comput. Sci. H. Peter Gumm, Tobias Schröder
2001	J	`jnl`	Covarieties and complete covarieties. Theor. Comput. Sci. H. Peter Gumm, Tobias Schröder
2001	J	`jnl`	Equational and implicational classes of coalgebras. Theor. Comput. Sci. H. Peter Gumm
2001	—	`conf`	Monoid-labeled transition systems. CMCS H. Peter Gumm, Tobias Schröder
2000	—	`conf`	Coalgebraic structure from weak limit preserving functors. CMCS H. Peter Gumm, Tobias Schröder
1999	J	`jnl`	Generating Algebraic Laws from Imperative Programs. Theor. Comput. Sci. H. Peter Gumm
1999	—	`conf`	Programmieren und Beweisen: Experimente mit dem Programmverifizierer NPPV. INFOS H. Peter Gumm
1998	—	`conf`	Covarieties and Complete Covarieties. CMCS H. Peter Gumm, Tobias Schröder
1998	—	`conf`	Equational and implicational classes of co-algebras. RelMiCS H. Peter Gumm
1993	J	`jnl`	Another Glance at the Alpern-Schneider Characterization of Safety and Liveness in Concurrent Executions. Inf. Process. Lett. H. Peter Gumm
1992	—	`conf`	MUNITY. FBT H. Peter Gumm
1988	—	`conf`	Continuations of logic programs. Algebraic Logic and Universal Algebra in Computer Science H. Peter Gumm
1985	J	`jnl`	A new class of check-digit methods for arbitrary number systems. IEEE Trans. Inf. Theory H. Peter Gumm