Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Automata Serialization for Manipulation and Drawing

Publicações

Automata Serialization for Manipulation and Drawing

Título
Automata Serialization for Manipulation and Drawing
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2016
Autores
Ferreira, M
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Nelma Moreira
(Autor)
FCUP
Rogério Reis
(Autor)
FCUP
Ata de Conferência Internacional
Páginas: 15:1-15:7
5th Symposium on Languages, Applications and Technologies, SLATE 2016
20 June 2016 through 21 June 2016
Indexação
Publicação em Scopus Scopus - 0 Citações
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
CORDIS: Ciências Físicas > Ciência de computadores
Outras Informações
ID Authenticus: P-00K-K0K
Abstract (EN): GUItar is a GPL-licensed, cross-platform, graphical user interface for automata drawing and manipulation, written in C++ and Qt5. This tool offers support for styling, automatic layouts, several format exports and interface with any foreign finite automata manipulation library that can parse the serialized XML or JSON produced. In this paper we describe a new redesign of the GUItar framework and specially the method used to interface GUItar with automata manipulation libraries. © Miguel Ferreira, Nelma Moreira, and Rogério Reis;licensed under Creative Commons License CC-BY.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs (2018)
Artigo em Livro de Atas de Conferência Internacional
Ferreira, M; Nelma Moreira; Rogério Reis

Das mesmas áreas científicas

On Applying Linear Tabling to Logic Programs (2010)
Tese
MIGUEL AREIAS; Ricardo Rocha
APRIORI Algorithm for Label Ranking (2010)
Tese
Cláudio Sá; Carlos Soares; Joaquim Costa
On the average size of pd automata: an analytic combinatorics approach (2010)
Relatório Técnico
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
On Covering Path Orthogonal Polygons (preliminary version) (2016)
Relatório Técnico
Ana Paula Tomás; Catarina Lobo Ferreira

Ver todas (138)

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-08-30 às 07:25:51 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias