http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#8
has-title: Congresso annuale AICA '95
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

person-64f2d528
full-name: B Littlewood
type: Person
type: Thing

book-section-BCDGS95d-PDCS-55
has-title: Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment
edited-by: person-ba750c4a
edited-by: person-a453006f
published-by: publishers-023b51c6
has-author: person-7308a047
type: Thing
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
edited-by: person-64f2d528
edited-by: person-66211d92
has-author: person-e06adc0a
type: Book-Section-Reference
has-author: person-3e1c85eb

person-9422e9bd
full-name: F Grandoni
type: Person
type: Thing

person-ba750c4a
full-name: B Randell
type: Person
type: Thing

book-section-BCDGS95b-PDCS-53
edited-by: person-a453006f
edited-by: person-64f2d528
has-title: Dependability Analysis of Iterative Fault Tolerant Software Considering Correlation
has-author: person-e06adc0a
type: Thing
edited-by: person-ba750c4a
type: Book-Section-Reference
has-author: person-7308a047
published-by: publishers-023b51c6
has-author: person-3e1c85eb
edited-by: person-66211d92
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1995

person-66211d92
full-name: H Kopetz
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#2
has-title: IEEE Int. Computer Performance and Dependability Symposium (IPDS'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#10
has-title: 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

tech-report-DGBX95b-B415-167
has-title: Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
has-author: person-e06adc0a
has-author: person-84ffb74a
type: Technical-Report-Reference
type: Thing

person-17868d48
full-name: C Bernardeschi
type: Person
type: Thing

person-d87ba1a5
full-name: F Tarini
type: Person
type: Thing

inproceedings-BBT95-AICA-39
has-author: person-d87ba1a5
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-57d880bc
type: Proceedings-Paper-Reference
has-page-numbers: 979--986
has-title: Uno Strumento Grafico per la Strutturazione di Applicazioni Tolleranti i Guasti
type: Thing
has-author: person-8428c9cb
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#4

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#7
has-title: 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#1
has-title: Congresso annuale AICA '95
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

person-a453006f
full-name: J C Laprie
type: Person
type: Thing

tech-report-DGBX95-Esprit173-168
has-title: Hardware and Software Fault Tolerance: Adaptive Architectures in Distributed Computing Environments
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
has-author: person-e06adc0a
has-author: person-84ffb74a
type: Technical-Report-Reference
type: Thing

tech-report-BCDGS95-C9541-52
has-title: A Contribution to Dependability Evaluation of Fault-Tolerant, Iterative-Execution Software
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
has-author: person-e06adc0a
has-author: person-3e1c85eb
has-author: person-7308a047
type: Technical-Report-Reference
type: Thing

inproceedings-BBBDGT95-WRTP-29
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1995
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#11
has-author: person-d87ba1a5
type: Thing
has-author: person-ab82f835
has-author: person-e06adc0a
has-author: person-d86a469f
type: Proceedings-Paper-Reference
has-title: Design of Flexible and Dependable Real-Time Applications
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#5

book-section-BSS95-RCS-98
has-title: Adaptable Fault Tolerance for Real-Time Systems
has-author: person-8428c9cb
type: Thing
edited-by: person-7a61847f
edited-by: person-3bd0194b
published-by: publishers-348ba3aa
type: Book-Section-Reference
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-7308a047
has-author: person-56e7eee6

inproceedings-BCDGS95c-IPDS-54
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#2
has-author: person-7308a047
has-page-numbers: 13--21
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#9
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1995
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#6
type: Thing
has-author: person-3e1c85eb
has-author: person-e06adc0a
has-title: Dependability Models for Iterative Software Considering Correlation among Successive Inputs

person-b1437c38
full-name: S La Torre
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#6
has-title: IEEE Int. Computer Performance and Dependability Symposium (IPDS'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

person-3bd0194b
full-name: D Fussell
type: Person
type: Thing

Publication export from University of Pisa
created: 2006-10-25
creator: ReSIST Project
creator: Emiliano Giovannetti
description: This ontology contains information detailing publications held by University of Pisa
type: Thing
type: Ontology
imports: extension
imports: portal

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#5
edited-by: person-9b2daa00
has-title: 20th IFAC-IFIP WRTP'95
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

publishers-348ba3aa
has-title: Kluwer Academic Publishers
type: Publishing-House
type: Thing

inproceedings-BDGBT95-AICA-63
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#8
has-author: person-e06adc0a
has-page-numbers: 202--208
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#1
type: Thing
type: Proceedings-Paper-Reference
has-author: person-d87ba1a5
has-author: person-ab82f835
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
has-title: Un protocollo per la schedulazione distribuita Hard Real-Time

tech-report-BCCDGG95-C9542-40
has-author: person-3e1c85eb
type: Thing
has-author: person-9422e9bd
has-author: person-e06adc0a
has-author: person-48475078
has-title: Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
type: Technical-Report-Reference

person-7308a047
full-name: L Strigini
type: Person
type: Thing

person-84ffb74a
full-name: J Xu
type: Person
type: Thing

person-e06adc0a
full-name: F Di Giandomenico
type: Person
type: Thing

person-d86a469f
full-name: M Bizzarri
type: Person
type: Thing

www.aktors.org
title: Turning Shoe Information to Knowledge of Technology and Deals
site name: Aktors
locale: en_US
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
type: website
type: Thing

article-BBS95-TIS-38
has-author: person-225919aa
has-date: http://www.aktors.org/ontology/date#1995
has-title: Using Process Algebras for the Semantic Analysis of Data Flow Networks
has-author: person-17868d48
type: Article-Reference
article-of-journal: journals-e17a1f27
has-author: person-8428c9cb
has-number: 8
has-page-numbers: 959--968
has-volume: E78-D
type: Thing

person-ab82f835
full-name: P Bizzarri
type: Person
type: Thing

person-9b2daa00
full-name: Pergamon Press
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#4
has-title: Congresso annuale AICA '95
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

person-48475078
full-name: M Cipollone
type: Person
type: Thing

publishers-023b51c6
has-title: Springer-Verlag
type: Publishing-House
type: Thing

book-section-XBDG95-PDCS-130
edited-by: person-66211d92
edited-by: person-a453006f
type: Book-Section-Reference
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1995
type: Thing
has-title: Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software
edited-by: person-64f2d528
published-by: publishers-023b51c6
has-author: person-e06adc0a
has-author: person-84ffb74a
edited-by: person-ba750c4a

http://www.aktors.org/ontology/date#1995
year-of: 1995
has-pretty-name: 1995
type: Calendar-Date
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#9
has-title: IEEE Int. Computer Performance and Dependability Symposium (IPDS'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

person-56e7eee6
full-name: J A Stankovic
type: Person
type: Thing

person-57d880bc
full-name: A Buzzi
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#3
has-title: 14th Int. Conference on Computer Safety, Reliability and Security (SAFECOMP'95)
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

tech-report-LTCDGB95-B424-114
has-title: The Effects of Input Correlation on the Dependability of Iterative Software
has-date: http://www.aktors.org/ontology/date#1995
has-author: person-8428c9cb
has-author: person-e06adc0a
has-author: person-3e1c85eb
has-author: person-b1437c38
type: Technical-Report-Reference
type: Thing

person-7a61847f
full-name: M Malek
type: Person
type: Thing

person-8428c9cb
full-name: A Bondavalli
type: Person
type: Thing

inproceedings-BCDGLT95-SAFECOMP-49
has-title: Dependability of Iterative Software: a Model for Evaluating the Effects of Input Correlation
has-page-numbers: 489--503
has-author: person-3e1c85eb
has-author: person-b1437c38
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#7
has-date: http://www.aktors.org/ontology/date#1995
type: Thing
has-author: person-e06adc0a
type: Proceedings-Paper-Reference
has-author: person-8428c9cb
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#10
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#3

http://lodlaundromat.org/.well-known/genid/60271a95ed617c0226aaadb44ecc8850#11
edited-by: person-9b2daa00
has-title: 20th IFAC-IFIP WRTP'95
has-date: http://www.aktors.org/ontology/date#1995
type: Conference-Proceedings-Reference
type: Thing

pub-ref-e17a1f27
has-title: IEICE Trans. on Information and Systems
type: Publication-Reference
type: Thing

person-3e1c85eb
full-name: S Chiaradonna
type: Person
type: Thing

person-225919aa
full-name: L Simoncini
type: Person
type: Thing