Andreas Distler
AuthID: R-000-YP8
11
TITLE: Enumeration of AG-Groupoids
AUTHORS: Andreas Distler; Muhammad Shah; Volker Sorge;
PUBLISHED: 2011, SOURCE: 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2011)/10th International Conference on Mathematical Knowledge Management (MKM 2011) in INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, VOLUME: 6824
AUTHORS: Andreas Distler; Muhammad Shah; Volker Sorge;
PUBLISHED: 2011, SOURCE: 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2011)/10th International Conference on Mathematical Knowledge Management (MKM 2011) in INTELLIGENT COMPUTER MATHEMATICS, MKM 2011, VOLUME: 6824
12
TITLE: Functional decomposition and interactions in hybrid intrusion-tolerant systems
AUTHORS: Reiser, HP; Distler, T; Kapitza, R;
PUBLISHED: 2007, SOURCE: 3rd International DiscCoTec Workshop on Middleware-Application Interaction, MAI 2009 in ACM International Conference Proceeding Series
AUTHORS: Reiser, HP; Distler, T; Kapitza, R;
PUBLISHED: 2007, SOURCE: 3rd International DiscCoTec Workshop on Middleware-Application Interaction, MAI 2009 in ACM International Conference Proceeding Series
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef