default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincenzo Ambriola
Person information
- affiliation: University of Pisa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2006
[j12]Vincenzo Ambriola, Vincenzo Gervasi
:
On the Systematic Analysis of Natural Language Requirements with C. Autom. Softw. Eng. 13(1): 107-167 (2006)- 2004
- [j11]Vincenzo Ambriola, Alina Kmiecik:
Transformations for Architectual Restructuring. Informatica (Slovenia) 28(2): 117-128 (2004) - 1997
- [j10]Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta:
Assessing Process-Centered Software Engineering Environments. ACM Trans. Softw. Eng. Methodol. 6(3): 283-328 (1997) - 1996
- [j9]Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. Comput. Lang. 22(2/3): 79-93 (1996) - 1995
- [j8]Vincenzo Ambriola, Giovanni A. Cignoni:
A distributed virtual machine to support software process. ACM SIGSOFT Softw. Eng. Notes 20(1): 85-89 (1995) - [j7]Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini:
Declarative Specification of the Architecture of a Software Development Environment. Softw. Pract. Exp. 25(2): 143-174 (1995) - 1991
- [j6]Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco:
Towards innovative software engineering environments. J. Syst. Softw. 14(1): 17-29 (1991) - 1990
- [j5]Vincenzo Ambriola, Lars Bendix, Paolo Ciancarini:
The evolution of configuration management and version control. Softw. Eng. J. 5(6): 303-310 (1990) - 1988
- [j4]Roberto Bisiani, François Lecouat, Vincenzo Ambriola:
A Tool to Coordinate Tools. IEEE Softw. 5(6): 17-25 (1988) - [j3]Vincenzo Ambriola, David Notkin:
Reasoning About Interactive Systems. IEEE Trans. Software Eng. 14(2): 272-276 (1988) - 1985
- [j2]Vincenzo Ambriola, Carlo Montangero:
Automatic generation of execution tools in a GANDALF environment. J. Syst. Softw. 5(2): 155-171 (1985) - [j1]Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
Symbolic Semantics and Program Reduction. IEEE Trans. Software Eng. 11(8): 784-794 (1985)
Conference and Workshop Papers
- 2021
- [c29]Barbara Guidi, Andrea Michienzi, Laura Ricci, Vincenzo Ambriola:
Analysing Dunbar Circles in Facebook Groups. CCNC 2021: 1-6 - 2017
- [c28]Andrea De Salve, Barbara Guidi, Paolo Mori, Laura Ricci, Vincenzo Ambriola:
Privacy and Temporal Aware Allocation of Data in Decentralized Online Social Networks. GPC 2017: 237-251 - 2010
- [c27]Vincenzo Ambriola, Giovanni A. Cignoni:
Software Reuse in Local Public Bodies: Lessons Learned in Tuscany. EGOV 2010: 375-386 - 2005
- [c26]Antonio Cisternino, Diego Colombo, Vincenzo Ambriola, Marco Combetto:
Increasing Decoupling in the Robotics4.NET Framework. PPSDR@ICRA 2005: 307-324 - 2003
- [c25]Vincenzo Ambriola, Silvia Bertagnini, Letizia Pratesi:
Knowledge Management in Public Web Call Centres. KMGov 2003: 192-202 - 2002
- [c24]Vincenzo Ambriola, Alina Kmiecik:
Architectural transformations. SEKE 2002: 275-278 - 2001
- [c23]Vincenzo Ambriola, Robert Mark Greenwood:
8th European workshop on software process technology: report and future directions. ESEC / SIGSOFT FSE 2001: 307-308 - 2000
- [c22]Vincenzo Ambriola, Vincenzo Gervasi:
Process Metrics for Requirements Analysis. EWSPT 2000: 90-95 - 1999
- [c21]Jean-Claude Derniame, Luuk Groenewegen, Vincenzo Ambriola:
Case Study Demonstrating the Wider Applicability of the PSEE Paradigm. Software Process: Principles, Methodology, Technology 1999: 227-244 - 1998
- [c20]Vincenzo Ambriola, Vincenzo Gervasi:
The Case for Cooperative Requirement Writing. ECOOP Workshops 1998: 477-479 - [c19]Vincenzo Ambriola, Vincenzo Gervasi:
Representing structural requirements in software architecture. Systems Implementation 2000 1998: 114-127 - 1997
- [c18]Vincenzo Ambriola, Vincenzo Gervasi:
Processing Natural Language Requirements. ASE 1997: 36-45 - [c17]Vincenzo Ambriola, Vincenzo Gervasi:
An environment for cooperative construction of natural-language requirement bases. SEE 1997: 124-130 - 1995
- [c16]Vincenzo Ambriola, Giovanni A. Cignoni, Christer Fernström:
Current Issues on Integration. EWSPT 1995: 197-199 - [c15]Vincenzo Ambriola, Maria Letizia Jaccheri:
Modeling and measuring software engineering course software process. WCAE@ISCA 1995: 9 - 1994
- [c14]Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
Everything buT Assignment. GULP-PRODE (2) 1994: 132-146 - [c13]Vincenzo Ambriola, Giovanni A. Cignoni, Carlo Montangero:
The Oikos Services for Object Management in the Software Process. EWSPT 1994: 2-14 - [c12]Vincenzo Ambriola, R. di Meglio, Vincenzo Gervasi, B. Mercurio:
Applying a Metric Framework to the Software Process: an Experiment. EWSPT 1994: 207-226 - [c11]Vincenzo Ambriola:
Related Domains Session. EWSPT 1994: 249 - [c10]Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 64-69 - 1992
- [c9]Vincenzo Ambriola, Carlo Montangero:
OIKOS at the Age of Three. EWSPT 1992: 84-93 - 1991
- [c8]Vincenzo Ambriola, Carlo Montangero:
Hierarchical specification of software processes in Oikos. ISPW 1991: 34-36 - 1990
- [c7]Reidar Conradi, Anund Lie, Espen Osjord, Per H. Westby, Vincenzo Ambriola, Maria Letizia Jaccheri, Chunnian Liu:
Software Process Modelling in EPOS. CAiSE 1990: 109-133 - [c6]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
Software processes as a hierarchy. ISPW 1990: 57-60 - [c5]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
The Logic Language ESP and its Programming Environment. LPE 1990: 12-15 - [c4]Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto:
Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. PPoPP 1990: 40-49 - [c3]Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero:
Software process enactment in Oikos. SDE 1990: 183-192 - 1989
- [c2]Vincenzo Ambriola, Lars Bendix:
Object-Oriented Configuration Control. SCM 1989: 133-136 - 1986
- [c1]Vincenzo Ambriola, Giuliano Pacini, Franco Turini:
The Sharing of Partial Results in Nondeterministic Computations. AIMSA 1986: 93-103
Parts in Books or Collections
- 1993
- [p1]Vincenzo Ambriola, Carlo Montangero:
Modeling the Software Development Process. Advances in Software Engineering and Knowledge Engineering 1993: 41-72
Editorship
- 2001
- [e2]Vincenzo Ambriola:
Software Process Technology, 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2077, Springer 2001, ISBN 3-540-42264-1 [contents] - 1993
- [e1]Vincenzo Ambriola, Genoveffa Tortora:
Advances in Software Engineering and Knowledge Engineering. Series on Software Engineering and Knowledge Engineering 2, World Scientific 1993, ISBN 978-981-02-1594-1
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 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
