Edit Profile Beohar, Harsh Compute Distance To: Compute Author ID: beohar.harsh Published as: Beohar, H.; Beohar, Harsh Documents Indexed: 8 Publications since 2010 all top 5 Co-Authors 0 single-authored 4 Cuijpers, Pieter J. L. 2 Küpper, Sebastian 2 Mousavi, Mohammadreza 1 König, Barbara 1 Nadales Agut, D. E. 1 Silva, Alexandra 1 van Beek, D. A. 1 Wißmann, Thorsten Serials 1 Logical Methods in Computer Science 1 Scientific Annals of Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 8 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 5 times in 3 Documents Cited by ▼ Year ▼ A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322Beohar, Harsh; Mousavi, Mohammad Reza 2 2015 A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten 1 2018 On path-based coalgebras and weak notions of bisimulation. Zbl 1433.68237Beohar, Harsh; Küpper, Sebastian 1 2017 Input-output conformance testing for software product lines. Zbl 1392.68144Beohar, Harsh; Mousavi, Mohammad Reza 1 2016 A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten 1 2018 On path-based coalgebras and weak notions of bisimulation. Zbl 1433.68237Beohar, Harsh; Küpper, Sebastian 1 2017 Input-output conformance testing for software product lines. Zbl 1392.68144Beohar, Harsh; Mousavi, Mohammad Reza 1 2016 A pre-congruence format for \(XY\)-simulation. Zbl 1434.68322Beohar, Harsh; Mousavi, Mohammad Reza 2 2015 all top 5 Cited by 9 Authors 2 Aceto, Luca 2 Fábregas, Ignacio 2 Gregorio-Rodríguez, Carlos 2 Ingólfsdóttir, Anna 1 Beohar, Harsh 1 König, Barbara 1 Küpper, Sebastian 1 Silva, Alexandra 1 Wißmann, Thorsten Cited in 2 Serials 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 3 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) Citations by Year