Vincenza Carchiolo

2008
53		Costin Badica, Giuseppe Mangioni, Vincenza Carchiolo, Dumitru Dan Burdescu: Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing - IDC 2008, Catania, Italy, 2008 Springer 2008
52	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Trusting Evaluation by Social Reputation. IDC 2008: 75-84
51	EE	Vincenza Carchiolo, Alessandro Longheu, Giuseppe Mangioni, Vincenzo Nicosia: Adaptive E-Learning: An Architecture Based on PROSAP2P Network. IEA/AIE 2008: 777-786
50	EE	Vincenza Carchiolo, D. Correnti, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Reliable Personalized Learning Paths: The Contribution of Trust to E-Learning. WSKS (2) 2008: 221-228
49	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Emerging structures of P2P networks induced by social relationships. Computer Communications 31(3): 620-628 (2008)
2007
48	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: An Approach to Trust Based on Social Networks. WISE 2007: 50-61
47	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation CoRR abs/cs/0702085: (2007)
46	EE	Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri: Efficient Searching and Retrieval of Documents in PROSA CoRR abs/cs/0702126: (2007)
45	EE	Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Vincenza Malgeri: Exploiting social networks dynamics for P2P resource organisation CoRR abs/cs/0702127: (2007)
44	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: A model for a web-based learning system. Information Systems Frontiers 9(2-3): 267-282 (2007)
43	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Fast Information Retrieval in a Self-Organising P2P Network. JCP 2(5): 75-81 (2007)
2006
42	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Efficient Searching and Retrieval of Documents in PROSA. DBISP2P 2006: 298-309
41	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Exploiting Social Networks Dynamics for P2P Resource Organisation. ISCIS 2006: 726-734
40	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Evaluating the Dynamic Behaviour of PROSA P2P Network. ISPA 2006: 904-915
39	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Self-Organisation of Resources in PROSA P2P Network. SelfMan 2006: 171-174
38	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia: Social Behaviours in P2P Systems: An Efficient Algorithm for Resource Organisation. WETICE 2006: 65-72
2005
37	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Production workflows: a model for reuse. ETFA 2005
36	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Information categorization in web pages and sites. Web Intelligence and Agent Systems 3(3): 183-198 (2005)
2004
35	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Using Web-Based Personalized Learning System in Academic Context. CIT 2004: 328-332
2003
34	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Hidden Schema Extraction in Web Documents. DNIS 2003: 42-52
33	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Courses Personalization in an E-Learning Environment. ICALT 2003: 252-253
32		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Using Lotos in Workflow Specification. ICEIS (3) 2003: 364-369
31	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: From Specification to Hardware Device: A Synthesis Algorithm. ICFEM 2003: 665-681
30	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Synthesis of LOTOS Specification of the IEEE-1394 Firewire Protocol. IEEE International Workshop on Rapid System Prototyping 2003: 86-92
29	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni: Courses Modeling in E-learning Context. ISCIS 2003: 19-26
28	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Improving WEB Usability by Categorizing Information. Web Intelligence 2003: 146-152
27		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extracting Logical Schema from the Web. Appl. Intell. 18(3): 341-355 (2003)
26	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: TTL: a modular language for hardware/software systems design. J. Comput. Syst. Sci. 66(2): 293-315 (2003)
2002
25		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Structuring the Web: a Logical Schema for Web pages and Sites. DIWeb 2002: 103-113
24	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extraction of Hidden Semantics from Web Pages. IDEAL 2002: 117-122
23		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Schema and Data Integration for Relational and Object-Oriented Data Sources. JCIS 2002: 240-244
22	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Adaptive Formative Paths in a Web-based Learning Environment. Educational Technology & Society 5(4): (2002)
2001
21		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Learning through Ad-hoc Formative Paths. ICALT 2001: 96-102
20		Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: An Object-Oriented Workflow Metamodel. OOIS 2001: 81-90
2000
19	EE	Vincenza Carchiolo, S. D'ambra, Alessandro Longheu, Michele Malgeri: Issues in object orienting the ST Microelectronics manufacturing model. APSEC 2000: 325-329
18	EE	Vincenza Carchiolo, S. D'ambra, Alessandro Longheu, Michele Malgeri: Re-Engineering the STMicroelectronics Manufacturing Model. CSMR 2000: 231-234
17	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Structuring the Web. DEXA Workshop 2000: 1123-1127
16	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Using a Formal Framework for Agent System Design. FAABS 2000: 308-317
15	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Implementing a Distributed Server Using Mobile Agent Technology. ISCC 2000: 630-634
14	EE	Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri: Extracting Logical Schema from the Web. PRICAI Workshop on Text and Web Mining 2000: 64-71
13	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Hardware/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Design Autom. Electr. Syst. 5(3): 399-432 (2000)
1997
12	EE	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni: Approach to the Synthesis of HW and SW in Codesign. CODES 1997: 173-
11	EE	Vincenza Carchiolo, Michele Malgeri: An Adaptive Scheduler for Multimedia Systems. FTDCS 1997: 324-329
1995
10	EE	Vincenza Carchiolo, Michele Malgeri: A fuzzy approach to co-design system partitioning. SAC 1995: 514-518
1990
9		Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: Case study in protocol verification. Comput. Syst. Sci. Eng. 5(3): 178-186 (1990)
1989
8	EE	Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: ECCS and LIPS: Two Languages for OSI Systems Specification and Verification. ACM Trans. Program. Lang. Syst. 11(2): 284-329 (1989)
1988
7		Vincenza Carchiolo, Alberto Faro: BIP system: A tool for protocol verification. ICCC 1988: 191-198
6		Vincenza Carchiolo, Alberto Faro, Michele Malgeri: A Tool for the Performance Analysis of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 121-139
5	EE	Vincenza Carchiolo, Antonella Di Stefano, Alberto Faro, Giuseppe Pappalardo: Behavioural approach to OSI system design. Computer Communications 11(6): 291-298 (1988)
1986
4		Vincenza Carchiolo, Alberto Faro, Orazio Mirabella, Giuseppe Pappalardo, Giuseppe Scollo: A LOTOS Specification of the PROWAY Highway Service. IEEE Trans. Computers 35(11): 949-968 (1986)
1984
3		Vincenza Carchiolo, Gesualdo Le Moli, Sergio Palazzo, Giuseppe Pappalardo: Modelling and Specifying a Presentation Protocol by Temporal Ordering. PSTV 1984: 423-440
2		Vincenza Carchiolo, Alberto Faro, F. Minissale, Giuseppe Scollo: Some Topics in the Design of the Specification Language Lotos. Symposium on Programming 1984: 47-58
1	EE	Vincenza Carchiolo, Alberto Faro, Giuseppe Scollo: A temporal ordering specification of some session services. Computer Communication Review 14(2): 107-114 (1984)

Coauthor Index

1	Costin Badica	[53]
2	Dumitru Dan Burdescu	[53]
3	D. Correnti	[50]
4	S. D'ambra	[18] [19]
5	Alberto Faro	[1] [2] [4] [5] [6] [7] [8] [9]
6	Alessandro Longheu	[14] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [32] [33] [34] [35] [36] [37] [44] [48] [50] [51] [52]
7	Michele Malgeri	[6] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [47] [48] [49] [50] [52]
8	Vincenza Malgeri	[45] [46]
9	Giuseppe Mangioni	[12] [13] [15] [16] [26] [29] [30] [31] [33] [35] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53]
10	F. Minissale	[2]
11	Orazio Mirabella	[4]
12	Gesualdo Le Moli	[3]
13	Vincenzo Nicosia	[38] [39] [40] [41] [42] [43] [45] [46] [47] [48] [49] [51]
14	Sergio Palazzo	[3]
15	Giuseppe Pappalardo	[3] [4] [5] [8] [9]
16	Giuseppe Scollo	[1] [2] [4]
17	Antonella Di Stefano	[5] [8] [9]