J. Adamek
AuthID: R-006-ETN
1
TÃTULO: ON FINITARY FUNCTORS Full Text
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXADO EM: 
WOS
WOS2
TÃTULO: FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS Full Text
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
AUTORES: Adamek, J; Milius, S; Sousa, L; Wissmann, T;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 34
INDEXADO EM: WOS
WOS3
TÃTULO: A Formula for Codensity Monads and Density Comonads Full Text
AUTORES: Jiri Adamek; Lurdes Sousa ;
PUBLICAÇÃO: 2018, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 26, NÚMERO: 5
AUTORES: Jiri Adamek; Lurdes Sousa ;
PUBLICAÇÃO: 2018, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 26, NÚMERO: 5
INDEXADO EM: WOS
WOS4
TÃTULO: Profile measurements of the electron temperature on the ASDEX Upgrade, COMPASS, and ISTTOK tokamak using Thomson scattering, triple, and ball-pen probes
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 87, NÚMERO: 4
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SCIENTIFIC INSTRUMENTS, VOLUME: 87, NÚMERO: 4
5
TÃTULO: Kan injectivity in order-enriched categories
AUTORES: Jiri Adamek; Lurdes Sousa ; Jiri Velebil;
PUBLICAÇÃO: 2015, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 1
AUTORES: Jiri Adamek; Lurdes Sousa ; Jiri Velebil;
PUBLICAÇÃO: 2015, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 1
INDEXADO EM: 
Scopus WOS
Scopus WOS6
TÃTULO: On Final Coalgebras of Power-Set Functors and Saturated Trees Full Text
AUTORES: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2015, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, NÚMERO: 4
AUTORES: Jiri Adamek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2015, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 23, NÚMERO: 4
INDEXADO EM: Scopus WOS
Scopus WOS7
TÃTULO: On Final Coalgebras of Power-Set Functors and Saturated Trees. To George Janelidze on the Occasion of His Sixtieth Birthday Full Text
AUTORES: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2014, FONTE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, NÚMERO: 4
AUTORES: Jiří Adámek; Paul B Levy; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2014, FONTE: Appl Categor Struct - Applied Categorical Structures, VOLUME: 23, NÚMERO: 4
INDEXADO EM: 
CrossRef
CrossRef8
TÃTULO: WELL-POINTED COALGEBRAS
AUTORES: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2013, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, NÚMERO: 3
AUTORES: Jiri Adamek; Stefan Milius; Lawrence S Moss; Lurdes Sousa ;
PUBLICAÇÃO: 2013, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 9, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Comparison of fluctuations properties measured by Langmuir and by ball-pen probes in the ISTTOK boundary plasma
AUTORES: Silva, C; Adamek, J; Fernandes, H; Duarte, P;
PUBLICAÇÃO: 2013, FONTE: 40th EPS Conference on Plasma Physics, EPS 2013 in 40th EPS Conference on Plasma Physics, EPS 2013, VOLUME: 2
AUTORES: Silva, C; Adamek, J; Fernandes, H; Duarte, P;
PUBLICAÇÃO: 2013, FONTE: 40th EPS Conference on Plasma Physics, EPS 2013 in 40th EPS Conference on Plasma Physics, EPS 2013, VOLUME: 2
INDEXADO EM: Scopus
Scopus10
TÃTULO: Well-pointed coalgebras (extended abstract)
AUTORES: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLICAÇÃO: 2012, FONTE: 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
AUTORES: Adamek, J; Milius, S; Moss, LS; Sousa, L ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus
Scopus