Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Endrullis, Jorg
61  Ergebnisse:
Personensuche X
?
1

Graph rewriting and relabeling with PBPO+: A unifying theor..:

Overbeek, Roy ; Endrullis, Jörg ; Rosset, Aloïs
Journal of Logical and Algebraic Methods in Programming.  133 (2023)  - p. 100873 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Fuzzy Presheaves are Quasitoposes:

, In: Graph Transformation; Lecture Notes in Computer Science,
Rosset, Aloïs ; Overbeek, Roy ; Endrullis, Jörg - p. 102-122 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Termination of Graph Transformation Systems Using Weighted ..:

, In: Graph Transformation; Lecture Notes in Computer Science,
Overbeek, Roy ; Endrullis, Jörg - p. 81-101 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Algebraic Presentation of Semifree Monads:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Rosset, Aloïs ; Hansen, Helle Hvid ; Endrullis, Jörg - p. 110-132 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Graph Rewriting and Relabeling with PBPO$$^{+}$$:

, In: Graph Transformation; Lecture Notes in Computer Science,
Overbeek, Roy ; Endrullis, Jörg ; Rosset, Aloïs - p. 60-80 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Patch Graph Rewriting:

, In: Graph Transformation; Lecture Notes in Computer Science,
Overbeek, Roy ; Endrullis, Jörg - p. 128-145 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Braids via term rewriting:

Endrullis, Jörg ; Klop, Jan Willem
Theoretical Computer Science.  777 (2019)  - p. 260-295 , 2019
Link: https://doi.org/10.1016/..
 
?
8

Confluence of the Chinese Monoid:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Endrullis, Jörg ; Klop, Jan Willem - p. 206-220 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Transducer degrees: atoms, infima and suprema:

Endrullis, Jörg ; Klop, Jan Willem ; Bakhshi, Rena
Acta Informatica.  57 (2019)  3-5 - p. 727-758 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Syllogistic logic with "Most":

Endrullis, Jörg ; Moss, Lawrence S.
Mathematical Structures in Computer Science.  29 (2019)  6 - p. 763-782 , 2019
Link: https://doi.org/10.1017/..
 
?
11

Majority Digraphs:

Lai, Tri ; Endrullis, Jörg ; Moss, Lawrence S.
Proceedings of the American Mathematical Society.  144 (2016)  9 - p. 3701-3715 , 2016
Link: https://www.jstor.org/st..
 
?
12

Clocked lambda calculus:

ENDRULLIS, JÖRG ; HENDRIKS, DIMITRI ; KLOP, JAN WILLEM.
Mathematical Structures in Computer Science.  27 (2015)  5 - p. 782-806 , 2015
Link: https://doi.org/10.1017/..
 
?
13

Regularity Preserving but Not Reflecting Encodings:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Endrullis, Jorg ; Grabmayer, Clemens ; Hendriks, Dimitri - p. 535-546 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

On the complexity of stream equality:

ENDRULLIS, JÖRG ; HENDRIKS, DIMITRI ; BAKHSHI, RENA.
Journal of Functional Programming.  24 (2014)  2-3 - p. 166-217 , 2014
Link: https://doi.org/10.1017/..
 
?
15

On periodically iterated morphisms:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Endrullis, Jörg ; Hendriks, Dimitri - p. 1-10 , 2014
Link: https://dl.acm.org/doi/1..
 
1-15