Search for persons
X
?
1
Data Science and Artificial Intelligence: First Internation..
Communications in Computer and Information Science, 1942
?
Lecture Notes in Educational Technology; Smart Learning for A Sustainable Society ,
2
How to Evaluate Games in Education: A Literature Review:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
3
Minimisation in Logical Form:
, In:
?
Discovery Science; Lecture Notes in Computer Science ,
4
Automatic Human-Like Detection of Code Smells:
, In:
?
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ,
5
On the Nature of Symbolic Execution:
, In:
?
13
Formal methods for components and objects
9th international symposium, FMCO 2010, Graz, Austria, Nove...
Lecture notes in computer science ; 6957
?
14
Formal methods for components and objects
8th international symposium, FMCO 2009, Eindhoven, The Neth...
Lecture notes in computer science ; 6286
?
15
Formal methods for components and objects
7th international symposium, FMCO 2008, Sophia Antipolis, F...
Lecture notes in computer science ; 5751