Search results for: Pedro Rangel Henriques
Computer Applications in Engineering Education > 28 > 5 > 1058 - 1071
Annals of Computer Science and Information Systems > 2017 > Vol. 13 > 157--164
Universal Access in the Information Society > 2017 > 16 > 4 > 823-833
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 106-120
Lecture Notes in Computer Science > Charting the Topic Maps Research and Applications Landscape > 14-25
Lecture Notes in Computer Science > Discovey Science > 435-436
Lecture Notes in Computer Science > Programming Languages Implementation and Logic Programming > 201-218
Lecture Notes in Computer Science > EPIA 91 > 76-91
Computer Languages, Systems & Structures > 2016 > 45 > C > 35-52
Procedia Computer Science > 2016 > 96 > C > 235-244