http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#3
has-title: Veszprm Optimization Conference: Advanced Algorithms
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-c2f0732931496c5a61c6d530c8fe4db7
has-title: High-level Supervision of Program Execution Based on Formal Specification
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#7
has-page-numbers: 292--296
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#10
has-title: Proc. The IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC-2004)
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-7bf7574e5fb2368992d3c5d66df223e1
has-title: Correctness-proven code generation for MDA
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#1
has-page-numbers: 23
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-770dac8e439f9b57c4585ffb496faf93
has-title: Abstract Model-based Checkpoint and Recovery
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#5
has-page-numbers: 96--97
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-4debb6f0d65bef114acd8d366a42c56f
has-title: Graph Transformations in Relational Databases
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#17
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/pub-ref-a1377d47def8890e62fbc26612015fab
has-title: Journal of Software and Systems Modeling
type: Publication-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-b5afc1f3172e2a29d0e98f35c8e4a239
full-name: L Baresi
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/book-section-386abed3772e3968d074097e56d429a6
has-title: UML Modeling of Web Applications
has-date: http://www.aktors.org/ontology/date#2004
type: Book-Section-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#8
has-title: Proc. EUROMICRO'04 Workshop on Component Based Software Engineering
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

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

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#15
has-title: Proc. ICGT 2004: Second International Conference on Graph Transformation
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-5b0de025870dae8c6d2f6de55dcd0d19
full-name: L GÃ¶nczy
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-67636d87cd8049ca18229ec31d414aa2
has-page-numbers: 155-164
type: Thing
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#13
has-title: Style-Based Refinement of Dynamic Software Architectures
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#2
has-title: Volume of Extended Abtsracts of Conference of PhD Students in Computer Science
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/book-e35f1ab5a069aae881d78ebbee335600
has-title: FormÃ¡lis mÃ³dszerek az informatikÃ¡ban - Formal methods in Informatics (in Hungarian)
has-date: http://www.aktors.org/ontology/date#2004
type: Book-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-6544527c6ff3c934719a526b9fea33f5
full-name: S Mellor
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-77bad67e18645559ef5d60a79de1e2b9
full-name: A Strohmeier
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://budapest.rkbexplorer.com/id/inproceedings-22f49ad71b9c44d2f39244a29d847a44
has-title: Model--based Optimization and Verification of IT Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#4
has-page-numbers: 52
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-5b8a276ec86d7e1174d4c4c36efe73e5
has-title: Optimization of Production Nets under Temporal Constraints
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#3
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

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

http://budapest.rkbexplorer.com/id/inproceedings-aefbf6682a49823c1b5fe279cb69df58
has-title: Graph Transformation with Incremental Updates
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#12
has-page-numbers: 71-83
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

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

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#7
has-title: Proc. The International Conference on Dependable Systems and Networks (DSN-2003) Workshop on Architecting Dependable Systems (Supplemental Volume)
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#14
has-title: Proc. UML 2004: 7th International Conference on the Unified Modeling Language
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-93b4ad5c26ddbaf9e374ec616aa4d8b6
full-name: P Dadam
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/publishers-b92325ec8a1b07e8eb8c9414da3025f2
has-title: Prentice Hall
type: Publishing-House
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-8680d13473f6dda5a2ae49798d52b2ab
has-page-numbers: 226--241
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#15
has-date: http://www.aktors.org/ontology/date#2004
has-title: Model Checking Graph Transformations: A Comparison of Two Approaches
type: Thing
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#1
has-title: Conference of PhD Students in Computer Science
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-297d27548ac75af3d06442f2df617c27
has-title: Building Complex Systems of Web Services
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#2
has-page-numbers: 50
has-date: http://www.aktors.org/ontology/date#2004
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-c738e92e6d731aa282ed2692019eb998
full-name: A Rensink
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-fd6aab7212383d9212094f617fe739ad
has-title: Static Safety Analysis of UML Action Semantics for Critical Systems Development
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#16
has-page-numbers: 57-61
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#6
has-title: Proc. The IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2004)
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#13
has-title: Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-79f7c23c7e628e60c73bcb25323fc3d9
full-name: T Bartha
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/person-8ffa56fae0e7e49ff92bf1904d684291
full-name: A Moreira
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-453089183f36db54b4b0e1b92b714168
has-title: Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#8
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

