J. Adamek
AuthID: R-006-ETN
1
TITLE: ON FINITARY FUNCTORS Full Text
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXED IN: 
WOS
WOS2
TITLE: FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS Full Text
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTHORS: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXED IN: WOS
WOS3
TITLE: A Formula for Codensity Monads and Density Comonads Full Text
AUTHORS: Jiri Adamek; Lurdes Sousa ;
PUBLISHED: 2018, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 26, ISSUE: 5
AUTHORS: Jiri Adamek; Lurdes Sousa ;
PUBLISHED: 2018, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 26, ISSUE: 5
INDEXED IN: WOS
WOS4
TITLE: Profile measurements of the electron temperature on the ASDEX Upgrade, COMPASS, and ISTTOK tokamak using Thomson scattering, triple, and ball-pen probes
AUTHORS: Adamek, J; Mueller, HW; Silva, C; Schrittwieser, R; Ionita, C; Mehlmann, F; Costea, S; Horacek, J; Kurzan, B; Bilkova, P; Bohm, P; Aftanas, M; Vondracek, P; Stockel, J; Panek, R; Fernandes, H; Figueiredo, H;
PUBLISHED: 2016, SOURCE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 87, ISSUE: 4
AUTHORS: Adamek, J; Mueller, HW; Silva, C; Schrittwieser, R; Ionita, C; Mehlmann, F; Costea, S; Horacek, J; Kurzan, B; Bilkova, P; Bohm, P; Aftanas, M; Vondracek, P; Stockel, J; Panek, R; Fernandes, H; Figueiredo, H;
PUBLISHED: 2016, SOURCE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 87, ISSUE: 4
5
TITLE: Kan injectivity in order-enriched categories
AUTHORS: Jiri Adamek; Lurdes Sousa ; Jiri Velebil;
PUBLISHED: 2015, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 25, ISSUE: 1
AUTHORS: Jiri Adamek; Lurdes Sousa ; Jiri Velebil;
PUBLISHED: 2015, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 25, ISSUE: 1
INDEXED IN: 
Scopus WOS
Scopus WOS6
TITLE: On Final Coalgebras of Power-Set Functors and Saturated Trees Full Text
AUTHORS: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2015, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, ISSUE: 4
AUTHORS: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2015, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: On Final Coalgebras of Power-Set Functors and Saturated Trees. To George Janelidze on the Occasion of His Sixtieth Birthday Full Text
AUTHORS: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2014, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, ISSUE: 4
AUTHORS: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2014, SOURCE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, ISSUE: 4
INDEXED IN: 
CrossRef
CrossRef8
TITLE: WELL-POINTED COALGEBRAS
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2013, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, ISSUE: 3
AUTHORS: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLISHED: 2013, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Comparison of fluctuations properties measured by Langmuir and by ball-pen probes in the ISTTOK boundary plasma
AUTHORS: Silva, C; Adamek, J; Fernandes, H; Duarte, P;
PUBLISHED: 2013, SOURCE: 40th EPS Conference on Plasma Physics, EPS 2013 in 40th EPS Conference on Plasma Physics, EPS 2013, VOLUME: 2
AUTHORS: Silva, C; Adamek, J; Fernandes, H; Duarte, P;
PUBLISHED: 2013, SOURCE: 40th EPS Conference on Plasma Physics, EPS 2013 in 40th EPS Conference on Plasma Physics, EPS 2013, VOLUME: 2
INDEXED IN: Scopus
Scopus10
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
Scopus