J. Adamek
AuthID: R-006-ETN
11
TITLE: Well-pointed coalgebras (extended abstract)
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7213 LNCS
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7213 LNCS
INDEXED IN: 
Scopus
Scopus12
TITLE: Well-Pointed Coalgebras
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXED IN: 
WOS
WOS13
TITLE: Power-set functors and saturated trees
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2011, SOURCE: 25th International Workshop on Computer Science Logic, CSL 2011/20th Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 12
AUTHORS: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLISHED: 2011, SOURCE: 25th International Workshop on Computer Science Logic, CSL 2011/20th Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 12
INDEXED IN: Scopus
Scopus14
TITLE: A LOGIC OF INJECTIVITY, JOURNAL OF HOMOTOPY AND RELATED STRUCTURES (vol 2, pg 13, 2007)
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2010, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 5, ISSUE: 1
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2010, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 5, ISSUE: 1
INDEXED IN: WOS
WOS15
TITLE: A logic of implications in algebra and coalgebra Full Text
AUTHORS: Jiri Adamek; Manuela Sobral ; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 61, ISSUE: 3-4
AUTHORS: Jiri Adamek; Manuela Sobral ; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: ALGEBRA UNIVERSALIS, VOLUME: 61, ISSUE: 3-4
INDEXED IN: Scopus WOS
Scopus WOS16
TITLE: The Orthogonal Subcategory Problem and the Small Object Argument Full Text
AUTHORS: Jiri Adamek; Michel Herbert; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 17, ISSUE: 3
AUTHORS: Jiri Adamek; Michel Herbert; Lurdes Sousa ;
PUBLISHED: 2009, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS17
TITLE: A logic of implications in algebra and coalgebra Full Text
AUTHORS: Jiří Adámek; Manuela Sobral; Lurdes Sousa;
PUBLISHED: 2009, SOURCE: Algebra universalis - Algebra Univers., VOLUME: 61, ISSUE: 3-4
AUTHORS: Jiří Adámek; Manuela Sobral; Lurdes Sousa;
PUBLISHED: 2009, SOURCE: Algebra universalis - Algebra Univers., VOLUME: 61, ISSUE: 3-4
INDEXED IN: 
CrossRef
CrossRef18
TITLE: The Orthogonal Subcategory Problem and the Small Object Argument Full Text
AUTHORS: Jiří Adámek; Michel Hébert; Lurdes Sousa;
PUBLISHED: 2008, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 17, ISSUE: 3
AUTHORS: Jiří Adámek; Michel Hébert; Lurdes Sousa;
PUBLISHED: 2008, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 17, ISSUE: 3
INDEXED IN: CrossRef
CrossRef19
TITLE: A LOGIC OF INJECTIVITY
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2007, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 2, ISSUE: 2
AUTHORS: Adamek, J; Hebert, M; Sousa, L;
PUBLISHED: 2007, SOURCE: JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, VOLUME: 2, ISSUE: 2
INDEXED IN: WOS
WOS20
TITLE: Morita equivalence of many-sorted algebraic theories Full Text
AUTHORS: Adamek, J; Sobral, M ; Sousa, L ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 297, ISSUE: 2
AUTHORS: Adamek, J; Sobral, M ; Sousa, L ;
PUBLISHED: 2006, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 297, ISSUE: 2
INDEXED IN: Scopus WOS
Scopus WOS