Personensuche
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
1
A Rule-Based Approach for Designing and Composing Abstract ..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
Transforming Big-Step to Small-Step Semantics Using Interpr..:
, In:
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
3
Types, Modes and so Much More – The Prolog Way:
, In:
?
Prolog: The Next 50 Years; Lecture Notes in Computer Science ,
4
Some Thoughts on How to Teach Prolog:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
5
Computing Abstract Distances in Logic Programs:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
6
A General Framework for Static Cost Analysis of Parallel Lo..:
, In:
?
Static Analysis; Lecture Notes in Computer Science ,
7
Cost Analysis of Smart Contracts Via Parametric Resource An..:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
8
An Integrated Approach to Assertion-Based Random Testing in..:
, In:
?
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming ,
9
Static Performance Guarantees for Programs with Runtime Che..:
, In:
?
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion ,
10
Comparison between Golden Ball Meta-heuristic, Evolutionary..:
, In:
?
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion ,
11
TIMON Project : Description and Preliminary Tests for Tr..:
, In:
?
Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation ,
12
Energy Efficient Allocation and Scheduling for DVFS-enabled..:
, In:
?
Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation ,
13
Hybridizing Genetic Algorithm with Cross Entropy for Solvin..:
, In:
?
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming ,
14
CLP projection for constraint handling rules:
, In:
?
Proceedings of the 9th international conference on Practical Aspects of Declarative Languages ,
15