Остановите войну!
for scientists:
default search action
Margherita Napoli
- > Home > Persons > Margherita Napoli
Publications
- 2020
- [j24]Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
Reachability of scope-bounded multistack pushdown systems. Inf. Comput. 275: 104588 (2020) - 2016
- [j23]Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
Scope-Bounded Pushdown Languages. Int. J. Found. Comput. Sci. 27(2): 215-234 (2016) - 2015
- [j22]Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli:
Parametric metric interval temporal logic. Theor. Comput. Sci. 564: 131-148 (2015) - 2014
- [c31]Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
Scope-Bounded Pushdown Languages. Developments in Language Theory 2014: 116-128 - [c30]Salvatore La Torre, Margherita Napoli, Gennaro Parlato:
A Unifying Approach for Multistack Pushdown Automata. MFCS (1) 2014: 377-389 - 2012
- [c28]Salvatore La Torre, Margherita Napoli:
A Temporal Logic for Multi-threaded Programs. IFIP TCS 2012: 225-239 - 2011
- [c26]Salvatore La Torre, Margherita Napoli:
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. CONCUR 2011: 203-218 - 2010
- [c22]Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli:
Parametric Metric Interval Temporal Logic. LATA 2010: 249-260 - 2008
- [j18]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008) - 2007
- [j17]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
The word problem for visibly pushdown languages described by grammars. Formal Methods Syst. Des. 31(3): 265-279 (2007) - [c17]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496 - 2006
- [j16]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO Theor. Informatics Appl. 40(2): 177-206 (2006) - [c16]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109 - 2005
- [j15]Salvatore La Torre, Aniello Murano, Margherita Napoli:
Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005) - [i1]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Various Solutions to the Firing Squad Synchronization Problems. CoRR abs/cs/0511044 (2005) - 2003
- [j14]Salvatore La Torre, Margherita Napoli:
Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003) - [c15]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789 - 2002
- [c13]Salvatore La Torre, Aniello Murano, Margherita Napoli:
Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254 - 2001
- [j13]Salvatore La Torre, Margherita Napoli:
Timed tree automata with an application to temporal logic. Acta Informatica 38(2): 89-116 (2001) - [j12]Salvatore La Torre, Margherita Napoli:
Automata-based Representations for Infinite Graphs. RAIRO Theor. Informatics Appl. 35(4): 311-330 (2001) - [c12]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275 - [c11]Salvatore La Torre, Margherita Napoli:
A Model of Finite Automata on Timed omega-Trees. CATS 2001: 158-173 - 2000
- [j11]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
A compositional approach to synchronize two dimensional networks of processors. RAIRO Theor. Informatics Appl. 34(6): 549-564 (2000) - [c10]Salvatore La Torre, Margherita Napoli:
A Decidable Dense Branching-Time Temporal Logic. FSTTCS 2000: 139-150 - 1998
- [j10]Salvatore La Torre, Margherita Napoli, Domenico Parente:
Synchronization of a Line of Identical Processors at a Given Time. Fundam. Informaticae 34(1-2): 103-128 (1998) - [c9]Salvatore La Torre, Margherita Napoli:
Representing Hyper-Graphs by Regular Languages. MFCS 1998: 571-579 - 1997
- [c8]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of 1-Way Connected Processors. FCT 1997: 293-304 - [c7]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416 - 1996
- [j8]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of One-way Connected Processors. Complex Syst. 10(4) (1996) - [j7]Salvatore La Torre, Margherita Napoli, Domenico Parente:
Parallel Word Substitution. Fundam. Informaticae 27(1): 27-36 (1996)
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 2023-09-28 03:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint