I agree that this site is using cookies. You can find further informations here.
X
Adamek, Jiri
12  results:
Bookchapter (Online) X
?
1

Varieties of Quantitative Algebras and Their Monads:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Adamek, Jiri - p. 1-10 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Approximate Coalgebra Homomorphisms and Approximate Solutio..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Adámek, Jiří - p. 11-31 , 2020
Link: https://doi.org/10.1007/..
 
?
3

On Well-Founded and Recursive Coalgebras:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S. - p. 17-36 , 2020
Link: https://doi.org/10.1007/..
 
?
4

On Algebras with Effectful Iteration:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Milius, Stefan ; Adámek, Jiří ; Urbat, Henning - p. 144-166 , 2018
Link: https://doi.org/10.1007/..
 
?
5

Varieties of Languages in a Category:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Adamek, Jiri ; Myers, Robert S. R. ; Urbat, Henning. - p. 414-425 , 2015
Link: https://dl.acm.org/doi/1..
 
?
6

Coproducts of Monads on Set:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
Adámek, Jiri ; Milius, Stefan ; Bowler, Nathan. - p. 45-54 , 2012
Link: https://dl.acm.org/doi/1..
 
?
7

Perspectives in component-based software engineering:

, In: Proceedings of the 2008 international workshop on Software Engineering in east and south europe,
Adamek, Jiri ; Hnetynka, Petr - p. 35-42 , 2008
Link: https://dl.acm.org/doi/1..
 
?
8

Static analysis of component systems using behavior protoco..:

, In: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications,
Adamek, Jiri - p. 116-117 , 2003
Link: https://dl.acm.org/doi/1..
 
?
9

What are locally generated categories?:

, In: Lecture Notes in Mathematics; Category Theory,
Adámek, Jiří ; Rosický, Jiří - p. 14-19 , 1991
Link: https://doi.org/10.1007/..
 
?
10

Crime Scene Testimony in Virtual Reality Applicability Asse..:

, In: 2022 26th International Conference on Circuits, Systems, Communications and Computers (CSCC),
Sevcik, Jiri ; Adamek, Milan ; Mach, Vaclav - p. 6-10 , 2022
Link: https://doi.org/10.1109/..
 
?
11

Reliability Testing of Software Designed to Detect People:

, In: 2022 26th International Conference on Circuits, Systems, Communications and Computers (CSCC),
Adamek, Milan ; Mach, Vaclav ; Sevcik, Jiri... - p. 38-44 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Poly (vinylidene fluoride) Electrospun Non-Woven Nanofibers..:

, In: 2020 IEEE 15th International Conference on Nano/Micro Engineered and Molecular System (NEMS),
Avvari, Venkata Dinesh ; Olejnik, Robert ; Danova, Romana... - p. 500-505 , 2020
Link: https://doi.org/10.1109/..
 
1-12