Luca Tesei

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Roberto Barbuti

> Home > Persons > Luca Tesei

Publications

2011
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/BarbutiMMPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/BarbutiMMPT11
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei:
Spatial P systems. Nat. Comput. 10(1): 3-16 (2011)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1108-3424
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3424
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
A Testing Framework for P Systems. CoRR abs/1108.3424 (2011)
2010
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/BarbutiFT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/BarbutiFT10
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei:
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier. Comput. J. 53(6): 679-700 (2010)
2009
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BarbutiMMT09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BarbutiMMT09a
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
Timed P Automata. Fundam. Informaticae 94(1): 1-19 (2009)
2008
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BarbutiMMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BarbutiMMT09
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei:
Timed P Automata. MeCBIC 2008: 21-36
2004
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BarbutiT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BarbutiT04
Roberto Barbuti, Luca Tesei:
Timed automata with urgent transitions. Acta Informatica 40(5): 317-347 (2004)
[j5]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BarbutiCT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BarbutiCT04
Roberto Barbuti, Stefano Cataudella, Luca Tesei:
Abstract Interpretation Against Races. Fundam. Informaticae 60(1-4): 67-79 (2004)
2003
[j4]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BarbutiT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BarbutiT03
Roberto Barbuti, Luca Tesei:
A Decidable Notion of Timed Non-Interference. Fundam. Informaticae 54(2-3): 137-150 (2003)
2002
[j2]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BarbutiFST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BarbutiFST02
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei:
A Notion of Non-Interference for Timed Automata. Fundam. Informaticae 51(1-2): 1-11 (2002)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/BarbutiTBF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/BarbutiTBF02
Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain. SEKE 2002: 377-382
2001
[j1]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BarbutiFT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BarbutiFT01
Roberto Barbuti, Nicoletta De Francesco, Luca Tesei:
Timed Automata with non-Instantaneous Actions. Fundam. Informaticae 47(3-4): 189-200 (2001)

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.