Author of the publication

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.

, , , and . ICSCA, page 17-20. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Temporal Logic with Mean-Payoff Constraints., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 249-265. Springer, (2012)Reducing Bounded Realizability Analysis to Reachability Checking., , and . RP, volume 9328 of Lecture Notes in Computer Science, page 140-152. Springer, (2015)Efficient Realizability Checking by Modularization of LTL Specifications., , , , and . Comput. J., 65 (10): 2801-2814 (2022)A Qualitative Framework for Analysing Homeostasis in Gene Networks., , and . BIOINFORMATICS, page 5-16. SciTePress, (2014)Simple synthesis of reactive systems with tolerance for unexpected environmental behavior., , , , and . FormaliSE@ICSE, page 15-21. ACM, (2016)Towards Efficient Implementation of Realizability Checking for Reactive System Specifications., , , , , and . ICSCA, page 347-352. ACM, (2019)Complexity of Strong Satisfiability Problems for Reactive System Specifications., , and . IEICE Trans. Inf. Syst., 96-D (10): 2187-2193 (2013)Modular analysis of gene networks by linear temporal logic., , , , , and . J. Integr. Bioinform., (2013)Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach., , , and . BIOINFORMATICS, page 17-28. SciTePress, (2017)Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms., , , and . BIOSTEC (Selected Papers), volume 881 of Communications in Computer and Information Science, page 191-211. Springer, (2017)