Search dblp for Publications

export results for "toc:db/conf/medi/medi2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/medi/0002MS13,
  author       = {Bartosz Zielinski and
                  Pawel Maslanka and
                  Scibor Sobieski},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Allegories for Database Modeling},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {278--289},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_24},
  doi          = {10.1007/978-3-642-41366-7\_24},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/0002MS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Aguilera-MendozaL13,
  author       = {Longendri Aguilera{-}Mendoza and
                  Monica T. Llorente{-}Quesada},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Modeling and Simulation of Hadoop Distributed File System in a Cluster
                  of Workstations},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_1},
  doi          = {10.1007/978-3-642-41366-7\_1},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/Aguilera-MendozaL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BaralisCCGX13,
  author       = {Elena Baralis and
                  Tania Cerquitelli and
                  Silvia Chiusano and
                  Luigi Grimaudo and
                  Xin Xiao},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Analysis of Twitter Data Using a Multiple-level Clustering Strategy},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {13--24},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_2},
  doi          = {10.1007/978-3-642-41366-7\_2},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/BaralisCCGX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BazharOAGJ13,
  author       = {Youness Bazhar and
                  Yassine Ouhammou and
                  Yamine A{\"{\i}}t Ameur and
                  Emmanuel Grolleau and
                  St{\'{e}}phane Jean},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Persistent Meta-Modeling Systems as Heterogeneous Model Repositories},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {25--37},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_3},
  doi          = {10.1007/978-3-642-41366-7\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/BazharOAGJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/CuzzocreaMX13,
  author       = {Alfredo Cuzzocrea and
                  Rim Moussa and
                  Guandong Xu},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {OLAP*: Effectively and Efficiently Supporting Parallel {OLAP} over
                  Big Data},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {38--49},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_4},
  doi          = {10.1007/978-3-642-41366-7\_4},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/CuzzocreaMX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Decker13,
  author       = {Hendrik Decker},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {A Measured Evolution of Database Integrity},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {78--91},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_7},
  doi          = {10.1007/978-3-642-41366-7\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/Decker13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/DiamantiniGP13,
  author       = {Claudia Diamantini and
                  Laura Genga and
                  Domenico Potena},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {A Preliminary Survey on Innovation Process Management Systems},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {92--103},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_8},
  doi          = {10.1007/978-3-642-41366-7\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/DiamantiniGP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/FosciPS13,
  author       = {Paolo Fosci and
                  Giuseppe Psaila and
                  Marcello Di Stefano},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Hints from the Crowd: {A} Novel NoSQL Database},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {118--131},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_10},
  doi          = {10.1007/978-3-642-41366-7\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/FosciPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/GhomariBMD13a,
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Erratum: Towards a Formal Approach for Verifying Temporal Coherence
                  in a {SMIL} Document Presentation},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_25},
  doi          = {10.1007/978-3-642-41366-7\_25},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/GhomariBMD13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Gunopulos13,
  author       = {Dimitrios Gunopulos},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Analyzing Massive Streaming Heterogeneous Data: Towards a New Computing
                  Model for Computational Sustainability},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {147--148},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_12},
  doi          = {10.1007/978-3-642-41366-7\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/Gunopulos13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/HamadacheSF13,
  author       = {Billel Hamadache and
                  Hassina Seridi{-}Bouchelaghem and
                  Nadir Farah},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Toward Expressing a Preliminary Core Identity Significantly Characterized
                  from the Social Network Temporal Dynamicity},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {149--161},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_13},
  doi          = {10.1007/978-3-642-41366-7\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medi/HamadacheSF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/HentechGF13,
  author       = {Houda Hentech and
                  Mohamed Salah Gouider and
                  Amine Farhat},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Clustering Heterogeneous Data Streams with Uncertainty over Sliding
                  Window},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {162--175},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_14},
  doi          = {10.1007/978-3-642-41366-7\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/HentechGF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/JangaD13,
  author       = {Prudhvi Janga and
                  Karen C. Davis},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Schema Extraction and Integration of Heterogeneous {XML} Document
                  Collections},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {176--187},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_15},
  doi          = {10.1007/978-3-642-41366-7\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/JangaD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/KeetF13,
  author       = {C. Maria Keet and
                  Pablo R. Fillottrani},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Structural Entities of an Ontology-Driven Unifying Metamodel for UML,
                  EER, and {ORM2}},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {188--199},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_16},
  doi          = {10.1007/978-3-642-41366-7\_16},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/KeetF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/KhanK13,
  author       = {Zubeida Casmod Khan and
                  C. Maria Keet},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {The Foundational Ontology Library {ROMULUS}},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {200--211},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_17},
  doi          = {10.1007/978-3-642-41366-7\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/KhanK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/MoremediP13,
  author       = {Kobamelo Moremedi and
                  John Andrew van der Poll},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Transforming Formal Specification Constructs into Diagrammatic Notations},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {212--224},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_18},
  doi          = {10.1007/978-3-642-41366-7\_18},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/MoremediP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/NucitaBGPBOMP13,
  author       = {Andrea Nucita and
                  Giuseppe M. Bernava and
                  Pietro Giglio and
                  Marco Peroni and
                  Michelangelo Bartolo and
                  Stefano Orlando and
                  Maria Cristina Marazzi and
                  Leonardo Palombi},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {A Markov Chain Based Model to Predict {HIV/AIDS} Epidemiological Trends},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {225--236},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_19},
  doi          = {10.1007/978-3-642-41366-7\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/NucitaBGPBOMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/OliveiraSB13,
  author       = {Bruno Oliveira and
                  Vasco Santos and
                  Orlando Belo},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Pattern-Based {ETL} Conceptual Modelling},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {237--248},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_20},
  doi          = {10.1007/978-3-642-41366-7\_20},
  timestamp    = {Mon, 06 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/OliveiraSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/PaceNSVS13,
  author       = {J. Andr{\'{e}}s D{\'{\i}}az Pace and
                  Matias Nicoletti and
                  Silvia N. Schiaffino and
                  Christian Villavicencio and
                  Luis Emiliano Sanchez},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {A Stakeholder-Centric Optimization Strategy for Architectural Documentation},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {104--117},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_9},
  doi          = {10.1007/978-3-642-41366-7\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/PaceNSVS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/PerglSR13,
  author       = {Robert Pergl and
                  Tiago Prince Sales and
                  Zdenek Rybola},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Towards OntoUML for Software Engineering: From Domain Ontology to
                  Implementation Model},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {249--263},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_21},
  doi          = {10.1007/978-3-642-41366-7\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medi/PerglSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Virgilio13,
  author       = {Roberto De Virgilio},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Centrality Indices for Web Search Engine Results Understanding},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {50--64},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_5},
  doi          = {10.1007/978-3-642-41366-7\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/Virgilio13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/VirgilioM13,
  author       = {Roberto De Virgilio and
                  Antonio Maccioni},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Generation of Reliable Randomness via Social Phenomena},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {65--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_6},
  doi          = {10.1007/978-3-642-41366-7\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/VirgilioM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/Vossen13,
  author       = {Gottfried Vossen},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Model Engineering as a Social Activity: The Case of Business Processes},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {264--265},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_22},
  doi          = {10.1007/978-3-642-41366-7\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/Vossen13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/ZalilaCP13,
  author       = {Faiez Zalila and
                  Xavier Cr{\'{e}}gut and
                  Marc Pantel},
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {A Transformation-Driven Approach to Automate Feedback Verification
                  Results},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {266--277},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_23},
  doi          = {10.1007/978-3-642-41366-7\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/ZalilaCP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/medi/2013,
  editor       = {Alfredo Cuzzocrea and
                  Sofian Maabout},
  title        = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41366-7},
  doi          = {10.1007/978-3-642-41366-7},
  isbn         = {978-3-642-41365-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/GhomariBMD13,
  title        = {Towards a Formal Approach for Verifying Temporal Coherence in a {SMIL}
                  Document Presentation},
  booktitle    = {Model and Data Engineering - Third International Conference, {MEDI}
                  2013, Amantea, Italy, September 25-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8216},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2013},
  note         = {Withdrawn.},
  url          = {https://doi.org/10.1007/978-3-642-41366-7\_11},
  doi          = {10.1007/978-3-642-41366-7\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medi/GhomariBMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics