Tiziana Margaria

Name Card

Staff Status
exunigoe
 

1-2 of 2
 
The bibliographical data in your publication list are complete
You can correct existing data in the blue highlighted fields.To do this, please click on the coloured field. It is not possible to delete data here.
Fields that are not marked in colour (e. g. the authors) can be edited using the input form. To do so, click on the in front of the respective publication.
The bibliographic data in your publication list may be incomplete. You can
  • add any missing data in the fields marked in red or
  • correct existing data in the blue highlighted fields.
To do this, please click on the coloured field. It is not possible to delete data here.
Fields that are not marked in colour (e. g. the authors) can be edited using the input form. To do so, click on the in front of the respective publication.
Check/Uncheck all
  • 2006 | Conference Paper
    ​ ​Data-flow analysis as model checking within the jABC​
    Lamprecht, A.-L.; Margaria, T.   & Steffen, B.​ (2006)
    In:Mycroft, Alan; Zeller, Andrea​ (Eds.), ​Compiler construction pp. 101​-104. ​15th International Conference on Compiler Construction​, Vienna.
    Berlin​: Springer.
    ​Details  WoS 
  • 2004 | Conference Paper
    ​ ​Components, features, and agents in the ABC​
    Margaria, T. ​ (2004)
    In:Ryan, Mark D.; Meyer, John-Jules Ch.; Ehrich, Hans-Dieter​ (Eds.), ​Objects, agents, and features pp. 154​-174. ​International Seminar on Objects, Agents, and Features​, Dagstuhl, GERMANY.
    Berlin​: Springer. DOI: https://doi.org/10.1007/978-3-540-25930-5_10 
    ​Details  DOI  WoS 

Publication List

All Conference objects Papers (Journal & Conference)

Type

Date issued

Author

Peer-Reviewed

Language

Fulltext

Options

Citation Style

GRO View APA Chicago MLA Vancouver
https://publications.goettingen-research-online.de URI: /cris/rp/rp96615
ID: 0000000
PREF: default TOKEN:

0

Sort

Issue Date
ASC DESC
Title
ASC DESC

Embed

JavaScript
Link

Export

Activate Export Mode
Deactivate Export Mode

Select some or all items (max. 800 for CSV/Excel) from the publications list, then choose an export format below.