학술논문
'학술논문'
에서 검색결과 20건 | 목록
1~10
Academic Journal
Hüttel, H.; Lanese, I.; Vasconcelos, V.T.; Mostrous, D.; Zavattaro, G.; Caires, L.; Carbone, M.; Deniélou, P.-M.; Padovani, L.; Nióravara, A.; Tuosto, E.; Vieira, H.T.
In: ACM Computing Surveys . (ACM Computing Surveys, April 2016, 49(1))
Academic Journal
Ancona, D.; Mascardi, V.; Bono, V.; Padovani, L.; Bravetti, M.; Giachino, E.; Campos, J.; Castagna, G.; Martins, F.; Vasconcelos, V.T.; Deniélou, P.-M.; Gay, S.J.; Gesbert, N.; Hu, R.; Neykova, R.; Ng, N.; Yoshida, N.; Johnsen, E.B.; Montesi, F.
In: Foundations and Trends in Programming Languages . (Foundations and Trends in Programming Languages, 2016, 3(2-3):95-230)
Academic Journal
Bartoletti, M.; Castellani, I.; Deniélou, P.-M.; Dezani-Ciancaglini, M.; Ghilezan, S.; Pantovic, J.; Pérez, J.A.; Thiemann, P.; Toninho, B.; Vieira, H.T.
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, 1 November 2015, 84(6):763-780)
Book
Honda, K.; Chen, T.-C.; Demangeon, R.; Hu, R.; Neykova, R.; Deníelou, P.-M.; Yoshida, N.; Deníelou, P.-M.
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8665:105-127)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2012, 8(4))
Conference
2009 22nd IEEE Computer Security Foundations Symposium; 2009, p124-140, 17p
Conference
20th IEEE Computer Security Foundations Symposium (CSF'07); 2007, p170-186, 17p
Academic Journal
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, September 2006, 41(9):286-297)
Book
In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7966 LNCS(PART 2):174-186)
Book
In: Trustworthy Global Computing - 6th International Symposium, TGC 2011, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7173 LNCS:25-45)
검색 결과 제한하기
제한된 항목
[AR] Denielou, P.-M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어