Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Verifying Resource Contracts using Code Contracts., , , , and . LAFM, volume 139 of EPTCS, page 1-15. (2013)A finite state intersection approach to propositional satisfiability., and . Theor. Comput. Sci., (2012)Variable and Clause Ordering in an FSA Approach to Propositional Satisfiability., and . CIAA, volume 6807 of Lecture Notes in Computer Science, page 76-87. Springer, (2011)eXtream: a System for Real-time Monitoring of Dynamic Web Sources., , , and . CIRCLE, volume 2621 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Polypus: a Big Data Self-Deployable Architecture for Microblogging Text Extraction and Real-Time Sentiment Analysis., , and . CoRR, (2018)A Micromodule Approach for Building Real-Time Systems with Python-Based Models: Application to Early Risk Detection of Depression on Social Media., , , and . ECIR, volume 10772 of Lecture Notes in Computer Science, page 801-805. Springer, (2018)Ignis: An efficient and scalable multi-language Big Data framework., , and . Future Gener. Comput. Syst., (2020)Real-Time Focused Extraction of Social Media Users., , and . IEEE Access, (2022)Early Risk Detection of Self-Harm and Depression Severity using BERT-based Transformers., , , and . CLEF (Working Notes), volume 2696 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)BERT-Based Transformers for Early Detection of Mental Health Illnesses., , , and . CLEF, volume 12880 of Lecture Notes in Computer Science, page 189-200. Springer, (2021)