Carlos Gregorio-Rodríguez

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:g/CGregorioRodriguez · DBLP profile ↗

← Back

11ranked-venue papers

2as first author

0since 2021 · last 2017

0000-0001-7612-899XORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5Applied, interdisciplinary, general and emerging computing · 3Computer networks · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 1 first-authorDatabases, data management, data science and information retrieval · 1Human-computer interaction and ubiquitous computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

1 paper

Logic in computer science · 100%

Topics — the 1 heaviest of 1, each with the papers that count most for it

Topic	Weight	Papers	Last	Evidence papers
Logic in computer science › process algebra process semantics	0.1	1	2009	(Bi)simulations up-to characterise process semantics · Inf. Comput. 2009

Year	Publication	Venue	Position
2017	Logical Characterisations and Compositionality of Input-Output Conformance Simulation Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	SOFSEM	3
2014	Effectiveness for Input Output Conformance Simulation iocos̱ Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres	FORTE	1
2014	Axiomatizing weak simulation semantics over BCCSP Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	Theor. Comput. Sci.	3
2012	The Equational Theory of Weak Complete Simulation Semantics over BCCSP Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	SOFSEM	3
2011	Axiomatizing Weak Ready Simulation Semantics over BCCSP Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	ICTAC	3
2011	Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir	Inf. Process. Lett.	3
2009	On the Unification of Process Semantics: Observational Semantics David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino	SOFSEM	2
2009	(Bi)simulations up-to characterise process semantics David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Inf. Comput.	2
2007	New Bisimulation Semantics for Distributed Systems David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez	FORTE	3
2005	Bisimulations Up-to for the Linear Time Branching Time Spectrum David de Frutos-Escrig, Carlos Gregorio-Rodríguez	CONCUR	2
2001	EXercita: automatic web publishing of programming exercises abstract EXercita is a system designed to archive and publish programming exercises. It consists of a repository of structured documents, each describing an exercise, and several tools to manage it. Documents are marked-up with an extension of LaTeX we have designed, called eXercita, and can be automatically published as PostScript files or Web pages. In addition, exercises can be automatically published as a hierarchical Web site that mirrors the structure of the repository. Carlos Gregorio-Rodríguez, Luis Llana, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue 0001, J. Ángel Velázquez-Iturbide	ITiCSE	1