|
|
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 |
155 | Alexander 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](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 899-908, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
81 | Alexander Kozlenkov, Michael Schroeder 0001 |
PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, First International Workshop, DILS 2004, Leipzig, Germany, March 25-26, 2004, Proceedings, pp. 17-30, 2004, Springer, 3-540-21300-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Flavio Miyamaru, Leonardo A. F. Leite, André Bertuzzi, Lucia Filgueiras |
Mídia cruzada em serviços de governo: conceito e aplicação. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC ![In: VIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2008), De 21 a 24 de Outubro 2008, Porto Alegre, ANAIS (Proceedings of the VIII Brazilian Symposium on Human Factors in Computing Systems 2008, Porto Alegre, RS, Brazil, October 21-24, 2008), pp. 330-331, 2008, ACM, 978-85-7669-203-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
X-gov, governo eletrônico prova de conceito, mídia cruzada |
62 | Lukas Grätz, Harold Boley, Adrian Paschke |
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
40 | Nibula 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.03613, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Abdullah 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](Pics/bibsonomy.png) |
Int. J. Bus. Intell. Data Min. ![In: Int. J. Bus. Intell. Data Min. 20(4), pp. 440-455, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Jannatul Ferdous Shanu, Ayesha Aziz Prova |
Cervical Cancerous Cell Detection Using Enhanced Classification and Embedded Deep Learning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACIS ![In: Advanced Communication and Intelligent Systems - First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers, pp. 274-280, 2022, Springer, 978-3-031-25087-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Raktim 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](Pics/bibsonomy.png) |
ICCCNT ![In: 12th International Conference on Computing Communication and Networking Technologies, ICCCNT 2021, Kharagpur, India, July 6-8, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-8595-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
40 | Tanhim 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](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2019, Las Vegas, NV, USA, January 11-13, 2019, pp. 1-4, 2019, IEEE, 978-1-5386-7910-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
40 | Arnab 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](Pics/bibsonomy.png) |
FiCloud ![In: 6th IEEE International Conference on Future Internet of Things and Cloud, FiCloud 2018, Barcelona, Spain, August 6-8, 2018, pp. 136-140, 2018, IEEE Computer Society, 978-1-5386-7503-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Theodoros Mitsikas, Ralph Schäfermeier, Adrian Paschke |
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Socionetwork Strateg. ![In: Rev. Socionetwork Strateg. 17(2), pp. 319-340, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Gerhard Kober, Livio Robaldo, Adrian Paschke |
Modeling Medical Guidelines by Prova and SHACL Accessing FHIR/RDF. Use Case: The Medical ABCDE Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
dHealth ![In: dHealth 2022 - Proceedings of the 16th Health Informatics Meets Digital Health Conference, Vienna, Austria, May 24-25, 2022., pp. 59-66, 2022, IOS Press, 978-1-64368-282-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Ralph Schäfermeier, Theodoros Mitsikas, Adrian Paschke |
Modeling a GDPR Compliant Data Wallet Application in Prova and AspectOWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Companion) ![In: Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
31 | Ana Isa Dias Meireles |
A prova digital no processo judicial ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
31 | Gerhard Kober, Adrian Paschke |
Representing and executing a Medical Guideline using Prova. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Gerhard Kober, Adrian Paschke |
Using PROVA-Rule Engine as Dispatching-Service for FHIR-Observation-Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June - 1 July, 2020., pp. 1-9, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
31 | Danilo Guerrera, Antonio Maffia, Helmar Burkhart |
Reproducible stencil compiler benchmarks using prova! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 92, pp. 933-946, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Dimitris Tsolkas, Nikos I. Passas, Lazaros F. Merakos |
ProVa: A proximity validation approach for enhanced device discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: 27th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications, PIMRC 2016, Valencia, Spain, September 4-8, 2016, pp. 1-6, 2016, IEEE, 978-1-5090-3254-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Danilo Guerrera, Helmar Burkhart, Antonio Maffia |
Reproducible Stencil Compiler Benchmarks Using PROVA! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PMBS@SC ![In: 7th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, PMBS@SC 2016, Salt Lake, UT, USA, November 14, 2016, pp. 108-115, 2016, IEEE Computer Society, 978-1-5090-5218-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Adrian Paschke |
Provalets - OSGi-Based Prova Agents for Rule-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences ![In: On the Move to Meaningful Internet Systems: OTM 2015 Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015, Proceedings, pp. 519-526, 2015, Springer, 978-3-319-26147-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | André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](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
31 | Tarciso Aparecido Higino de Carvalho |
A autenticidade da informação no processo de produção de prova testemunhal no inquérito parlamentar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
31 | Marcela Quispe-Cruz |
Alguns resultados en Teoria de Prova Baseado em Grafos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
31 | Haydée Werneck Poubel, Paulo Augusto Silva Veloso |
Sobre o Teorema da Modularização: Importância e uma Prova por Quociente. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBES ![In: Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993., pp. 17-29, 1993, SBC. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Adrian Paschke |
Rule responder HCLS eScience infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPW ![In: Proceedings of the 3rd International Conference on Pragmatic Web, ICPW 2008, Uppsala, Sweden, November 28-30, 2008, pp. 59-67, 2008, ACM, 978-1-60558-354-9. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig |
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPW ![In: Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, Tilburg, The Netherlands, October 22-23, 2007, pp. 17-28, 2007, ACM, 978-1-59593-859-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing |
25 | Benjamin Larry Craig, Harold Boley |
Personal Agents in the Rule Responder Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 150-165, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Gary Hallmark, Christian de Sainte Marie, Marcos Didonet Del Fabro, Patrick Albert, Adrian Paschke |
Please Pass the Rules: A Rule Interchange Demonstration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 227-235, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rule Interchange, Web Rules, General Rule Markup Language, Rule Standard Language |
25 | Benjamin Larry Craig |
The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Advances in Rule Interchange and Applications, International Symposium, RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings, pp. 149-154, 2007, Springer, 978-3-540-75974-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|