http://budapest.rkbexplorer.com/id/publishers-d20746693d86c246e49cedf86051d756
has-title: Typotex KiadÃ³
type: Publishing-House
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-26c8d73da415b7e9a3a2897de12b20d8
has-title: Modeling and Analysis of Exception Handling techniques by Using UML Statecharts
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#9
has-page-numbers: 69--78
has-date: http://www.aktors.org/ontology/date#2004
type: Proceedings-Paper-Reference
type: Thing

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

http://budapest.rkbexplorer.com/id/article-b31e68710a6289ac1ab83f70af2efd8b
has-volume: 3
has-page-numbers: 85--113
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#2004
has-number: 2
type: Thing
has-title: Automated Formal Verification of Visual Modeling Languages by Model Checking

http://budapest.rkbexplorer.com/id/person-4ce93fbfa5376c5d72e9c247b933c0b2
full-name: P T KovÃ¡cs
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#5
has-title: Volume of Extended Abstracts
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

http://budapest.rkbexplorer.com/id/person-2214f680399dbb09ff88ae60f165f896
full-name: T Baar
type: Person
type: Thing

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

http://budapest.rkbexplorer.com/id/inproceedings-6e5499d2635010bd032402e14ed79d97
has-date: http://www.aktors.org/ontology/date#2004
has-title: UML Based Design of Time Triggered Systems
has-page-numbers: 60--63
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#10
type: Thing
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-fe228edd7e5675d30c959b0227284f8b
has-title: Generic and Meta-Transformations for Model Transformation Engineering
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#14
has-page-numbers: 290--304
has-date: http://www.aktors.org/ontology/date#2004
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-ee2038e19335f476169d3175315b787e
full-name: M Reichert
type: Person
type: Thing

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

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#17
has-title: Proc. GraBaTs 2004: International Workshop on Graph Based Tools
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

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

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

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#4
has-title: Conference of PhD Students in Computer Science
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

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

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

http://budapest.rkbexplorer.com/id/person-4aa50c08ada765381c13d98767a3fa49
full-name: C Garcia
type: Person
type: Thing

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

http://budapest.rkbexplorer.com/id/person-044632c5e1c23b8efe2122c2e1760429
full-name: S ThÃ¶ne
type: Person
type: Thing

http://budapest.rkbexplorer.com/id/inproceedings-782108dd868c2c0a09414331e91c036c
type: Thing
has-title: UML based Visual Design of Embedded Systems
type: Proceedings-Paper-Reference
has-page-numbers: 115--120
has-date: http://www.aktors.org/ontology/date#2004
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#6

http://budapest.rkbexplorer.com/id/inproceedings-f9f5a15e7739ad232cb58ee1009a42fb
type: Proceedings-Paper-Reference
type: Thing
has-title: Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
has-date: http://www.aktors.org/ontology/date#2004
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#11
has-page-numbers: 137-147

http://budapest.rkbexplorer.com/id/person-68fefaf297f2798d6908aa823c9b8a62
full-name: A Balogh
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#9
has-title: Proc. FIDJI 2004 International Workshop on Scientific Engineering of Distributed Java Applications
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing

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

http://budapest.rkbexplorer.com/id/person-41b35eb45db1b7b93b3aacf2c2025e9c
full-name: G PintÃ©r
type: Person
type: Thing

http://lodlaundromat.org/.well-known/genid/04da191d0fd9883563411d017b9c677e#16
has-title: GI Jahrestagung (1)
has-date: http://www.aktors.org/ontology/date#2004
type: Conference-Proceedings-Reference
type: Thing