研究成果 2006 2019

  • 26 記事
  • 4 会議での発言
  • 1 コメント/討論
  • 1 Conference article
フィルター
会議での発言
2018

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D., Tutu, I. & Riesco, A., 7 2 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).

研究成果: 著書/レポートタイプへの貢献会議での発言

Specifications
2015
2 引用 (Scopus)

Foundations of logic programming in hybridised logics

Găină, D., 1 1 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (版). Springer Verlag, p. 69-89 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9463).

研究成果: 著書/レポートタイプへの貢献会議での発言

Logic programming
Logic Programming
Logic
Hybrid systems
Semantics
2013
11 引用 (Scopus)

Constructor-based inductive theorem prover

Gǎinǎ, D., Zhang, M., Chiba, Y. & Arimoto, Y., 10 28 2013, Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Proceedings. p. 328-333 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8089 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Theorem
Software System
Logic
Strategy
2009
7 引用 (Scopus)

Constructor-based institutions

Gǎinǎ, D., Futatsugi, K. & Ogata, K., 11 2 2009, Algebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings. p. 398-412 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 5728 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Completeness
Computer Science
Logic
Model
Computer science