DSpace Repository
Search
Login
español
English
DSpace Home
→
Producción científica y tecnológica
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 10 out of a total of 18 results for community: Producción científica y tecnológica.
(0.072 seconds)
Now showing items 1-10 of 18
1
2
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Especificaciones formales tempranas del comportamiento de sistemas de software
Asteasuain, Fernando
;
Dubinsky, Manuel
;
Díaz, Federico José
;
Lagostena, Juan
(
Red de Universidades con Carreras en Informática
,
2017
)
Algoritmos de regresión lineal aplicados al mantenimiento de un datacenter
D'Angiolo, Federico Gabriel
;
Kwist, Iván Federico
;
Loiseau, Matías
;
Contreras, David Exequiel
;
Asteasuain, Fernando
(
Red de Universidades con Carreras en Informática
,
2019
)
Dynamic Validation of Software Architectural Connectors
Asteasuain, Fernando
;
Graiño, Claudio
;
Dubinsky, Manuel
(
Sociedad Argentina de Informática e Investigación Operativa (SADIO)
,
2016
)
Aplicaciones inteligentes sobre internet de las cosas y grandes volúmenes de datos: un enfoque riguroso
Asteasuain, Fernando
;
D'Angiolo, Federico
;
Dubinsky, Manuel
;
Pazos, Fernando
;
Kwist, Iván
;
Loiseau, Matías
;
Contreras, David
;
Calonge, Federico
(
Red de Universidades con Carreras en Informática
,
2020
)
Algoritmo recursivo de mínimos cuadrados: identificación de modelos de plantas de primer orden para procesos industriales
Rieiro Soñez, Gastón
;
D’Angiolo, Federico Gabriel
;
Asteasuain, Fernando
;
Mayer, Roberto Osvaldo
(
Sociedad Argentina de Informática e Investigación Operativa
,
2020
)
Verification and Behavioral Synthesis of Agent-Based Systems
Asteasuain, Fernando
;
D'Angiolo, Federico
;
Dubinsky, Manuel
;
Gamboa, Pablo Daniel
(
Sociedad Argentina de Informática
,
2020
)
Exploring Architectural Model Checking with Declarative Specifications
Asteasuain, Fernando
;
Tarulla, Francisco
(
Red de Universidades con Carreras en Informática
,
2017
)
Dynamic Building of Software Architectural Connectors View
Asteasuain, Fernando
;
Graiño, Claudio
;
Dubinsky, Manuel
(
Sociedad Argentina de Informática e Investigación Operativa
,
2017
)
Exploring Specification Pattern based Behavioral Synthesis with Scenario Clauses
Asteasuain, Fernando
;
Calonge, Federico
;
Dubinsky, Manuel
(
Red de Universidades con Carreras en Informática
,
2018
)
A Parallel Tableau Algorithm for BIG DATA Verification
Asteasuain, Fernando
;
Rodriguez Caldeira, Luciana
(
Red de Universidades con Carreras en Informática
,
2020
)
Now showing items 1-10 of 18
1
2
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Discover
Author
Asteasuain, Fernando (18)
Dubinsky, Manuel (7)
Calonge, Federico (3)
Rodriguez Caldeira, Luciana (3)
D'Angiolo, Federico (2)
D’Angiolo, Federico Gabriel (2)
Gamboa, Pablo (2)
Graiño, Claudio (2)
Loiseau, Matías (2)
Pazos, Fernando (2)
... View More
Subject
Aspect Orientation (3)
Big data (3)
Formal verification (3)
Behavioral Synthesis (2)
Formal Verification (2)
Inteligencia Artificial (2)
Software Architectures (2)
Software Connectors (2)
Agent-Based Systems (1)
Algoritmo (1)
... View More
Date Issued
2020 (4)
2017 (3)
2016 (2)
2019 (2)
2021 (2)
2022 (2)
2023 (2)
2018 (1)
Has File(s)
No (17)
Yes (1)