The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for prova with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2016 (15) 2018-2023 (14)
Publication types (Num. hits)
article(4) inproceedings(21) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 5 keywords

Results
Found 35 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
155Alexander Kozlenkov, Rafael Peñaloza, Vivek Nigam, Loïc Royer, Gihan Dawelbait, Michael Schroeder 0001 Prova: Rule-Based Java Scripting for Distributed Web Applications: A Case Study in Bioinformatics. Search on Bibsonomy EDBT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
81Alexander Kozlenkov, Michael Schroeder 0001 PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web. Search on Bibsonomy DILS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
80Flavio Miyamaru, Leonardo A. F. Leite, André Bertuzzi, Lucia Filgueiras Mídia cruzada em serviços de governo: conceito e aplicação. Search on Bibsonomy IHC The full citation details ... 2008 DBLP  BibTeX  RDF X-gov, governo eletrônico prova de conceito, mídia cruzada
62Lukas Grätz, Harold Boley, Adrian Paschke PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2018 DBLP  BibTeX  RDF
40Nibula Bente Rashid, Joyeeta Saha, Raonak Islam Prova, Nowshin Tasfia, Md. Nazrul Huda Shanto, Jannatun Noor Towards Devising A Fund Management System Using Blockchain. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Abdullah Al Imran, Zaman Wahid, Alpana Akhi Prova, Md. Hannan Harnessing the meteorological effect for predicting the retail price of rice in Bangladesh. Search on Bibsonomy Int. J. Bus. Intell. Data Min. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Jannatul Ferdous Shanu, Ayesha Aziz Prova Cervical Cancerous Cell Detection Using Enhanced Classification and Embedded Deep Learning Method. Search on Bibsonomy ICACIS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Raktim Raihan Prova, A. S. M. Rayhan, Rafia Sultana Shilon, Mohammad Monirujjaman Khan A Web and Mobile Based Approach to Redistribute Consumable Food Waste. Search on Bibsonomy ICCCNT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40Tanhim Islam, Tanjir Alam Chisty, Prova Roy, Israt Sahira Rafa, Abdulla Hil Kafi, Raihana Shams Islam Antara Sasthyakathan - A Health Based Social Robot. Search on Bibsonomy ICCE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
40Arnab Debnath, Khadija Tul Kobra, Proteeti Prova Rawshan, Manisha Paramita, Muhammad Nazrul Islam An Explication of Acceptability of Wearable Devices in Context of Bangladesh: A User Study. Search on Bibsonomy FiCloud The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Theodoros Mitsikas, Ralph Schäfermeier, Adrian Paschke Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL. Search on Bibsonomy Rev. Socionetwork Strateg. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
31Gerhard Kober, Livio Robaldo, Adrian Paschke Modeling Medical Guidelines by Prova and SHACL Accessing FHIR/RDF. Use Case: The Medical ABCDE Approach. Search on Bibsonomy dHealth The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
31Ralph Schäfermeier, Theodoros Mitsikas, Adrian Paschke Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL. Search on Bibsonomy RuleML+RR (Companion) The full citation details ... 2022 DBLP  BibTeX  RDF
31Ana Isa Dias Meireles A prova digital no processo judicial Search on Bibsonomy 2022   RDF
31Gerhard Kober, Adrian Paschke Representing and executing a Medical Guideline using Prova. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2021 DBLP  BibTeX  RDF
31Gerhard Kober, Adrian Paschke Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2020 DBLP  BibTeX  RDF
31Danilo Guerrera, Antonio Maffia, Helmar Burkhart Reproducible stencil compiler benchmarks using prova! Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
31Dimitris Tsolkas, Nikos I. Passas, Lazaros F. Merakos ProVa: A proximity validation approach for enhanced device discovery. Search on Bibsonomy PIMRC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Danilo Guerrera, Helmar Burkhart, Antonio Maffia Reproducible Stencil Compiler Benchmarks Using PROVA! Search on Bibsonomy PMBS@SC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
31Adrian Paschke Provalets - OSGi-Based Prova Agents for Rule-Based Data Access. Search on Bibsonomy OTM Conferences The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
31Andréia Fogaça Rodrigues Maricato The impacts of changes in instrumental duties with tax computerization: recording tax credit; and tax-barred evidence (Os impactos das mudanças nos deveres instrumentais com a informatização fiscal: constituição do crédito tributário; prescrição e decadência; e prova tributária). Search on Bibsonomy 2014   RDF
31Tarciso Aparecido Higino de Carvalho A autenticidade da informação no processo de produção de prova testemunhal no inquérito parlamentar. Search on Bibsonomy 2014   RDF
31Marcela Quispe-Cruz Alguns resultados en Teoria de Prova Baseado em Grafos. Search on Bibsonomy 2014   RDF
31Haydée Werneck Poubel, Paulo Augusto Silva Veloso Sobre o Teorema da Modularização: Importância e uma Prova por Quociente. Search on Bibsonomy SBES The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Adrian Paschke Rule responder HCLS eScience infrastructure. Search on Bibsonomy ICPW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF HCLS, Prova, pragmatic agent web, reaction RuleML, representation languages, rule interchange format, multi agent systems, collaboration, coordination, complex event processing, eScience
31Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. Search on Bibsonomy ICPW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing
25Benjamin Larry Craig, Harold Boley Personal Agents in the Rule Responder Architecture. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Gary Hallmark, Christian de Sainte Marie, Marcos Didonet Del Fabro, Patrick Albert, Adrian Paschke Please Pass the Rules: A Rule Interchange Demonstration. Search on Bibsonomy RuleML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rule Interchange, Web Rules, General Rule Markup Language, Rule Standard Language
25Benjamin Larry Craig The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering. Search on Bibsonomy RuleML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #29 of 29 (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