Jaime Ramírez

2007
18	EE	Emanuele Della Valle, Dario Cerizza, Irene Celino, Jacky Estublier, Germán Vega, Mick Kerrigan, Jaime Ramírez, Boris Villazon, Pascal Guarrera, Gang Zhao, Gabriella Monteleone: SEEMP: Meaningful Service-Based Collaboration Among Labour Market Actors. BIS 2007: 147-162
17		Angélica de Antonio, Jaime Ramírez, Julia Clemente: A proposal for student modelling based on ontologies. EJC 2007: 298-305
16	EE	Emanuele Della Valle, Dario Cerizza, Irene Celino, Jacky Estublier, Germán Vega, Mick Kerrigan, Jaime Ramírez, Boris Villazon, Pascal Guarrera, Gang Zhao, Gabriella Monteleone: SEEMP: An Semantic Interoperability Infrastructure for e-Government Services in the Employment Sector. ESWC 2007: 220-234
15	EE	Asunción Gómez-Pérez, Jaime Ramírez, Boris Villazón-Terrazas: Reusing Human Resources Management Standards for Employment Services. FIRST 2007: 28-41
14	EE	Leticia Sánchez, Ricardo Imbert, Jaime Ramírez: Activity Plan Structure and Processing in Virtual Environments for Training Supported by Intelligent Tutoring Systems. ICALT 2007: 162-164
13	EE	Ricardo Imbert, Leticia Sánchez, Angélica de Antonio, Gonzalo Méndez, Jaime Ramírez: A Multiagent Extension for Virtual Reality Based Intelligent Tutoring Systems. ICALT 2007: 82-84
12	EE	Asunción Gómez-Pérez, Jaime Ramírez, Boris Villazón-Terrazas: An Ontology for Modelling Human Resources Management Based on Standards. KES (1) 2007: 534-541
11	EE	Jaime Ramírez, Angélica de Antonio: Automated Planning and Replanning in an Intelligent Virtual Environments for Training. KES (1) 2007: 765-772
10		Asunción Gómez-Pérez, Jaime Ramírez, Boris Villazón-Terrazas: Methodology for Reusing Human Resources Management Standards. SEKE 2007: 280-285
9	EE	Jaime Ramírez, Angélica de Antonio: Checking the consistency of a hybrid knowledge base system. Knowl.-Based Syst. 20(3): 225-237 (2007)
2005
8	EE	Angélica de Antonio, Jaime Ramírez, Ricardo Imbert, Gonzalo Méndez: Intelligent Virtual Environments for Training: An Agent-Based Approach. CEEMAS 2005: 82-91
7	EE	Jaime Ramírez, Angélica de Antonio: Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols. ESAW 2005: 89-105
6		Jaime Ramírez, Angélica de Antonio: Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. MSVVEIS 2005: 19-28
2004
5	EE	Jaime Ramírez, Angélica de Antonio: Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols. FAABS 2004: 222-237
4		Jaime Ramírez, Angélica de Antonio: Checking Integrity Constraints in Deductive Systems based on Production Rules and a Description Logic Terminology. VVEIS 2004: 84-86
3	EE	Angélica de Antonio, Ricardo Imbert, Jaime Ramírez, Xavier Ferré: Usability issues in the design of an intuitive interface for planning and simulating maintenance interventions using a virtual environment. Virtual Reality 7(3-4): 212-221 (2004)
2001
2		Jaime Ramírez, Angélica de Antonio: Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships. SEKE 2001: 188-195
2000
1	EE	Jaime Ramírez, Angélica de Antonio: Semantic Verification of Rule-Based Systems with Arithmetic Constraints. DEXA 2000: 437-446

Coauthor Index

1	Irene Celino	[16] [18]
2	Dario Cerizza	[16] [18]
3	Julia Clemente	[17]
4	Jacky Estublier	[16] [18]
5	Xavier Ferré (Xavier Ferré Grau)	[3]
6	Asunción Gómez-Pérez	[10] [12] [15]
7	Pascal Guarrera	[16] [18]
8	Ricardo Imbert (R. J. Imbert)	[3] [8] [13] [14]
9	Angélica de Antonio Jiménez (Angélica de Antonio)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [17]
10	Mick Kerrigan	[16] [18]
11	Gonzalo Méndez	[8] [13]
12	Gabriella Monteleone	[16] [18]
13	Leticia Sánchez	[13] [14]
14	Emanuele Della Valle	[16] [18]
15	Germán Vega	[16] [18]
16	Boris Villazon	[16] [18]
17	Boris Villazón-Terrazas	[10] [12] [15]
18	Gang Zhao	[16] [18]

Colors in the list of coauthors