1
Assuntos:
“...CTL Time Logic...”
Verificação de modelos em redes de petri orientadas a objetos.
Dissertação
2
Assuntos:
“...Time (Law)...”
O acesso à justiça e a efetividade da tutela jurisdicional sob a ótica das técnicas sumarizantes do procedimento
Dissertação
3
Assuntos:
“...Time (Law)...”
Alteração de prazo dos contratos de concessão de serviços públicos como forma de recomposição de seu equilíbrio econômico-financeiro
Dissertação
4
Assuntos:
“...Time (Law)...”
O impacto da produção antecipada de provas para a obtenção da duração razoável do processo
Dissertação
5
6
Assuntos:
“...time (law)...”
As medidas de urgência como elemento de avaliação da duração razoável de um processo temporalmente justo
Dissertação
7
Assuntos:
“...Time (Law)...”
Premissas para um direito fundamental do executado à razoável duração do processo
Dissertação
8
Assuntos:
“...Time (Law)...”
O direito à razoável duração do processo e os impactos econômicos da morosidade processual nos negócios empresariais
Dissertação
9
Assuntos:
“...Time (Law) - Brazil...”
Fim da delegação constitucional em matéria previdenciária: racionalização com a competência unificada na Justiça Federal
Dissertação
10
Assuntos:
“...Time (Law)...”
Cumprimento de obrigações de pagar em tutela provisória: técnicas para o cumprimento de decisões urgentes
Tese
11
Assuntos:
“...Time (Law)...”
Um quilombo contestado : análise sobre o processo de demarcação de terras quilombolas
Dissertação
12
Assuntos:
“...time (Law)...”
A concessão da tutela antecipada em face de sua postulação implícita
Dissertação
13
14
Assuntos:
“...Linear Time Logic - LTL...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
15
Assuntos:
“...Time Logic...”
Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.
Tese
16
17
18
“... plan, the study pointed out to leisure time ruled by the kairós time logic and, therefore, representing...”
Sentidos e significados de tempo de lazer na atualidade: estudo com jovens belo-horizontinos
Tese
19
“... time logic – features flexibility not only for porting these processes but also allows and facilitates...”
Estudo exploratório de processos de transformação sonora a partir de Trevor Wishart: reinvenção e tradução para o ambiente SuperCollider
Dissertação
20
“... the violence arising from real-time logic jeopardizes the conditions for recognition in this...”
Comunicação, violência e reconhecimento na civilização mediática avançada: a comunicação em tempo real como lógica problematizadora das relações intersubjetivas na vida social drom...
Tese