http://budapest.rkbexplorer.com/id/pub-ref-6df660cd5cbc4dfa11b076ba87625f11
has-title: The Computer Journal
type: Publication-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-7e4ffc8ca06ec9a2a8db1dec512d097c
has-title: Model Checking of Replication Management
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#7
has-page-numbers: 7-8
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-810fc9184d60c721dfbf814a6328045e
full-name: A Lovrencic
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-a8e1dbffe8966345c140db2817dd175f
full-name: P Domokos
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-2fd8c7418576b7c708d2cb14eab607ca
full-name: G Rozenberg
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-2589f6b8d1f285edac99bc7569320a15
full-name: Hussmann H S Cook
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#6
type: Conference-Proceedings-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#2002
has-title: Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002), April 17-19, Brno, Czech Republic

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#12
has-title: Proc. ICGT 2002: 1st International Conference on Graph Transformation
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-da42a93fa7eb7e16bb05f71752ae30af
full-name: P Knirsch
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-73f33975d490c9fad866108c945c54bf
full-name: J Sziray
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-e0e9b47c38811d9eb80687bca398988f
has-title: Towards Dependability Modeling of FT-CORBA Architectures
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#5
has-page-numbers: 121-139
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-11ef6e19135b794633c689c53f31ef0f
full-name: A Darvas
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-4c260337eae7385de9e4b024c847f04a
full-name: Z Kotasek
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-aa255f31f5668c8c501dd3aedce29811
full-name: Sz. Gyapay
full-name: S Gyapay
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-05066381aaa45b24e2242b86b7108c2e
has-title: Automatic Program Generation for and by Model Transformation Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#9
has-page-numbers: 161--173
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-60e5de9c85d2fca1d719b529a3327596
full-name: W Emmerich
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-f8384aa7493dd462924b1c6ab65fb7cf
full-name: F Friedler
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-4e493f78266dfc2f9c2d93be21cb4985
has-title: Operation Research Methods in Petri Net--Based Analysis of IT Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#3
has-page-numbers: 36
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-aa54bbeb6a322d016b654d9f809a8380
full-name: H J Kreowski
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-6cc984d3e854d8b15cb2d954fcf43d44
full-name: T Mens
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#17
has-title: EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-602269bffdc8e3a39791313dc8b2a7dd
full-name: A SchÃ¼rr
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/article-6866e8197618ed4f8e6140f70bfe5b5c
has-number: 2
type: Thing
has-volume: 44
has-date: http://www.aktors.org/ontology/date#2002
has-page-numbers: 205--227
has-title: Designing the Automatic Transformation of Visual Languages
type: Article-Reference

http://budapest.rkbexplorer.com/id/person-4ebd8cb7bf7860dfdbd759359a4331cd
full-name: T Jones
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#5
has-title: Dependable Computing -- EDCC-4. Proc. 4th European Dependable Computing Conference, Toulouse, France, 23-25 October
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#11
has-title: Proc. Fifth International Conference on the Unified Modeling Language -- The Language and its Applications
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-b195e55c9b9eedf6b9d5df500b0ca9c2
full-name: D Wile
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-f8c32a6a54928dce9771fc92dcbf71fa
full-name: E J Marinissen
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-74d3ffed0801bfc3057e085dec681266
full-name: Zs. Pap
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-53d5b46394dbbfaea6244929d4d08f7a
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#6
type: Proceedings-Paper-Reference
has-page-numbers: 70-77
has-date: http://www.aktors.org/ontology/date#2002
has-title: Verification of UML Statechart Models of Embedded Systems

http://budapest.rkbexplorer.com/id/person-9fb5f3ec41694834ef0593e090bc52b6
full-name: B Straube
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-598e86697b4967c610f1520a98496954
full-name: G Taentzer
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#16
has-title: Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-e119fc61afde106a1c2a6adfea47ba5a
has-title: Towards Formal Verification of Model Transformations
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#10
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-8ab6431dc3b18e9584fe3743ed3b89e8
full-name: I Majzik
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-51d1596984020091f31fc8cd42086d31
full-name: G Huszerl
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-3863deb930e5a6cdbe87e0feaa0d494a
full-name: J M Jezequel
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-2b5948fec74e0e872ae435cf9eebe70c
full-name: H Ehrig
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-1756bf494c805426d4f4dc1bce5e4f2c
full-name: M Dal Cin
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#4
has-title: 6th IEEE International Conference on Intelligent Engineering Systems
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#10
has-title: PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/article-315bf295efbfe592f47ac116e7bc5ce1
has-date: http://www.aktors.org/ontology/date#2002
type: Article-Reference
has-title: Quantitative Analysis of UML Statechart Models of Dependable Systems
type: Thing
has-volume: 45
has-page-numbers: 260-277
has-number: 3

http://budapest.rkbexplorer.com/id/inproceedings-8d1b82003ffc470afc9a5fc50ae18d94
type: Proceedings-Paper-Reference
has-title: Formal Verification of Model Transformation Systems
has-page-numbers: 15--16
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#17
has-date: http://www.aktors.org/ontology/date#2002

