Peter E Bulychev ; Efficient controller synthesis for a fragment of MTL · CISS, CS, Aalborg University, Ålborg, Denmark and Google Inc., Zurich, Switzerland, USA.
Peter Bulychev. postdoc at Aalborg University. Verified email at cs.aau.dk. ArticlesCited byPublic access. Title. Sort. Sort by citationsSort by ...
Missing: E. | Show results with:E.
May 8, 2024 · List of computer science publications by Peter E. Bulychev.
postdoc at Aalborg University - Cité(e) 639 fois
In this paper we present an efficient algorithm for computing the most specific templates of terms represented by labelled directed acyclic graphs.
Peter E. Bulychev, M. Minea; Published 2008; Computer Science. TLDR. A new ... KrinkeE. Merlo. Computer Science. IEEE Transactions on Software Engineering.
Anti−unification algorithms and their applications in program analysis. Peter E. Bulychev‚ Egor V. Kostylev and Vladimir A. Zakharov. Book Title.
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic · Peter E. Bulychev, Alexandre David, +4 authors. Amélie Stainer · Published in Logic ...
Revision History for Anti-unification Algorithms and Their... - OpenReview
openreview.net › revisions
Title: Anti-unification Algorithms and Their Applications in Program Analysis. Authors: Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov; Authorids: , ...
@inproceedings{NFM2012:BuDaLaLeMiPo, author = {Peter E. Bulychev and Alexandre David and Kim Guldstrand Larsen and Axel Legay and Marius Miku{\uc}ionis and ...