Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Nicoletta De Francesco

> Home > Persons > Luca Tesei

Publications

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)
2003
[j3]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/FrancescoST03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/FrancescoST03
Nicoletta De Francesco, Antonella Santone, Luca Tesei:
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. Fundam. Informaticae 54(2-3): 195-211 (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)

a service of

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.