-
1Report
المؤلفون: De Francesco, Nicoletta, Lettieri, Giuseppe, Martini, Luca
المصدر: EPTCS 33, 2010, pp. 56-70
مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Computer Science - Computational Engineering, Finance, and Science
URL الوصول: http://arxiv.org/abs/1008.3305
-
2Academic Journal
المؤلفون: Alfeo, Antonio L., Cimino, Mario G. C. A., De Francesco, Nicoletta, Lazzeri, Alessandro, Lega, Massimiliano, Vaglini, Gigliola
المساهمون: Alfeo, Antonio L., Cimino, Mario G. C. A., De Francesco, Nicoletta, Lazzeri, Alessandro, Lega, Massimiliano, Vaglini, Gigliola
مصطلحات موضوعية: Swarm intelligence, mini-UAV, stigmergy, flocking, target search
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000455414900003; volume:12; issue:2; firstpage:149; lastpage:162; numberofpages:14; journal:INTELLIGENT DECISION TECHNOLOGIES; http://hdl.handle.net/11568/905517; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85044358067; https://content.iospress.com/articles/intelligent-decision-technologies/idt317
-
3Academic Journal
المساهمون: DE FRANCESCO, Nicoletta, Lettieri, Giuseppe, Santone, Antonella, Vaglini, Gigliola
مصطلحات موضوعية: Heuristic search algorithms, Bisimulation, Concurrent systems, Model checking
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000374567800012; volume:15; issue:2; firstpage:513; lastpage:530; numberofpages:18; journal:SOFTWARE AND SYSTEMS MODELING; http://hdl.handle.net/11568/447667; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84901554359; http://link.springer.com/article/10.1007/s10270-014-0416-2
-
4Conference
المساهمون: Dipartimento di Ingegneria dell'Informazione Pisa, University of Pisa - Università di Pisa, Hélène WAESELYNCK
المصدر: Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009 ; 12th European Workshop on Dependable Computing, EWDC 2009 ; https://hal.archives-ouvertes.fr/hal-00380664 ; 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 8 p
مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-00380664; https://hal.archives-ouvertes.fr/hal-00380664; https://hal.archives-ouvertes.fr/hal-00380664/document; https://hal.archives-ouvertes.fr/hal-00380664/file/FormalAnalysis_1.pdf
-
5Academic Journal
المؤلفون: Barbuti, Roberto, De Francesco, Nicoletta, Tesei, Luca
مصطلحات موضوعية: Original Articles
وصف الملف: text/html
Relation: http://comjnl.oxfordjournals.org/cgi/content/short/53/6/679; http://dx.doi.org/10.1093/comjnl/bxp031
-
6Academic Journal
المؤلفون: De Francesco, Nicoletta, Lettieri, Giuseppe, Martini, Luca
المصدر: Theoretical Computer Science ; volume 411, issue 22-24, page 2174-2201 ; ISSN 0304-3975
-
7Academic Journal
المؤلفون: De Francesco, Nicoletta, Martini, Luca
مصطلحات موضوعية: Computational Theory and Mathematics, Computer Science Applications, Information Systems, Theoretical Computer Science
-
8Academic Journal
المؤلفون: Cimino, Mario G.C.A., De Francesco, Nicoletta, Mercaldo, Francesco, Santone, Antonella, Vaglini, Gigliola
المصدر: Computers & Security ; volume 90, page 101691 ; ISSN 0167-4048
-
9Academic Journal
مصطلحات موضوعية: Articles
وصف الملف: text/html
Relation: http://comjnl.oxfordjournals.org/cgi/content/short/47/1/25; http://dx.doi.org/10.1093/comjnl/47.1.25
-
10Academic Journal
مصطلحات موضوعية: Articles
وصف الملف: text/html
Relation: http://comjnl.oxfordjournals.org/cgi/content/short/44/1/21; http://dx.doi.org/10.1093/comjnl/44.1.21
-
11Academic Journal
المؤلفون: Alfeo, Antonio L., Cimino, Mario G. C. A., De Francesco, Nicoletta, Lega, Massimiliano, Vaglini, Gigliola
المساهمون: Alfeo, Antonio L., Cimino, Mario G. C. A., De Francesco, Nicoletta, Lega, Massimiliano, Vaglini, Gigliola
مصطلحات موضوعية: Differential evolution, Drone, Flocking, Stigmergy, Swarm intelligence, Target search, Theoretical Computer Science, Computer Science (all), Modeling and Simulation
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000452814700003; volume:29; firstpage:19; lastpage:33; numberofpages:15; journal:JOURNAL OF COMPUTATIONAL SCIENCE; http://hdl.handle.net/11367/71491; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85054761641; http://www.elsevier.com/wps/find/journaldescription.cws_home/721195/description#description
-
12Academic Journal
المصدر: Journal of Computer and System Sciences ; volume 59, issue 3, page 537-556 ; ISSN 0022-0000
-
13Report
المؤلفون: De Francesco, Nicoletta, Petrocchi, Marinella
المصدر: Technical report, 2002.
مصطلحات موضوعية: Wireless communication, Authentication of origin, Cryptographic protocols, Distributed systems security, info:eu-repo/classification/acm/D.4.6 Security and Protection
وصف الملف: application/pdf
Relation: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.iit/cnr.iit/2002-TR-11; http://puma.isti.cnr.it/rmydownload.php?filename=cnr.iit/cnr.iit/2002-TR-11/2002-TR-11.pdf
-
14Conference
المساهمون: De Francesco, Nicoletta, Lettieri, Giuseppe, Santone, Antonella, Vaglini, Gigliola
مصطلحات موضوعية: Model checking, heuristic searche, temporal logic
Relation: ispartofbook:Proceedings on the International Conference on Artificial Intelligence (ICAI); 2013 International Conference on Artificial Intelligence (ICAI 2013); https://hdl.handle.net/11568/1231387
الاتاحة: https://hdl.handle.net/11568/1231387
-
15Conference
المساهمون: DE FRANCESCO, Nicoletta, Lettieri, Giuseppe, Santone, A, Vaglini, Gigliola
Relation: ispartofbook:Proceedings of the 2013 International Conference on Artificial Intelligence; ICAI 2013; http://hdl.handle.net/11568/247246
الاتاحة: http://hdl.handle.net/11568/247246
-
16Conference
المؤلفون: DE FRANCESCO, NICOLETTA, MARTINI LUCA
المساهمون: DE FRANCESCO, Nicoletta, Martini, Luca
Relation: info:eu-repo/semantics/altIdentifier/isbn/3540326286; ispartofbook:Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers; Formal Aspects in Security and Trust; volume:3866; firstpage:63; lastpage:80; numberofpages:18; http://hdl.handle.net/11568/93954
-
17Academic Journal
المساهمون: DE FRANCESCO, Nicoletta, Lettieri, Giuseppe, Santone, Antonella, Vaglini, Gigliola
مصطلحات موضوعية: Verification, Formal methods, Heuristic searches, Equivalence checking
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000336444200004; volume:23; issue:3; firstpage:1; lastpage:26; numberofpages:27; journal:ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; http://hdl.handle.net/11568/466267; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84901634483
-
18Conference
المساهمون: Bernardeschi, Cinzia, DE FRANCESCO, Nicoletta, Lettieri, Giuseppe
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/isbn/8388374710; info:eu-repo/semantics/altIdentifier/wos/WOS:000222766900007; ispartofbook:Concurrency Specification and Programming CS&P 2003; Concurrency Specification and Programming (CS&P 2003); volume:1; firstpage:79; lastpage:91; numberofpages:13; http://hdl.handle.net/11568/191327
الاتاحة: http://hdl.handle.net/11568/191327
-
19Conference
المؤلفون: DE FRANCESCO, NICOLETTA, M. PETROCCHI
المساهمون: DE FRANCESCO, Nicoletta, M., Petrocchi
Relation: info:eu-repo/semantics/altIdentifier/isbn/1581136242; ispartofbook:Proceedings of the 2003 ACM Symposium on Applied Computing (SAC); ACM Symposium on Applied Computing; volume:1; firstpage:12; lastpage:18; numberofpages:7; http://hdl.handle.net/11568/80424; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0038675422
-
20Conference
المؤلفون: BERNARDESCHI, CINZIA, DE FRANCESCO, NICOLETTA, MARTINI L.
المساهمون: Meersman, R, Tari, Z, Bernardeschi, Cinzia, DE FRANCESCO, Nicoletta, Martini, L.
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000188513300048; ispartofbook:ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS; Workshop on Java Technologies for Real Time and Embedded Systems; volume:LNCS 2889; firstpage:425; lastpage:436; numberofpages:12; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Meersman, R; Tari, Z; http://hdl.handle.net/11568/78639; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0242543344
الاتاحة: http://hdl.handle.net/11568/78639