default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarlos Gregorio-Rodríguez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i1]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR abs/2402.00973 (2024)
2010 – 2019
- 2019
- [j10]Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez
, Luis Llana, Cristóbal Pareja, Adrián Riesco:
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. Interact. Learn. Environ. 27(1): 15-32 (2019) - [j9]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106: 78-106 (2019) - 2018
- [j8]Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
An axiomatic semantics for iocos_ conformance relation. J. Log. Algebraic Methods Program. 100: 152-184 (2018) - 2017
- [c20]Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM 2017: 37-48 - 2015
- [c19]Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Extending mCRL2 with ready simulation and iocos input-output conformance simulation. SAC 2015: 1781-1788 - 2014
- [j7]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing weak simulation semantics over BCCSP. Theor. Comput. Sci. 537: 42-71 (2014) - [c18]Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Effectiveness for Input Output Conformance Simulation iocos̱. FORTE 2014: 100-116 - 2013
- [j6]David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino, David Romero-Hernández:
Unifying the Linear Time-Branching Time Spectrum of Process Semantics. Log. Methods Comput. Sci. 9(2) (2013) - [c17]Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres:
Input-Output Conformance Simulation (iocos) for Model Based Testing. FMOODS/FORTE 2013: 114-129 - 2012
- [c16]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. SOFSEM 2012: 141-152 - 2011
- [j5]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Inf. Process. Lett. 111(9): 408-413 (2011) - [c15]Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir:
Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
2000 – 2009
- 2009
- [j4]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
(Bi)simulations up-to characterise process semantics. Inf. Comput. 207(2): 146-170 (2009) - [j3]David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Ready to preorder: an algebraic and general proof. J. Log. Algebraic Methods Program. 78(7): 539-551 (2009) - [c14]David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
On the Unification of Process Semantics: Observational Semantics. SOFSEM 2009: 279-290 - [c13]David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
On the Unification of Process Semantics: Equational Semantics. MFPS 2009: 243-267 - 2008
- [c12]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Universal Coinductive Characterisations of Process Semantics. IFIP TCS 2008: 397-412 - [c11]David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. FICS 2008: 149-162 - 2007
- [c10]David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez:
New Bisimulation Semantics for Distributed Systems. FORTE 2007: 143-159 - [c9]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Simulations Up-to and Canonical Preorders: (Extended Abstract). SOS@LICS/ICALP 2007: 13-28 - [c8]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. PROLE 2007: 41-58 - 2006
- [j2]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Process Equivalences as Global Bisimulations. J. Univers. Comput. Sci. 12(11): 1521-1550 (2006) - 2005
- [c7]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Bisimulations Up-to for the Linear Time Branching Time Spectrum. CONCUR 2005: 278-292 - 2004
- [c6]David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
Preserving Contexts for Soft Conformance Relation. FATES 2004: 33-48 - 2002
- [j1]Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide, Pedro Palao-Gostanza:
A system to generate electronic books on programming exercises. Electron. Libr. 20(4): 314-321 (2002) - [c5]Carlos Gregorio-Rodríguez, Pedro Palao-Gostanza:
Ergotracer: An Internet User Behaviour Tracer. IICS 2002: 121-132 - 2001
- [c4]Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide:
EXercita: automatic web publishing of programming exercises. ITiCSE 2001: 161-164 - [p1]Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide:
EXercita. A System for Archiving and Publishing Programming Exercises. Computers and Education. Towards an Interconnected Society 2001: 187-197
1990 – 1999
- 1998
- [c3]Carlos Gregorio-Rodríguez, Manuel Núñez:
Denotational Semantics for Probabilistic Refusal Testing. PROBMIV 1998: 111-137 - 1997
- [c2]Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza:
Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367 - 1995
- [c1]Carlos Gregorio-Rodríguez, M. Nunez Garcia, Pedro Palao-Gostanza:
La Potencia Expresiva de los Catamorfismos. GULP-PRODE 1995: 477-484
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
