Francisco Supino Marcondes
Francisco Supino Marcondes-
From 2018 to Present
-
At ALGORITMI
- Research Collaborator: PhD Student (Aluno de Doutoramento)
- Member of the CST R&D Line
-
Academic Degree
MSc (Mestrado)
-
Current Position
Other (Outro) at Escola de Engenharia da Universidade do Minho
Personal E-mail
ORCID
FCT Public Key
J801298w7b7W
-
Supervisor
- DInAton with OC2-RD2: A didactic and interactive language for the construction of adaptive automata in active learning environments.Vega, I.S.; Neto, J.J.; Marcondes, F.S.Journal of Ambient Intelligence and Humanized Computing2018
ALGORITMI Members
- Programming Phenomenology: Proof of Concept on Adaptivity.Marcondes, F.S.; Vega, ?.S.; Novais, P.Procedia Computer Science2018
- Chatbot Theory: A Naïve and Elementary Theory for Dialogue Management.Marcondes, F.S.; Almeida, J.J.; Novais, P.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)2018
- DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction.Vega, I.S.; Neto, J.J.; Marcondes, F.S.Procedia Computer Science2017
ALGORITMI Members
- Relationship between state machine and dynamic behavior: Coherence among events and messages.Da Luz, J.G.B.; Supino, F.; De Barros, M.P.; Vega, ?.S.Proceedings of the 9th International Conference on Information Technology, ITNG 20122012
ALGORITMI Members
- A computational teaching approach through the use of a narrative technique and a comic strip.Takeda, M.M.; Marcondes, F.S.; Vega, ?.S.; Gara, E.B.M.; Gaspar&coProceedings of the 9th International Conference on Information Technology, ITNG 20122012
ALGORITMI Members
- An approach for modeling a formal use case type at early development phase without loosing abstraction.Marcondes, F.S.; Vega, I.S.; Dias, L.A.V.Innovations in Systems and Software Engineering2011
ALGORITMI Members
- An algorithm model to mapping mealy machines for a software manufacture cell Petri net.Fernandes, D.D.; Cardoso, F.R.M.; Montini, D.?.; Supino, F.M.; TasinafITNG2010 - 7th International Conference on Information Technology: New Generations2010
ALGORITMI Members
- Formal approach use to choose a software manufactoring cell's SDLC.Montini, D.?.; Fernandes, D.D.; Marcondes, F.S.; Tasinaffo, P.M.; Vega,ITNG2010 - 7th International Conference on Information Technology: New Generations2010
ALGORITMI Members
- Systematic and formal approach to got a domain specific language.Marcondes, F.S.; Tasinaffo, P.M.; Fernandes, D.D.; Vega, I.S.; Montini, D&perITNG 2009 - 6th International Conference on Information Technology: New Generations2009
ALGORITMI Members
- Using GQM hypothesis restriction to infer bayesian network testing.Montini, D.?.; Tasinaffo, P.M.; Cardoso, F.R.M.; Dias, L.A.V.&seITNG 2009 - 6th International Conference on Information Technology: New Generations2009
ALGORITMI Members
- Proposing a formal method to reduce RTS logical model complexity.Marcondes, F.S.; De Menezes Colonese, E.; Dias, L.A.V.; Vega, ?.S.Proceedings - International Conference on Information Technology: New Generations, ITNG 20082008
ALGORITMI Members
| Year | Supervision | Co-Supervision |
|---|
