Author of the publication

Model Checking Syllabi and Student Carreers.

, , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 128-142. Springer, (2001)

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

Theories and uses of context in knowledge representation and reasoning, , , and . Journal of Pragmatics, 35 (3): 455--484 (March 2003)Semantic Matching, and . The Knowledge Engineering Review, 18 (3): 265--280 (2003)A Logic of Belief and a Model Checking Algorithm for Security Protocols., , , and . FORTE, volume 183 of IFIP Conference Proceedings, page 393-408. Kluwer, (2000)Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.. COMPCON, page 124-129. IEEE Computer Society, (1987)Relation path embedding in knowledge graphs., , , , and . Neural Comput. Appl., 31 (9): 5629-5639 (2019)ML Systems: A Proof Theory for Contexts., and . J. Log. Lang. Inf., 11 (4): 471-518 (2002)A Semantic-Enabled Engine for Mobile Social Networks., , and . ESWC (Satellite Events), volume 7955 of Lecture Notes in Computer Science, page 298-299. Springer, (2013)A large and evolving cognate database., , and . Lang. Resour. Evaluation, 56 (1): 165-189 (2022)Classifying concepts via visual properties., and . CoRR, (2021)Cross-Domain Meta-Learner for Cold-Start Recommendation., , , , and . IEEE Trans. Knowl. Data Eng., 35 (8): 7829-7843 (August 2023)