المؤلفون: Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/2604/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/ff394782321c4e8e97e970e7284ab549

المؤلفون: Harsh Beohar, Mohammad Reza Mousavi

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 141, Iss Proc. MBT 2014, Pp 44-55 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1403.7260v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/3046bdf6c7534efd9a51226d4b9684a1

المؤلفون: Harsh Beohar, Pieter Cuijpers

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 38, Iss Proc. ICE 2010, Pp 99-114 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1010.5572v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/256373ad48c4496db6f31801c236c71f

المؤلفون: Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

المصدر: Coalgebraic Methods in Computer Science ISBN: 9783031107351

مصطلحات موضوعية: Informatik

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcdcfd6b6c73c8debd8cba3b6f9c5dd1
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85135068835

المؤلفون: Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi

المصدر: Science of Computer Programming. 168:171-185

مصطلحات موضوعية: Hierarchy, Computer science, business.industry, Programming language, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Behavioral modeling, Informatik, Software, 010201 computation theory & mathematics, Product (mathematics), 0202 electrical engineering, electronic engineering, information engineering, Calculus of communicating systems, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58fe1915a6a9a1a90c429819f937c538
https://doi.org/10.1016/j.scico.2018.09.001

المؤلفون: Sebastian Küpper, Alexandra Silva, Barbara König, Harsh Beohar

المصدر: TASE

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, Distributive lattice, 0102 computer and information sciences, 02 engineering and technology, Mathematical proof, Topology, Encryption, 01 natural sciences, Computer Science - Software Engineering, Software, 020204 information systems, Lattice (order), 0202 electrical engineering, electronic engineering, information engineering, Bisimulation, business.industry, D.2.4, 020207 software engineering, Algebra, Software Engineering (cs.SE), Formalism (philosophy of mathematics), Informatik, F.3.1, 010201 computation theory & mathematics, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f06ea453f178c34b46688311fe40073
https://eprints.whiterose.ac.uk/158382/1/cts-elsevier.pdf

المؤلفون: Harsh Beohar, Mohammad Reza Mousavi

المصدر: Journal of Logical and Algebraic Methods in Programming. 85(6):1131-1153

مصطلحات موضوعية: Programvaruteknik, Logic, Computer science, Integration testing, White-box testing, Real-time computing, Software performance testing, 02 engineering and technology, Theoretical Computer Science, Input–output conformance testing, 0202 electrical engineering, electronic engineering, information engineering, Input–output featured transition systems, Software Engineering, 020207 software engineering, Software product lines, Reliability engineering, Informatik, Computational Theory and Mathematics, Model based testing, Non-regression testing, Software construction, 020201 artificial intelligence & image processing, Software reliability testing, Conformance testing, System integration testing, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::458897cd6471256c225639f18ebe7af2

المؤلفون: Harsh Beohar, Sebastian Küpper

المصدر: MFPS

مصطلحات موضوعية: Bisimulation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, General Computer Science, Dynamical systems theory, Computer science, Presheaf, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, State (functional analysis), 01 natural sciences, Theoretical Computer Science, Logic in Computer Science (cs.LO), Informatik, Morphism, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, Universe (mathematics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ad16c2afedaae0298a1cf9fe962f2e5
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85081787040

المؤلفون: Pieter J. L. Cuijpers, Harsh Beohar

المساهمون: Security, Interconnected Resource-aware Intelligent Systems

المصدر: MFPS
Electronic Notes in Theoretical Computer Science, 319, 51-66. Elsevier

مصطلحات موضوعية: Discrete mathematics, Subcategory, General Computer Science, Dynamical systems theory, Concurrency, Model of computation, Prefix orders, Concrete category, Concrete categories, Open and closed maps, Theoretical Computer Science, Prefix, Informatik, Open maps, Equivalence (formal languages), Branching bisimulation, Mathematics, Computer Science(all)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58868ab70e8037a475f7fe415e5d81e4
https://doi.org/10.1016/j.entcs.2015.12.005

المؤلفون: quot, Harsh Beohar, Barbara K{\", {o}}nig, Sebastian K{\", {u}}per, Alexandra Silva, Thorsten Wi{\ss}mann"

المصدر: Logical Methods in Computer Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=r3c4b2081b22::5cd28197e1965db222f684f4305cc5fa