http://budapest.rkbexplorer.com/id/person-7ac10b1331fc278a92920e2fc79a7708
full-name: P Bottoni
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-eb85f7bfbe54c3ad373ce3b69a5338fc
full-name: G Salamon
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-a71bc2c0ce641869bc2e5d5a0ca39f2d
full-name: P Thevenod-Fosse
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-c63f55e5ccf2b1bdf026c10c88eeb5ec
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#4
has-date: http://www.aktors.org/ontology/date#2002
has-title: Petri Net-Based Optimization of Production systems
has-page-numbers: 465--469
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-eef601270c4e283644f6b26348a4d9ca
full-name: O Novak
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-35fd9537749263d292740770ffc8a87b
has-title: Towards Symbolic Analysis of Visual Modelling Languages
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#13
has-page-numbers: 57--70
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#9
has-title: Proc. AGT 2002: Workshop on Applied Graph Transformation
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#15
has-title: Proc. GraBaTs 2002, International Workshop on Graph-Based Tools
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#3
has-title: The Third Conference of PhD Students in Computer Science
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-000e5901da74fb3061e3dbfb8adcefda
full-name: R Heckel
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-3a8083586cdb5a164356ef8bded3bf29
type: Thing
has-page-numbers: 267--270
has-title: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models
has-date: http://www.aktors.org/ontology/date#2002
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#14
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/pub-ref-38edcabd9a2ab40daef91a46697d5527
has-title: Science of Computer Programming
type: Publication-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-c903c8db1611fbecf3de47e2f937e209
has-title: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#11
has-page-numbers: 18--33
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://www.aktors.org/ontology/date#2002
year-of: 2002
has-pretty-name: 2002
type: Calendar-Date
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

http://budapest.rkbexplorer.com/id/person-79f621fd488e2fa9a3500158644fe858
full-name: I J Rudas
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-2380e76eb82597dd50f4ac35794323c9
full-name: J Hlavicka
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-a215279131628fc5df43795db9f48f49
full-name: M Minas
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-7e99fd21bb5865365054808081cb5227
has-title: A Formal Semantics of UML Statecharts by Model Transition Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#12
has-page-numbers: 378--392
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-5f4af5a1ab371d845c3a91d0ab4b6e04
has-title: A Pattern-Based Constraint Language for Metamodels
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#16
has-page-numbers: 109
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-60246a91b882c17d6f108e3f6977509a
full-name: Gy. CsertÃ¡n
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-f6265d0ff6769b6b215236beab66b461
full-name: J Richardson
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#8
has-title: Proc. NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services (Grenoble, France, October 4, 2002)
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#14
has-title: Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-dbd860685c43a7df1099758d76c46540
has-title: An Open Visualization Framework for Metamodel-Based Modeling Languages
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#15
has-page-numbers: 78--87
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-93efa4522c263b762c280a7bbcb4e41a
full-name: H Kopetz
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-3d391672d2eb9c53e326a67cfbf9f26d
full-name: R Ruzicka
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-9241af1d4413ecdf4e188c373e1e5aec
full-name: B BenyÃ³
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-9e9cad6047f96f7332ecd58c17c5c4dc
full-name: G VarrÃ³
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#2
has-title: Proc. ICGT 2002: 1st International Conference on Graph Transformation
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-4a316f7cca207a338340f4912e040b6e
full-name: D VarrÃ³
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-b280ca8bf657979e4fa5b2aed41208b7
has-title: Towards Graph Transformation With Time
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#1
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-0eae26b92535edf8537257d195f5e5d3
full-name: A Pataricza
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-bf9da1ca83a9390492acc296e5a28613
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#2
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
has-page-numbers: 120--134
type: Thing
has-title: Graph Transformation with Time: Causality and Logical Clocks

http://budapest.rkbexplorer.com/id/inproceedings-c19b647e1197fbf6868c67b7518f6077
has-title: TCP/IP on top of TTP/C
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#8
has-page-numbers: 55-67
has-date: http://www.aktors.org/ontology/date#2002
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-d3cd608a882d8c8137a4a3b7e58fce30
full-name: T Csendes
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-cdfb56f56021ab5d27bff847fb913022
full-name: A Bondavalli
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#7
has-title: Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference, Toulouse, France, October 23-25
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#13
has-title: Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-d2ceeceb4b34236b8ff0334a7c44c4d6
full-name: K Kosmidis
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-c323598f320c561204dca035e9a5497e
full-name: A Corradini
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-7a4d9351d42016b6047b82893e631f72
full-name: Di F Giandomenico
type: Person
type: Thing

Publication export from Budapest University of Technology and Economics
creator: ReSIST Project
creator: Hugh Glaser
description: This ontology contains information detailing publications held by Budapest University of Technology and Economics
type: Thing
type: Ontology
imports: extension
imports: portal

http://lodlaundromat.org/.well-known/genid/f4f924972c90daaa9726f4e88c3c9cbb#1
has-title: Proc. AGT 2002: Workshop on Applied Graph Transformation
has-date: http://www.aktors.org/ontology/date#2002
type: Conference-Proceedings-Reference
type: Thing