The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "DataMod"( http://dblp.L3S.de/Venues/DataMod )

URL (DBLP): http://dblp.uni-trier.de/db/conf/datamod

Publication years (Num. hits)
2021 (12) 2022 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
DataMod(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Juliana Bowles, Giovanna Broccia, Roberto Pellungrini (eds.) From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers Search on Bibsonomy DataMod The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Paul Piho, Jane Hillston Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Bowen Li 0005, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Marissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Lucia Nasti, Roberta Gori, Paolo Milazzo Analysis and Verification of Robustness Properties in Becker-Döring Model. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Antonio Cerone Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber A Secure User-Centred Healthcare System: Design and Verification. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hannes Sochor, Flavio Ferrarotti A Refinement Based Algorithm for Learning Program Input Grammars. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink Towards Model Checking Video Streams Using VoxLogicA on GPUs. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Roberto Pellungrini Privacy Risk and Data Utility Assessment on Network Data. Search on Bibsonomy DataMod The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license