default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHoratiu Cirstea
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i4]Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz:
Validating Traces of Distributed Programs Against TLA+ Specifications. CoRR abs/2404.16075 (2024)- 2023
- [c33]Horatiu Cirstea, Stephan Merz:
Extending PlusCal for Modeling Distributed Algorithms. iFM 2023: 321-340 - [c32]Mathieu d'Aquin
, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian:
Combining representation formalisms for reasoning upon mathematical knowledge. K-CAP 2023: 180-187 - [c31]Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC 2023: 1-4 - 2021
- [c30]Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Static analysis of pattern-free properties. PPDP 2021: 9:1-9:13 - 2020
- [c29]Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Pattern Eliminating Transformations. LOPSTR 2020: 74-92 - [c28]Horatiu Cirstea, Alexis Grall, Dominique Méry:
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS 2020: 110-124
2010 – 2019
- 2019
- [c27]Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. PPDP 2019: 8:1-8:12 - [i3]Horatiu Cirstea, Pierre-Etienne Moreau:
Generic Encodings of Constructor Rewriting Systems. CoRR abs/1905.06233 (2019) - 2018
- [e3]Horatiu Cirstea, David Sabel:
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. EPTCS 265, 2018 [contents] - 2017
- [j8]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
Faithful (meta-)encodings of programmable strategies into term rewriting systems. Log. Methods Comput. Sci. 13(4) (2017) - [e2]Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents] - [i2]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
Faithful (meta-)encodings of programmable strategies into term rewriting systems. CoRR abs/1705.08632 (2017) - 2015
- [c26]Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau:
A faithful encoding of programmable strategies into term rewriting systems. RTA 2015: 74-88 - [c25]Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea:
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC 2015: 47-54 - 2011
- [c24]Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner:
Formal Specification and Validation of Security Policies. FPS 2011: 148-163 - [c23]Tony Bourdier, Horatiu Cirstea:
Symbolic analysis of network security policies using rewrite systems. PPDP 2011: 77-88 - 2010
- [b2]Horatiu Cirstea:
Le calcul de réécriture. (The rewriting calculus). Nancy 2 University, France, 2010 - [j7]Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau:
Anti-patterns for rule-based languages. J. Symb. Comput. 45(5): 523-550 (2010)
2000 – 2009
- 2009
- [c22]Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
TomML: A Rule Language for Structured Data. RuleML 2009: 262-271 - [c21]Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner:
Extensional and Intensional Strategies. WRS 2009: 1-19 - 2008
- [j6]Horatiu Cirstea, Maribel Fernández:
Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. 18(3): 427-429 (2008) - [c20]Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira:
Rewrite Based Specification of Access Control Policies. SecReT@LICS/CSF 2008: 37-54 - 2007
- [j5]Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-calculus of explicit constraint application. High. Order Symb. Comput. 20(1-2): 37-72 (2007) - [j4]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17(3): 363-406 (2007) - [c19]Horatiu Cirstea, Germain Faure:
Confluence of Pattern-Based Calculi. RTA 2007: 78-92 - [c18]Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. WRS@RDP 2007: 111-127 - 2006
- [j3]Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. 19(4): 345-376 (2006) - [c17]Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus. WRS@FLoC 2006: 39-56 - [c16]Horatiu Cirstea, Clément Houtmann, Benjamin Wack:
Distributive rho-calculus. WRLA 2006: 95-111 - [e1]Horatiu Cirstea, Narciso Martí-Oliet:
Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005. Electronic Notes in Theoretical Computer Science 147(1), Elsevier 2006 [contents] - 2005
- [c15]Horatiu Cirstea, Narciso Martí-Oliet:
Preface. RULE@RDP 2005: 1-3 - 2004
- [c14]Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs. TERMGRAPH 2004: 21-41 - [c13]Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-Calculus of Explicit Constraint Application. WRLA 2004: 51-67 - [c12]Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
Rule-based Programming in Java For Protocol Verification. WRLA 2004: 209-227 - 2003
- [c11]Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Pure patterns type systems. POPL 2003: 250-261 - [c10]Horatiu Cirstea, Luigi Liquori, Benjamin Wack:
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES 2003: 147-161 - [c9]Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Translating Combinatory Reduction Systems into the Rewriting Calculus. RULE@RDP 2003: 28-44 - [c8]Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack:
Rewrite strategies in the rewriting calculus. WRS 2003: 593-624 - 2002
- [c7]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Rewriting Calculus with(out) Types. WRLA 2002: 3-19 - 2001
- [j2]Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part I. Log. J. IGPL 9(3): 339-375 (2001) - [j1]Horatiu Cirstea, Claude Kirchner:
The rewriting calculus - Part II. Log. J. IGPL 9(3): 377-410 (2001) - [c6]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
The Rho Cube. FoSSaCS 2001: 168-183 - [c5]Horatiu Cirstea:
Specifying Authentication Protocols Using Rewriting and Strategies. PADL 2001: 138-152 - [c4]Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
Matching Power. RTA 2001: 77-92 - 2000
- [b1]Horatiu Cirstea:
Calcul de réécriture : fondements et applications. Henri Poincaré University, Nancy, France, 2000 - [c3]Horatiu Cirstea, Claude Kirchner:
The simply typed rewriting calculus. WRLA 2000: 24-42 - [i1]Horatiu Cirstea:
Rewriting Calculus: Foundations and Applications. CoRR cs.SC/0011043 (2000)
1990 – 1999
- 1998
- [c2]Horatiu Cirstea, Claude Kirchner:
The Rewriting Calculus as a Semantics of ELAN. ASIAN 1998: 84-85 - [c1]Horatiu Cirstea, Claude Kirchner:
Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. FroCoS 1998: 95-120
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-10-07 22:10 CEST 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:
