( en | de | ru )

 

Disambiguierung von "Dongol, Brijesh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction.

. FTSCS, Volume 694 von Communications in Computer and Information Science, Seite 20-35. (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Krishna Gopal Dongol

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving linearisability via coarse-grained abstraction, und . CoRR, (2012)Brief Announcement: On Strong Observational Refinement and Forward Simulation., , , , und . DISC, Volume 209 von LIPIcs, Seite 55:1-55:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction.. FTSCS, Volume 694 von Communications in Computer and Information Science, Seite 20-35. (2016)View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version)., , , , und . CoRR, (2022)Deriving real-time action systems in a sampling logic., und . Sci. Comput. Program., 78 (11): 2047-2063 (2013)Towards linking correctness conditions for concurrent objects and contextual trace refinement., und . Refine@FM, Volume 209 von EPTCS, Seite 107-111. (2015)A Survey of Practical Formal Methods for Security., , , , , , und . Formal Aspects Comput., 34 (1): 1-39 (2022)Verifying correctness of persistent concurrent data structures: a sound and complete method., , , , und . Formal Aspects Comput., 33 (4-5): 547-573 (2021)Comparing Degrees of Non-Determinism in Expression Evaluation., , , und . Comput. J., 56 (6): 741-755 (2013)Towards an Algebra for Real-Time Programs., , , und . RAMiCS, Volume 7560 von Lecture Notes in Computer Science, Seite 50-65. Springer, (2012)