-
Social Sciences & Humanities
Education
Luis Allan KÜNZLE; Letícia Mara PERES; Anaceli Barbosa De OLIVEIRA; Bianca Rici FRANCO; Bibinson CELISSAINT et al.
2018.
Desenvolvimento de cursos de capacitação em informática para imigrantes.
In:
10a. semana integrada de ensino; pesquisa e extensão da ufpr.
Brasil.
-
Physical Sciences
Electrical and Electronic Engineering
Miguel Angel De Marchi AMARILLA; Luis Allan KÜNZLE; Franck Carlos Velez BENITO.
2016.
Aplicação da técnica de desdobramento de redes de petri para resolução do problema do menor caminho para uma rede de emergência na segurança pública.
In:
Xxiii simpósio de engenharia de produção - simpep.
Brasil.
-
Physical Sciences
Computer Networks and Communications
Miguel Angel De Marchi AMARILLA; Luis Allan KÜNZLE.
2016.
Aplicação da ferramenta computacional pipe para simular uma rede de petri para resolução do problema do menor caminho para uma rede de emergência hospitalar.
In:
Xxiii simpósio de engenharia de produção - simpep.
Brasil.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Luis Allan KÜNZLE; Maria Suely SOARES; Paulo De Oliveira PERNA; Sandra Mara Alessi MUNTSCH.
2016.
Hospital-escola na uti.
In:
Xiv congreso latinoamericano de medicina social y salud colectiva.
Paraguai.
-
Physical Sciences
Electrical and Electronic Engineering
-
Social Sciences & Humanities
Education
Luis Allan KÜNZLE; Fernanda Da Conceição ZANIN; Paulo De Oliveira PERNA; Nayara Aparecida Da Costa SILVA.
2015.
O processo de reestruturação e expansão precarizada das universidades federais brasileiras: origens e consequências.
In:
Iii seminario nacional de la red estrado - formación y trabajo docente: aportes a la democratización educativa.
Argentina.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Luis Allan KÜNZLE; Paulo De Oliveira PERNA; Sandra Mara ALESSI.
2014.
Política de atenção à saúde e segurança do trabalho do servidor público em questão: o caso da universidade federal do paraná.
In:
Ix seminário do trabalho: trabalho; educação e neodesenvolvimentismo.
Brasil.
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
Fernanda Da Conceição ZANIN; Luis Allan KÜNZLE; Paulo De Oliveira PERNA; Sandra Mara Alessi MUNTSCH.
2014.
Política de atenção à saúde e segurança do trabalho do servidor público no brasil.
In:
Xiii congreso latinoamericano de medicina social y salud colectiva.
El Salvador.
-
Social Sciences & Humanities
Education
Luis Allan KÜNZLE; Lawrence Estivalet De MELLO; Renan GARDONI; Fernanda Da Conceição ZANIN.
2014.
Ebserh: lógica gerencialista e de negócios aplicada aos hospitais universitários brasileiros.
In:
Xiii congreso latinoamericano de medicina social y salud colectiva.
El Salvador.
-
Social Sciences & Humanities
Social Sciences (miscellaneous)
Fernanda Da Conceição ZANIN; Luis Allan KÜNZLE.
2013.
Assédio moral no trabalho no setor público: contextualização em uma universidade pública brasileira.
In:
Ii congreso iberoamericano sobre acoso laboral e institucional- i jornada nacional de salud y ddhh.
Argentina.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Fernanda Da Conceição ZANIN; Luis Allan KÜNZLE; Margarida Maria Silveira BARRETO.
2013.
Institucionalização de comissões de relações interpessoais de trabalho em universidades públicas para casos de violência moral.
In:
Iii seminário catarinense de prevenção ao assédio moral.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Antonio SCHREINER; Marcos CASTILHO; Fabiano SILVA; Razer Anthon Nizer Rojas MONTAÑO; Luis Allan KÜNZLE.
2013.
Planning net with ordination of propositions: an improvement to planning solvers with petri nets.
In:
X encontro nacional de inteligência artificial e computacional - eniac.
Brasil.
-
Physical Sciences
Artificial Intelligence
Anderson Pereira Das NEVES; Fabiano SILVA; Luis Allan KÜNZLE; Marcos CASTILHO.
2013.
Método para verificação de propriedades de redes de petri utilizando resolvedor smt.
In:
X encontro nacional de inteligência artificial e computacional - eniac.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Marcos Antonio SCHREINER; Marcos Alexandre CASTILHO; Luis Allan KÜNZLE.
2012.
The planning net: exploring the petri net flow to improve planning solvers.
In:
Iberamia - ibero‐american conference on artificial intelligence.
Colômbia.
-
Physical Sciences
Artificial Intelligence
Franck Carlos Velez BENITO; Luiz Otávio Das Chagas RÉGIS; Luis Allan KÜNZLE.
2012.
Desdobramento relaxado para redes de petri temporais.
In:
Xix congresso brasileiro de automática ? cba2012.
Brasil.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Joana Alice Ribeiro De FREITAS; Luis Allan KÜNZLE; Raimundo Alberto TOSTES.
2012.
Implantação do reuni na ufpr: consequências no trabalho docente e reflexões e debates para a ação sindical.
In:
Viii seminário do trabalho: trabalho; educação e políticas sociais no século xxi.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Fernanda Da Conceição ZANIN; Joana Alice Ribeiro De FREITAS; Luis Allan KÜNZLE.
2012.
Violência moral e adoecimento de docentes da ufpr em discussão: análise de dados obtidos através de parceria entre psicologia do trabalho e sindicato.
In:
Viii seminário de saúde do trabalhador e vii seminário o trabalho em debate: saúde mental relacionada ao trabalho.
Brasil.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Joana Alice Ribeiro De FREITAS; Luis Allan KÜNZLE.
2012.
Reuni y sus consecuencias en el trabajo y en la salud docente: experiencia de una universidad pública brasileña.
In:
1er congreso internacional y 4to foro de las américas sobre factores psicosociales; estrés y salud en el trabajo.
Colômbia.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Joana Alice Ribeiro De FREITAS; Luis Allan KÜNZLE.
2012.
Acción sindical y salud docente en una universidad pública brasileña.
In:
1er congreso internacional y 4to foro de las américas sobre factores psicosociales; estrés y salud en el trabajo.
Colômbia.
-
Social Sciences & Humanities
Education
Fernanda Da Conceição ZANIN; Joana Alice Ribeiro De FREITAS; Luis Allan KÜNZLE.
2012.
Ação sindical frente a programas de ajuste estrutural nas universidades públicas.
In:
Xii congreso latinoamericano de medicina social y salud colectiva; xviii congreso internacional de políticas de salud; vi congreso de la red américas de actores locales en salud.
Uruguai.
-
Physical Sciences
Artificial Intelligence
Razer Anthon Nizer Rojas MONTAÑO; Marcos CASTILHO; Fabiano SILVA; Luis Allan KÜNZLE.
2011.
Usando redes de petri e resolvedores iscas para tratar planejamento como satisfatibilidade.
In:
Ix encontro nacional de inteligência artificial (csbc 2011 - enia).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Letícia Mara PERES; Luis Allan KÜNZLE; Eduardo TODT.
2010.
Aplicação da análise global de redes de petri temporais no contexto de software embarcado.
In:
Xviii congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Letícia Mara PERES; Luis Allan KÜNZLE; Eduardo TODT.
2010.
Preliminary results of global time petri net analysis applied to embedded software prototyping.
In:
Wtr - 12th brazilian workshop on real-time and embedded systems- brazilian symposium on computer networks and distributed systems (sbrc).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Franciele Carla PETRY; Jorge Luiz SALVI; Fabiano SILVA; Luis Allan KÜNZLE; Marcos CASTILHO.
2009.
Verificação de bloqueios em redes de petri usando planejadores automáticos.
In:
Iv congresso da academia trinacional de ciência.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Letícia Mara PERES; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
2009.
Proposta de um método de verificação de software embarcado de tempo real usando análise de tempo global.
In:
11th brazilian workshop on real-time and embedded systems (wtr 2009).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Marcos CASTILHO; Luis Allan KÜNZLE; Silvio Alexandre PORTO.
2007.
Planejamento aplicado a jogos de computador: uma implementao baseada em redes de tarefas hierárquicas.
In:
Vi enia - encontro nacional de inteligência artificial.
Brasil.
-
Social Sciences & Humanities
Education
Marcos CASTILHO; Luis Allan KÜNZLE; Razer Anthon Nizer Rojas MONTAÑO; Fabiano SILVA.
2007.
Planejamento como satisfatibilidade: uma abordagem não clausal.
In:
Vi enia - encontro nacional de inteligência artificial; 2007.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Cassio CARVALHO; Marcos CASTILHO; Luis Allan KÜNZLE; Fabiano SILVA.
2007.
Gapnet: uma nova abordagem genética para o problema de planejamento em inteligência artificial.
In:
Vi enia - encontro nacional de inteligência artificial.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Nacib Mattar JÚNIOR; Luis Allan KÜNZLE; Fabiano SILVA; Marcos CASTILHO; Lima Evangivaldo A.
2007.
Análise da duração de seqüências de disparos de transições em redes de petri temporais.
In:
Sbai 2007 - viii simpósio brasileiro de automação inteligente.
Brasil.
-
Physical Sciences
Artificial Intelligence
Evangivaldo Almeida LIMA; Ricardo LUDERS; Luis Allan KÜNZLE.
2007.
Uma abordagem unificada para geração de grafos de classes de estados em redes de petri temporais.
In:
Viii simpósio brasileiro de automação inteligente.
Brasil.
-
Physical Sciences
Mathematics (miscellaneous)
Evangivaldo Almeida LIMA; Ricardo LUDERS; Luis Allan KÜNZLE.
2006.
Análise de redes de petri temporais via álgebra intervalar.
In:
Xvi congresso brasileiro de automática.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Malgarete Rodrigues Da COSTA; Luis Allan KÜNZLE.
2005.
Planejamento temporal em inteligência artificial usando rede de petri temporizadas.
In:
Iv seminário nacional de controle e automação.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Fabiano SILVA; Luis Allan KÜNZLE; Marcos CASTILHO.
2005.
Planning as reachability.
In:
Vii brasilian symposium on inteligent automation and ii latin america ieee robotics symposium.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Evangivaldo Almeida LIMA; Ricardo LUDERS; Luis Allan KÜNZLE.
2005.
Análise de redes de petri temporais usando tempo global.
In:
Simpósio brasileiro de automação inteligente-sbai.
Brasil.
-
Physical Sciences
Artificial Intelligence
Erik Eugênio KÜNZLE; Lima Evangivaldo A; Luis Allan KÜNZLE.
2005.
Global time petri net analyzer.
In:
2nd international conference on the quantitative evalution of systems.
Brasil.
-
Physical Sciences
Artificial Intelligence
Valter SCHASTAI; Evangivaldo Almeida LIMA; Luis Allan KÜNZLE.
2004.
Sequence analysis for time petri nets.
In:
7th workshop on discret events systems.
França.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KÜNZLE; Viviane PALODETO; Edson LECHETTA.
2004.
An investigation on genetic algorithms for generic strips planning.
In:
Ix ibero-american conference on artificial intelligence.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Luis Allan KÜNZLE; Fabiano SILVA.
2004.
A petri net based representation for planning problems.
In:
V international conference on knowledge based computer systems.
Índia.
-
Physical Sciences
Computer Science (miscellaneous)
Valter SCHASTAI; Luis Allan KÜNZLE.
2002.
Análise de redes de petri temporais combinando grafo de classes e processos.
In:
Xiv congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Marcos Alexandre CASTILHO; Fabiano SILVA; Luis Allan KUNZLE.
2002.
Petriplan: um novo algoritmo para geracao de planos.
In:
Wtdia 2002 - workshop de teses e dissertacoes em inteligencia artificial.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Jean Marcelo SIMÃO; Paulo Roberto Oliveira Da SILVA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
2001.
Atividades de controle e supervisão assistidas por um simulador de fms.
In:
1o. congresso brasileiro de engenharia de fabricação - cobef.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Jean Marcelo SIMÃO; Paulo Roberto Oliveira Da SILVA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
2001.
Arquitetura de software de controle orientada a regras e agentes para sistemas automatizados de manufatura.
In:
Simpósio brasileiro de automação inteligente.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Jean Marcelo SIMÃO; Paulo Roberto Oliveira Da SILVA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
2001.
Rule and agent oriented software architecture for controlling automated manufacturing systems.
In:
Laptec´2001 - ii congresso de lógica aplicada à tecnologia.
Brasil.
-
Physical Sciences
Computer Science Applications
Luis Felipe Ferreira ROSINHA; André KOSCIANSKI; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
2000.
Arquitetura de simulação flexível com animação gráfica aplicada ao projeto de fms.
In:
Xiii congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Fernando SILVA; Marcos CASTILHO; Luis Allan KÜNZLE.
2000.
Petriplan: a new algorithm for plan generation.
In:
The international joint conference iberamia´2000 - sbia´2000.
Brasil.
-
Physical Sciences
Artificial Intelligence
Temístocles MENDES; Luis Allan KÜNZLE.
2000.
Avaliação temporal de roteiros em redes de petri com paralelismo.
In:
V seminário de iniciação científica do cefet-pr.
Brasil.
-
Physical Sciences
Artificial Intelligence
Brigitte Pradin CHÉZALVIEL; Luis Allan KÜNZLE; François GIRAULT; Robert VALETTE.
1999.
Évaluation temporelle de scénario de réseau de petri incluant du parallélisme.
In:
2e conférence msr´99 - modélisation des systèmes reactifs.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Brigitte Pradin CHÉZALVIEL; Robert VALETTE; Luis Allan KÜNZLE.
1999.
Formalisation de scénarios; réseaux de petri e logique linéaire.
In:
Fac´99 - journées formalisation des activités concurrentes.
França.
-
Physical Sciences
Artificial Intelligence
Brigitte Pradin CHÉZALVIEL; Robert VALETTE; Luis Allan KÜNZLE.
1999.
Scénario duration characterization of t-timed petri nets using linear logic.
In:
Ieee pnpm´99 - 8th international workshop on petri nets and performance models.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
André KOSCIANSKI; Luis Felipe Ferreira ROSINHA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
1999.
Fms design and analysis: developing a simulation environment.
In:
Iee international conference on cad/cam; robotics and factories of the future.
Brasil.
-
Health Sciences
Medicine (miscellaneous)
Luis Allan KÜNZLE; Brigitte Pradin CHÉZALVIEL; Robert VALETTE; Janete CARDOSO.
1996.
Raisonnement temporel pour des systèmes parallèles en vue du diagnostic.
In:
Colloque agi'96 (automatique et génie informatique).
França.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Luis Allan KÜNZLE; Brigitte Pradin CHÉZALVIEL; Robert VALETTE; Janete CARDOSO.
1996.
Raciocínio temporal e diagnóstico em sistemas paralelos.
In:
Xi congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Brigitte Pradin CHÉZALVIEL; François GIRAULT; Luis Allan KÜNZLE; Robert VALETTE.
1995.
Behavioral model diagnosis in manufacturing.
In:
2nd international conference on industrial automation.
França.
-
Physical Sciences
Artificial Intelligence
Janete CARDOSO; Luis Allan KÜNZLE; Robert VALETTE.
1995.
Petri net based reasoning for the diagnosis of dynamic discrete event systems.
In:
Ifsa'95 - 6th international fuzzy systems association world congress.
Brasil.
-
Physical Sciences
Artificial Intelligence
François GIRAULT; Brigitte Pradin CHÉZALVIEL; Luis Allan KÜNZLE; Robert VALETTE.
1995.
Linear logic as a tool for reasoning on a petri net model.
In:
Inria/ieee conference on emerging technologies and factory automation etfa'95.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Luis Allan KÜNZLE; Brigitte Pradin CHÉZALVIEL; François GIRAULT; Robert VALETTE.
1994.
Synthesis of monitoring functions based on a formal specification.
In:
Inria european workshop on integrated manufacturing systems engineering (imse 94).
França.
-
Physical Sciences
Biomedical Engineering
Robert VALETTE; Luis Allan KÜNZLE.
1994.
Réseaux de petri pour la détection et le diagnostic.
In:
Journées d'etude s3; sûreté; surveillance; supervision; détection et localisation de défaillance.
França.
-
Physical Sciences
Engineering (miscellaneous)
Maurizio TAZZA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
1992.
Analytice: ferramenta para projeto e análise de sistemas flexíveis de manufatura.
In:
Ix congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Computer Science Applications
Maurizio TAZZA; Paulo Cezar STADZISZ; Luis Allan KÜNZLE.
1991.
A simulation architecture for flexible manufacturing systems.
In:
Amse - international conference on information and systems.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luis Allan KÜNZLE; Arison SOUZA; Paulo Cezar STADZISZ.
1989.
Uma proposta de ciclo de vida para sistemas flexíveis de manufatura.
In:
Xxii congresso nacional de informática.
Brasil.
-
Physical Sciences
Engineering (miscellaneous)
Claudio MENENDEZ; Luis Allan KÜNZLE.
1989.
Controle de sistemas flexíveis de manufatura: uma abordagem estruturada.
In:
1o. encontro regional de automação e instrumentação.
Brasil.