المؤلفون: Artho, Cyrille, Hagiya, Masami, Leungwattanakit, Watcharin, Platon, Eric, Potter, Richard, Suzaki, Kuniyasu, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu

المصدر: 2014 Second International Symposium on Computing and Networking Computing and Networking (CANDAR), 2014 Second International Symposium on. :144-150 Dec, 2014

Relation: 2014 Second International Symposium on Computing and Networking (CANDAR)

المؤلفون: Burillo, José, López-Platón, Eric

مصطلحات موضوعية: Mathematics - Group Theory, 20F65

URL الوصول: http://arxiv.org/abs/1506.06935

المؤلفون: Burillo, José, Platón, Eric López

مصطلحات موضوعية: Mathematics - Group Theory, 20F65

URL الوصول: http://arxiv.org/abs/1302.0039

المؤلفون: Lim, Soo Ling, Ishikawa, Fuyuki, Platon, Eric, Cox, Karl

المصدر: 2008 IEEE International Conference on Services Computing Services Computing, 2008. SCC '08. IEEE International Conference on. 2:231-238 Jul, 2008

Relation: 2008 IEEE International Conference on Services Computing (SCC)

المؤلفون: Lim, Soo Ling, Platon, Eric, Cox, Karl

المصدر: 2008 32nd Annual IEEE International Computer Software and Applications Conference Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International. :649-652 Jul, 2008

Relation: 2008 IEEE 32nd International Computer Software and Applications Conference (COMPSAC)

المؤلفون: Artho, Cyrille, Suzaki, Kuniyasu, Hagiya, Masami, Leungwattanakit, Watcharin, Potter, Richard, Platon, Eric, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu

المصدر: International Journal of Networking and Computing. 5(2):347-372

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199103
https://kth.diva-portal.org/smash/get/diva2:1060485/FULLTEXT01.pdf

المؤلفون: Artho, Cyrille, Biere, Armin, Hagiya, Masami, Platon, Eric, Seidl, Martina, Tanabe, Yoshinori, Yamamoto, Mitsuharu

المصدر: Proc. 9th Haifa Verification Conference (HVC 2013) LNCS. :112-128

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-199124
https://kth.diva-portal.org/smash/get/diva2:1060449/FULLTEXT01.pdf

المؤلفون: Artho, Cyrille Valentin^Aff18, Biere, Armin^Aff19, Hagiya, Masami^Aff20, Platon, Eric^Aff21, Seidl, Martina^Aff19, Tanabe, Yoshinori^Aff22, Yamamoto, Mitsuharu^Aff23

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Bertacco, Valeria, editor^Aff16, Legay, Axel, editor^Aff17

المصدر: Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. 8244:112-128

المؤلفون: Burillo, José^Aff6, Platón, Eric López^Aff6

المساهمون: Ventura, Enric, Series editor^{Aff1, Aff5}, Guillamon, Antoni, Series editor^Aff2, González-Meneses, Juan, editor^Aff3, Lustig, Martin, editor^Aff4

المصدر: Extended Abstracts Fall 2012 : Automorphisms of Free Groups. 1:25-27

المؤلفون: Platon, Eric^{Aff1, Aff3}, Rehák, Martin^Aff2, Sabouret, Nicolas^Aff3, Pěchouček, Michal^Aff2, Honiden, Shinichi^Aff1

المساهمون: Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Mařík, Vladimír, editor, Vyatkin, Valeriy, editor, Colombo, Armando W., editor

المصدر: Holonic and Multi-Agent Systems for Manufacturing : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007. 4659:161-172