en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Marcial-Romero
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(14)
tags
dblp
No matching items.
Implementing a Knowledge Bases Debugger.
Juan C. Acosta-Guadarrama
,
J. Raymundo Marcial Romero
,
Marcelo Romero
, and
Jorge Hernandez Camacho
.
MICAI Special Sessions,
page 9-14.
IEEE,
(
2012
)
Juan C. Acosta-Guadarrama
,
J. Raymundo Marcial Romero
,
Marcelo Romero
, and
Jorge Hernandez Camacho
.
MICAI Special Sessions,
page 9-14.
IEEE,
(
2012
)
4 months and 2 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Edge covering of acyclic graphs.
J. A. Hernández
,
José Raymundo Marcial-Romero
, and
Guillermo De Ita Luna
.
LA-NMR,
volume 911 of CEUR Workshop Proceedings,
page 63-74.
CEUR-WS.org,
(
2012
)
J. A. Hernández
,
José Raymundo Marcial-Romero
, and
Guillermo De Ita Luna
.
LA-NMR,
volume 911 of CEUR Workshop Proceedings,
page 63-74.
CEUR-WS.org,
(
2012
)
6 months and 20 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT.
José Raymundo Marcial-Romero
,
Alejandra Y. Lucatero
, and
J. A. Hernández
.
LA-NMR,
volume 804 of CEUR Workshop Proceedings,
page 71-82.
CEUR-WS.org,
(
2011
)
José Raymundo Marcial-Romero
,
Alejandra Y. Lucatero
, and
J. A. Hernández
.
LA-NMR,
volume 804 of CEUR Workshop Proceedings,
page 71-82.
CEUR-WS.org,
(
2011
)
6 months and 20 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Functional first order de definability of LRTp.
J. Raymundo Marcial-Romero
, and
J. A. Hernández
.
LA-NMR,
volume 533 of CEUR Workshop Proceedings,
page 40-60.
CEUR-WS.org,
(
2009
)
J. Raymundo Marcial-Romero
, and
J. A. Hernández
.
LA-NMR,
volume 533 of CEUR Workshop Proceedings,
page 40-60.
CEUR-WS.org,
(
2009
)
6 months and 20 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Functional first order definability of LRTP.
José Raymundo Marcial-Romero
, and
José Antonio Hernández
.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
14(48):28-40
(
2010
)
José Raymundo Marcial-Romero
, and
José Antonio Hernández
.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
14(48):28-40
(
2010
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Sequential real number computation and recursive relations.
José Raymundo Marcial-Romero
, and
M. Andrew Moshier
.
Math. Log. Q.
54(5):492-507
(
2008
)
José Raymundo Marcial-Romero
, and
M. Andrew Moshier
.
Math. Log. Q.
54(5):492-507
(
2008
)
10 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Semantics of a sequential language for exact real-number computation.
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
Theor. Comput. Sci.
379(1-2):120-141
(
2007
)
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
Theor. Comput. Sci.
379(1-2):120-141
(
2007
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Sequential Real Number Computation and Recursive Relations.
José Raymundo Marcial-Romero
, and
M. Andrew Moshier
.
Electr. Notes Theor. Comput. Sci.
(
2008
)
José Raymundo Marcial-Romero
, and
M. Andrew Moshier
.
Electr. Notes Theor. Comput. Sci.
(
2008
)
10 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
A Threshold for a Polynomial Solution of #2SAT.
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
, and
José Antonio Hernández
.
Fundam. Inform.
113(1):63-77
(
2011
)
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
, and
José Antonio Hernández
.
Fundam. Inform.
113(1):63-77
(
2011
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computing #2SAT and #2UNSAT by Binary Patterns.
Guillermo De Ita Luna
, and
José Raymundo Marcial-Romero
.
MCPR,
volume 7329 of Lecture Notes in Computer Science,
page 273-282.
Springer,
(
2012
)
Guillermo De Ita Luna
, and
José Raymundo Marcial-Romero
.
MCPR,
volume 7329 of Lecture Notes in Computer Science,
page 273-282.
Springer,
(
2012
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Semantics of a Sequential Language for Exact Real-Number Computation.
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
LICS,
page 426-435.
IEEE Computer Society,
(
2004
)
José Raymundo Marcial-Romero
, and
Martín Hötzel Escardó
.
LICS,
page 426-435.
IEEE Computer Society,
(
2004
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Estimating the relevance on Communication Lines Based on the Number of Edge Covers.
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
, and
Héctor A. Montes Venegas
.
Electronic Notes in Discrete Mathematics
(
2010
)
Guillermo De Ita Luna
,
José Raymundo Marcial-Romero
, and
Héctor A. Montes Venegas
.
Electronic Notes in Discrete Mathematics
(
2010
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Simulator for Teaching Automatas and Formal Languages - FLyA.
José Raymundo Marcial-Romero
,
Pedro A. Alvarez Contreras
,
Héctor A. Montes Venegas
, and
J. Antonio Hernández Servín
.
ICEIS 4,
page 175-178.
(
2009
)
José Raymundo Marcial-Romero
,
Pedro A. Alvarez Contreras
,
Héctor A. Montes Venegas
, and
J. Antonio Hernández Servín
.
ICEIS 4,
page 175-178.
(
2009
)
3 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Evolutionary Path Planner for Multiple Robot Arms.
Héctor A. Montes Venegas
, and
José Raymundo Marcial-Romero
.
EvoWorkshops,
volume 5484 of Lecture Notes in Computer Science,
page 353-362.
Springer,
(
2009
)
Héctor A. Montes Venegas
, and
José Raymundo Marcial-Romero
.
EvoWorkshops,
volume 5484 of Lecture Notes in Computer Science,
page 353-362.
Springer,
(
2009
)
4 years and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact