default search action
Giuseppe Mangioni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j32]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Efficient Node PageRank Improvement via Link-building using Geometric Deep Learning. ACM Trans. Knowl. Discov. Data 17(3): 38:1-38:22 (2023) - 2022
- [j31]Philippe J. Giabbanelli, Samarth Swarup, Renaud Lambiotte, Giuseppe Mangioni:
Editorial: Scalable Network Generation & Analysis. Frontiers Big Data 5 (2022) - [j30]Vincenza Carchiolo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Co-Authorship Networks Analysis to Discover Collaboration Patterns among Italian Researchers. Future Internet 14(6): 187 (2022) - [j29]Vincenza Carchiolo, Christian Cavallo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Link Prediction in Time Varying Social Networks. Inf. 13(3): 123 (2022) - [c65]A. Arciprete, Vincenza Carchiolo, D. Chiavetta, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Geometric Deep Learning Graph Pruning to Speed-Up the Run-Time of Maximum Clique Enumerarion Algorithms. COMPLEX NETWORKS (1) 2022: 415-425 - [c64]Vincenza Carchiolo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Correlation Between Researchers' Centrality and H-Index: A Case Study. IDC 2022: 133-143 - [c63]Vincenza Carchiolo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Network Topology to Predict Bibliometrics Indices: A Case Study. iiWAS 2022: 166-180 - 2021
- [j28]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A Network-Based Analysis of a Worksite Canteen Dataset. Big Data Cogn. Comput. 5(1): 11 (2021) - [j27]Marco Grassia, Giuseppe Mangioni, Stefano Schiavo, Silvio Traverso:
(Unintended) Consequences of export restrictions on medical goods during the Covid-19 pandemic. J. Complex Networks 10(1) (2021) - [j26]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Maria Laura Previti:
Mutual Influence of Users Credibility and News Spreading in Online Social Networks. Future Internet 13(5): 107 (2021) - [c62]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Food Recommendation in a Worksite Canteen. COMPLEXIS 2021: 117-124 - [c61]Vincenza Carchiolo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Analysis of the Co-authorship Sub-networks of Italian Academic Researchers. COMPLEX NETWORKS 2021: 321-327 - [c60]Marco Grassia, Giuseppe Mangioni:
wsGAT: Weighted and Signed Graph Attention Networks for Link Prediction. COMPLEX NETWORKS 2021: 369-375 - [c59]Lucia Cavallaro, Marco Grassia, Giacomo Fiumara, Giuseppe Mangioni, Pasquale De Meo, Vincenza Carchiolo, Ovidiu Bagdasar, Antonio Liotta:
Relations Between Entropy and Accuracy Trends in Complex Artificial Neural Networks. COMPLEX NETWORKS 2021: 452-460 - [c58]Vincenza Carchiolo, Marco Grassia, Michele Malgeri, Giuseppe Mangioni:
Preliminary Characterization of Italian Academic Scholars by Their Bibliometrics. IDC 2021: 343-354 - [i11]Marco Grassia, Manlio De Domenico, Giuseppe Mangioni:
Machine learning dismantling and early-warning signals of disintegration in complex systems. CoRR abs/2101.02453 (2021) - [i10]Marco Grassia, Manlio De Domenico, Giuseppe Mangioni:
mGNN: Generalizing the Graph Neural Networks to the Multilayer Case. CoRR abs/2109.10119 (2021) - [i9]Marco Grassia, Giuseppe Mangioni:
wsGAT: Weighted and Signed Graph Attention Networks for Link Prediction. CoRR abs/2109.11519 (2021) - 2020
- [j25]Giuseppe Mangioni, Giuseppe Jurman, Manlio De Domenico:
Multilayer Flows in Molecular Networks Identify Biological Modules in the Human Proteome. IEEE Trans. Netw. Sci. Eng. 7(1): 411-420 (2020) - [j24]Alessia Amelio, Giuseppe Mangioni, Andrea Tagarelli:
Modularity in Multilayer Networks Using Redundancy-Based Resolution and Projection-Based Inter-Layer Coupling. IEEE Trans. Netw. Sci. Eng. 7(3): 1198-1214 (2020) - [c57]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Maria Laura Previti:
Credibility-based Model for News Spreading on Online Social Networks. COMPLEXIS 2020: 34-42 - [c56]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Natalia Trapani:
Wind Farms Maintenance Optimization Using a Pickup and Delivery VRP Algorithm. ISM@FedCSIS 2020: 67-86 - [c55]Vincenza Carchiolo, Francesco Di Dio, Alessandro Longheu, Giuseppe Mangioni, Natalia Trapani, Michele Malgeri, Antonio Romeo:
Pick-up & Deliver in Maintenance Management of Renewable Energy Power Plants. FedCSIS 2020: 579-585 - [c54]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A network-based analysis to understand food-habits of a multi-company canteen's customers. iiWAS 2020: 352-356
2010 – 2019
- 2019
- [c53]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A Social Inspired Broker for M2M Protocols. COMPLEXIS 2019: 101-105 - [c52]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Smart Topic Sharing in IoT Platform Based on a Social Inspired Broker. IDC 2019: 48-55 - [c51]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Strategies Comparison in Link Building Problem. IDC 2019: 197-202 - [c50]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Managing Privacy in a Social Broker Internet of Thing. IDCS 2019: 338-348 - [c49]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A PageRank Inspired Approach to Measure Network Cohesiveness. IDCS 2019: 349-356 - [i8]Alessia Amelio, Giuseppe Mangioni, Andrea Tagarelli:
Modularity in Multilayer Networks using Redundancy-based Resolution and Projection-based Inter-Layer Coupling. CoRR abs/1906.12204 (2019) - 2018
- [j23]Luiz G. A. Alves, Giuseppe Mangioni, Francisco Aparecido Rodrigues, Pietro Panzarasa, Yamir Moreno:
Unfolding the Complexity of the Global Value Chain: Strength and Entropy in the Single-Layer, Multiplex, and Multi-Layer International Trade Networks. Entropy 20(12): 909 (2018) - [j22]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Black hole metric: Overcoming the pagerank normalization problem. Inf. Sci. 438: 58-72 (2018) - [c48]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Long Distance In-Links for Ranking Enhancement. IDC 2018: 3-10 - [c47]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Maria Laura Previti:
Terrorism and War: Twitter Cascade Analysis. IDC 2018: 309-318 - [c46]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Climbing Ranking Position via Long-Distance Backlinks. IDCS 2018: 100-108 - [c45]Vincenza Carchiolo, Marco Grassia, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Exploiting Long Distance Connections to Strengthen Network Robustness. IDCS 2018: 270-277 - [i7]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Black Hole Metric: Overcoming the PageRank Normalization Problem. CoRR abs/1802.05453 (2018) - 2017
- [j21]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Network size and topology impact on trust-based ranking. Int. J. Bio Inspired Comput. 10(2): 119-126 (2017) - [j20]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Direct trust assignment using social reputation and aging. J. Ambient Intell. Humaniz. Comput. 8(2): 167-175 (2017) - [c44]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, M. Previti:
Introducing Credibility to Model News Spreading. COMPLEX NETWORKS 2017: 980-988 - [c43]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, M. Previti:
Post Sharing-Based Credibility Network for Social Network. IDC 2017: 149-158 - 2016
- [c42]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Evaluating the community partition quality of a network with a genetic programming approach. COMPLEX NETWORKS 2016: 299-308 - [c41]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Dealing with the Best Attachment Problem via Heuristics. IDC 2016: 205-214 - [i6]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Communities unfolding in multislice networks. CoRR abs/1604.00491 (2016) - 2015
- [j19]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The Cost of Trust in the Dynamics of Best Attachment. Comput. Informatics 34(1): 167-184 (2015) - [j18]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Searching for experts in a context-aware recommendation network. Comput. Hum. Behav. 51: 1086-1091 (2015) - [c40]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Multisource agent-based healthcare data gathering. FedCSIS 2015: 1723-1729 - [c39]Marco Buzzanca, Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Social-Based Arcs Weight Assignment in Trust Networks. IDC 2015: 143-152 - [e4]Giuseppe Mangioni, Filippo Simini, Stephen Miles Uzzo, Dashun Wang:
Complex Networks VI - Proceedings of the 6th Workshop on Complex Networks CompleNet 2015, New York City, USA, March 25-27, 2015. Studies in Computational Intelligence 597, Springer 2015, ISBN 978-3-319-16111-2 [contents] - 2014
- [j17]Alessandro Longheu, Vincenza Carchiolo, Giuseppe Mangioni, Michele Malgeri:
Virtualization for Effective Risk-Free Network Security Assessment. Int. J. Online Eng. 10(5): 21-28 (2014) - [j16]Gourab Ghoshal, Giuseppe Mangioni, Ronaldo Menezes, Julia Poncela-Casasnovas:
Social system as complex networks. Soc. Netw. Anal. Min. 4(1): 238 (2014) - [c38]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The Effect of Topology on the Attachment Process in Trust Networks. IDC 2014: 377-382 - [c37]Simone Bonarrigo, Vincenza Carchiolo, Alessandro Longheu, Mark Loria, Michele Malgeri, Giuseppe Mangioni:
A Carpooling Open Application with Social Oriented Reward Mechanism. IDCS 2014: 447-456 - 2013
- [j15]Vincenza Carchiolo, Alessandro Longheu, Vincenzo Di Martino, Michele Malgeri, Giuseppe Mangioni:
Connecting relatives in virtual worlds: The kinship networks. Concurr. Eng. Res. Appl. 21(3): 217-226 (2013) - [j14]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Users' attachment in trust networks: reputation vs. effort. Int. J. Bio Inspired Comput. 5(4): 199-209 (2013) - [c36]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A Heuristic to Explore Trust Networks Dynamics. IDC 2013: 67-76 - 2012
- [j13]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Trust assessment: a personalized, distributed, and secure approach. Concurr. Comput. Pract. Exp. 24(6): 605-617 (2012) - [j12]Alessandro Longheu, Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
An Intelligent and Pervasive Surveillance System for Home Security. Int. J. Comput. Commun. Control 7(2): 312-324 (2012) - [c35]Giuseppe Mangioni, Antonio Lima:
A Growing Model for Scale-Free Networks Embedded in Hyperbolic Metric Spaces. CompleNet 2012: 9-17 - [c34]Vincenza Carchiolo, Vincenzo Di Martino, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Crafting Kinship Networks by Exploring Acquaintances Relationships. IDC 2012: 181-186 - [c33]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The Effects of Pre-trusted Peers Misbehaviour on EigenTrust. IDC 2012: 187-197 - 2011
- [c32]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Gain the Best Reputation in Trust Networks. IDC 2011: 213-218 - [c31]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The Relevance of Context in Trust Networks. WSKS 2011: 592-600 - [e3]Luciano da F. Costa, Alexandre G. Evsukoff, Giuseppe Mangioni, Ronaldo Menezes:
Complex Networks - Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers. Communications in Computer and Information Science 116, Springer 2011, ISBN 978-3-642-25500-7 [contents] - 2010
- [j11]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Context-based Global Expertise in Recommendation Systems. Informatica (Slovenia) 34(4): 409-417 (2010) - [j10]Costin Badica, Giuseppe Mangioni, Shahram Rahimi:
Intelligent distributed information systems. Inf. Sci. 180(10): 1779-1780 (2010) - [j9]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
An adaptive overlay network inspired by social behaviour. J. Parallel Distributed Comput. 70(3): 282-295 (2010) - [c30]Matteo Barigozzi, Giorgio Fagiolo, Giuseppe Mangioni:
Community Structure in the Multi-network of International Trade. CompleNet 2010: 163-175 - [c29]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Communities Unfolding in Multislice Networks. CompleNet 2010: 187-195 - [c28]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A Distributed Algorithm for Personalized Trust Evaluation in Social Networks. IDC 2010: 99-108 - [c27]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Danilo Torrisi:
Pervasive Home Security: An Intelligent Domotics Application. IDC 2010: 155-164 - [i5]Matteo Barigozzi, Giorgio Fagiolo, Giuseppe Mangioni:
Identifying the Community Structure of the International-Trade Multi Network. CoRR abs/1009.1731 (2010)
2000 – 2009
- 2009
- [c26]Dario Fiumicello, Alessandro Longheu, Giuseppe Mangioni:
Discovering Community Structure on Large Networks Using a Grid Computing Environment. CompleNet 2009: 63-71 - [c25]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Advertising and Discovering Trusted Resources within a P2P-Based Architecture. ICALT 2009: 109-111 - [c24]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The Assessment of Expertise in Social Networks. IDC 2009: 53-62 - [c23]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
The effect of malicious peers in a gossip-based reputation system. ICIS 2009: 201-205 - [c22]Vincenza Carchiolo, Antonio Lima, Giuseppe Mangioni:
Resource advertising in PROSA P2P network. IPDPS 2009: 1-7 - [e2]Santo Fortunato, Giuseppe Mangioni, Ronaldo Menezes, Vincenzo Nicosia:
Complex Networks - Results of the 2009 International Workshop on Complex Networks, CompleNet 2009, Catania, Italy. Studies in Computational Intelligence 207, 2009, ISBN 978-3-642-01205-1 [contents] - [i4]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Search for overlapped communities by parallel genetic algorithms. CoRR abs/0912.0913 (2009) - 2008
- [j8]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Emerging structures of P2P networks induced by social relationships. Comput. Commun. 31(3): 620-628 (2008) - [j7]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
The Dilemma of Trust: a Social Network Based Approach. Scalable Comput. Pract. Exp. 9(1) (2008) - [c21]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Trusting Evaluation by Social Reputation. IDC 2008: 75-84 - [c20]Vincenza Carchiolo, Alessandro Longheu, Giuseppe Mangioni, Vincenzo Nicosia:
Adaptive E-Learning: An Architecture Based on PROSAP2P Network. IEA/AIE 2008: 777-786 - [c19]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 - [e1]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. Studies in Computational Intelligence 162, Springer 2008, ISBN 978-3-540-85256-8 [contents] - 2007
- [j6]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
A model for a web-based learning system. Inf. Syst. Frontiers 9(2-3): 267-282 (2007) - [j5]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Fast Information Retrieval in a Self-Organising P2P Network. J. Comput. 2(5): 75-81 (2007) - [c18]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Applying Social Behaviours to Model Trusting. IDC 2007: 105-114 - [c17]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
An Approach to Trust Based on Social Networks. WISE 2007: 50-61 - [i3]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) - [i2]Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Michele Malgeri:
Efficient Searching and Retrieval of Documents in PROSA. CoRR abs/cs/0702126 (2007) - [i1]Vincenzo Nicosia, Giuseppe Mangioni, Vincenza Carchiolo, Michele Malgeri:
Exploiting social networks dynamics for P2P resource organisation. CoRR abs/cs/0702127 (2007) - 2006
- [c16]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
PROSA: P2P Resource Organisation by Social Acquaintances. AP2PC 2006: 135-142 - [c15]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Efficient Searching and Retrieval of Documents in PROSA. DBISP2P 2006: 298-309 - [c14]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Exploiting Social Networks Dynamics for P2P Resource Organisation. ISCIS 2006: 726-734 - [c13]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Evaluating the Dynamic Behaviour of PROSA P2P Network. ISPA 2006: 904-915 - [c12]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Self-Organisation of Resources in PROSA P2P Network. SelfMan 2006: 171-174 - [c11]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni, Vincenzo Nicosia:
Social Behaviours in P2P Systems: An Efficient Algorithm for Resource Organisation. WETICE 2006: 65-72 - 2004
- [c10]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Using Web-Based Personalized Learning System in Academic Context. CIT 2004: 328-332 - 2003
- [j4]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
TTL: a modular language for hardware/software systems design. J. Comput. Syst. Sci. 66(2): 293-315 (2003) - [j3]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
A Tool for Performance Evaluation in a Formal Codesign Framework. Simul. 79(9): 494-514 (2003) - [c9]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Courses Personalization in an E-Learning Environment. ICALT 2003: 252-253 - [c8]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Automatic generation of learning paths. ICECS 2003: 1236-1239 - [c7]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
From Specification to Hardware Device: A Synthesis Algorithm. ICFEM 2003: 665-681 - [c6]Vincenza Carchiolo, Alessandro Longheu, Michele Malgeri, Giuseppe Mangioni:
Courses Modeling in E-learning Context. ISCIS 2003: 19-26 - [c5]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 - 2000
- [j2]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) - [c4]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Using a Formal Framework for Agent System Design. FAABS 2000: 308-317 - [c3]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Implementing a Distributed Server Using Mobile Agent Technology. ISCC 2000: 630-634
1990 – 1999
- 1998
- [j1]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Formal Codesign Methodology with Multistep Partitioning. VLSI Design 7(4): 401-423 (1998) - 1997
- [c2]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
Approach to the Synthesis of HW and SW in Codesign. CODES 1997: 173-177 - [c1]Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni:
An algorithm for direct synthesis of formal specifications. IEEE International Workshop on Rapid System Prototyping 1997: 28-38
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint