E-LIB Suche - Ergebnisse für: Beohar, Harsh

1

Relating Apartness and Branching Bisimulation Games:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Rot, Jurriaan ; Junges, Sebastian ; Beohar, Harsh - p. 203-213 , 2024

Link: https://doi.org/10.1007/..

2

Predicate and Relation Liftings for Coalgebras with Side Ef..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Beohar, Harsh ; König, Barbara ; Küpper, Sebastian. - p. 1-22 , 2022

Link: https://doi.org/10.1007/..

3

Graded Monads and Behavioural Equivalence Games:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ford, Chase ; Milius, Stefan ; Schröder, Lutz.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

4

Conditional transition systems with upgrades:

Beohar, Harsh ; König, Barbara ; Küpper, Sebastian.
Science of Computer Programming. 186 (2020) - p. 102320 , 2020

Link: https://doi.org/10.1016/..

5

Bisimulation Maps in Presheaf Categories:

Beohar, Harsh ; Küpper, Sebastian
Electronic Notes in Theoretical Computer Science. 347 (2019) - p. 5-24 , 2019

Link: https://doi.org/10.1016/..

6

Basic behavioral models for software product lines: Revisit..:

Varshosaz, Mahsa ; Beohar, Harsh ; Mousavi, Mohammad Reza
Science of Computer Programming. 168 (2018) - p. 171-185 , 2018

Link: https://doi.org/10.1016/..

7

Basic behavioral models for software product lines: Express..:

Beohar, Harsh ; Varshosaz, Mahsa ; Mousavi, Mohammad Reza
Science of Computer Programming. 123 (2016) - p. 42-60 , 2016

Link: https://doi.org/10.1016/..

8

Input–output conformance testing for software product lines:

Beohar, Harsh ; Mousavi, Mohammad Reza
Journal of Logical and Algebraic Methods in Programming. 85 (2016) 6 - p. 1131-1153 , 2016

Link: https://doi.org/10.1016/..

9

Input-output conformance testing based on featured transiti..:

, In: Proceedings of the 29th Annual ACM Symposium on Applied Computing,

Beohar, Harsh ; Mousavi, Mohammad Reza - p. 1272-1278 , 2014

Link: https://dl.acm.org/doi/1..

10

Forward and Backward Steps in a Fibration:

Turkenburg, Ruben ; Beohar, Harsh ; Kupke, Clemens.
doi:10.4230/LIPIcs.CALCO.2023.6. , 2023

Link: https://doi.org/10.4230/..

11

Expressive Quantale-valued Logics for Coalgebras: an Adjunc..:

Beohar, Harsh ; Gurke, Sebastian ; König, Barbara...
http://arxiv.org/abs/2310.05711. , 2023

Link: http://arxiv.org/abs/231..

12

Graded Semantics and Graded Logics for Eilenberg-Moore Coal..:

Forster, Jonas ; Schröder, Lutz ; Wild, Paul...
http://arxiv.org/abs/2307.14826. , 2023

Link: http://arxiv.org/abs/230..

13

Quantitative Graded Semantics and Spectra of Behavioural Me..:

Forster, Jonas ; Schröder, Lutz ; Wild, Paul...
http://arxiv.org/abs/2306.01487. , 2023

Link: http://arxiv.org/abs/230..

14

Hennessy-Milner Theorems via Galois Connections:

Beohar, Harsh ; Gurke, Sebastian ; Messing, Karla
doi:10.4230/LIPIcs.CSL.2023.12. , 2023

Link: https://doi.org/10.4230/..

15

Hennessy-Milner Theorems via Galois Connections:

Beohar, Harsh ; Gurke, Sebastian ; König, Barbara.
http://arxiv.org/abs/2207.05407. , 2022

Link: http://arxiv.org/abs/220..