Máté Kovács

According to our database1, Máté Kovács authored at least 25 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A BERT-based Approach to Alleviate Civic Tech Tools Overcrowding: A case study of Taiwan's JOIN e-petition system.
Proceedings of the 25th Annual International Conference on Digital Government Research, 2024

A Multi-Label Classifier for Online Petition Systems.
Proceedings of the 25th Annual International Conference on Digital Government Research, 2024

2023
Few-Shot Learning for Character Recognition in Persian Historical Documents.
Proceedings of the Machine Learning, Optimization, and Data Science, 2023

Diffusion-Based Data Augmentation for Skin Disease Classification: Impact Across Original Medical Datasets to Fully Synthetic Images.
Proceedings of the Deep Generative Models - Third MICCAI Workshop, 2023

E-Participation Maturity Model Development based on the Cases of Germany, Japan and Switzerland.
Proceedings of the Joint Proceedings of Ongoing Research, 2023

A Machine Learning Approach to Government Business Process Re-engineering.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2023

2022
Using Open Government Data to Facilitate the Design of Voting Advice Applications.
Proceedings of the Electronic Participation - 14th IFIP WG 8.5 International Conference, 2022

Text Mining from Party Manifestos to Support the Design of Online Voting Advice Applications.
Proceedings of the 9th International Conference on Behavioural and Social Computing, 2022

2021
An Unsupervised Approach for Customer Need Assessment in E-commerce: A Case Study of Japanese Customer Reviews.
Proceedings of the CCIOT 2021: 6th International Conference on Cloud Computing and Internet of Things, Okinawa, Japan, September 22, 2021

2020
Assessing Customer Needs Based On Online Reviews: A Topic Modeling Approach.
Proceedings of the 5th International Workshop on Innovations in Information and Communication Science and Technology, 2020

2019
A Supplementary Feature Set for Sentiment Analysis in Japanese Dialogues.
ACM Trans. Asian Low Resour. Lang. Inf. Process., 2019

Towards Assessing Online Customer Reviews from the Product Designer's Viewpoint.
Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019

2017
Beam-steering all-optical switch for multi-core fibers.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

2015
An Analysis of Universal Information Flow Based on Self-Composition.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014
Interprocedural Information Flow Analysis of XML Processors.
Proceedings of the Language and Automata Theory and Applications, 2014

2013
Information flow security in tree-manipulating processes.
PhD thesis, 2013

Relational abstract interpretation for the verification of 2-hypersafety properties.
Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012
Model Checking Information Flow in Reactive Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Runtime Enforcement of Information Flow Security in Tree Manipulating Processes.
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2010
Information Flow Analysis in Business Processes.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2008
Formal analysis of BPEL. workflows with compensation by model checking.
Comput. Syst. Sci. Eng., 2008

An integrated framework for the dependability evaluation of distributed mobile applications.
Proceedings of the SERENE 2008, 2008

2007
Formal modeling of BPEL workflows including fault and compensation handling.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

2006
Simulation and Formal Analysis of Workflow Models.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Modeling and Verification of Reliable Messaging by Graph Transformation Systems.
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, 2006


  Loading...