This user account status is Approved
Algoritmi | User | Francisco Supino Marcondes

Francisco Supino Marcondes

Francisco Supino Marcondes

At Algoritmi

Research Collaborator with MSc

Member of the CST R&D Group

Academic Degree

MSc

Current Position

Other at Escola de Engenharia da Universidade do Minho

Personal Webpage

Personal Email

id7515@alunos.uminho.pt

Orcid

0000-0002-2221-2261

Researcher ID

J801298

FCT Public Key

J801298w7b7W

Ciência ID

821F-710C-BE70

Google Scholar

Detection violent behaviors: A survey

Advances in Intelligent Systems and Computing

2021 | book

In-vehicle violence detection in carpooling: A brief survey towards a general surveillance system

Advances in Intelligent Systems and Computing

2021 | book

A Short Survey on Chatbot Technology: Failure in Raising the State of the Art

Distributed Computing and Artificial Intelligence, 16th International Conference

2020 | book-chapter

Fact-Check spreading behavior in twitter: A qualitative profile for false-claim news

Advances in Intelligent Systems and Computing

2020 | book

Review of Trends in Automatic Human Activity Recognition Using Synthetic Audio-Visual Data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020 | book

Structural onomatology for username generation: A partial account

CEUR Workshop Proceedings

2020 | conference-paper

DInAton with OC2-RD2: A didactic and interactive language for the construction of adaptive automata in active learning environments

Journal of Ambient Intelligence and Humanized Computing

2019 | journal-article

Chatbot Theory: A Naïve and Elementary Theory for Dialogue Management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018 | book

Programming Phenomenology: Proof of Concept on Adaptivity

Procedia Computer Science

2018 | conference-paper

DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction

Procedia Computer Science

2017 | conference-paper

A computational teaching approach through the use of a narrative technique and a comic strip

Proceedings of the 9th International Conference on Information Technology, ITNG 2012

2012 | conference-paper

Relationship between state machine and dynamic behavior: Coherence among events and messages

Proceedings of the 9th International Conference on Information Technology, ITNG 2012

2012 | conference-paper

An approach for modeling a formal use case type at early development phase without loosing abstraction

Innovations in Systems and Software Engineering

2011 | journal-article

An algorithm model to mapping mealy machines for a software manufacture cell Petri net

ITNG2010 - 7th International Conference on Information Technology: New Generations

2010 | conference-paper

Formal approach use to choose a software manufactoring cell's SDLC

ITNG2010 - 7th International Conference on Information Technology: New Generations

2010 | conference-paper

Systematic and formal approach to got a domain specific language

ITNG 2009 - 6th International Conference on Information Technology: New Generations

2009 | conference-paper

Using GQM hypothesis restriction to infer bayesian network testing

ITNG 2009 - 6th International Conference on Information Technology: New Generations

2009 | conference-paper

Proposing a formal method to reduce RTS logical model complexity

Proceedings - International Conference on Information Technology: New Generations, ITNG 2008

2008 | conference-paper

Agilidade em Desenvolvimento de Software

Boletim Técnico da Faculdade de Tecnologia de São Paulo

2004 | journal-article

Detection violent behaviors: A survey

Advances in Intelligent Systems and Computing

2021 | book

In-vehicle violence detection in carpooling: A brief survey towards a general surveillance system

Advances in Intelligent Systems and Computing

2021 | book

A Short Survey on Chatbot Technology: Failure in Raising the State of the Art

Distributed Computing and Artificial Intelligence, 16th International Conference

2020 | book-chapter

Fact-Check spreading behavior in twitter: A qualitative profile for false-claim news

Advances in Intelligent Systems and Computing

2020 | book

Review of Trends in Automatic Human Activity Recognition Using Synthetic Audio-Visual Data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2020 | book

Structural onomatology for username generation: A partial account

CEUR Workshop Proceedings

2020 | conference-paper

DInAton with OC2-RD2: A didactic and interactive language for the construction of adaptive automata in active learning environments

Journal of Ambient Intelligence and Humanized Computing

2019 | journal-article

Chatbot Theory: A Naïve and Elementary Theory for Dialogue Management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018 | book

Programming Phenomenology: Proof of Concept on Adaptivity

Procedia Computer Science

2018 | conference-paper

DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction

Procedia Computer Science

2017 | conference-paper

A computational teaching approach through the use of a narrative technique and a comic strip

Proceedings of the 9th International Conference on Information Technology, ITNG 2012

2012 | conference-paper

Relationship between state machine and dynamic behavior: Coherence among events and messages

Proceedings of the 9th International Conference on Information Technology, ITNG 2012

2012 | conference-paper

An approach for modeling a formal use case type at early development phase without loosing abstraction

Innovations in Systems and Software Engineering

2011 | journal-article

An algorithm model to mapping mealy machines for a software manufacture cell Petri net

ITNG2010 - 7th International Conference on Information Technology: New Generations

2010 | conference-paper

Formal approach use to choose a software manufactoring cell's SDLC

ITNG2010 - 7th International Conference on Information Technology: New Generations

2010 | conference-paper

Systematic and formal approach to got a domain specific language

ITNG 2009 - 6th International Conference on Information Technology: New Generations

2009 | conference-paper

Using GQM hypothesis restriction to infer bayesian network testing

ITNG 2009 - 6th International Conference on Information Technology: New Generations

2009 | conference-paper

Proposing a formal method to reduce RTS logical model complexity

Proceedings - International Conference on Information Technology: New Generations, ITNG 2008

2008 | conference-paper

Agilidade em Desenvolvimento de Software

Boletim Técnico da Faculdade de Tecnologia de São Paulo

2004 | journal-article