Personensuche
X
?
Chemical Changes During Processing and Storage of Foods ,
1
Reactions and interactions of some food additives:
, In:
?
Autonomous Agents and Multiagent Systems. Best and Visionary Papers; Lecture Notes in Computer Science ,
5
Plan Generation via Behavior Trees Obtained from Goal-Orien..:
, In:
?
Proceedings of the Genetic and Evolutionary Computation Conference ,
7
GEESE : grammatical evolution algorithm for evolution of..:
, In:
?
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ,
8
GEESE : Grammatical Evolution Algorithm for Evolution of..:
, In:
?
Proceedings of the 8th International Workshop on Modeling in Software Engineering ,
9
Modeling complex air traffic management systems:
, In:
?
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE) ,
10
Modeling Complex Air Traffic Management Systems:
, In:
?
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering ,
11
Model checking task parallel programs using gradual permiss..:
, In:
?
Proceedings of the twenty-fourth annual ACM symposium on Parallelism in algorithms and architectures ,
12
Design, verification and applications of a new read-write l..:
, In:
?
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering ,
13
Guided test visualization : Making sense of errors in co..:
, In:
?
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation ,
14
Guided model checking for programs with polymorphism:
, In:
?
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging ,
15