BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Clément Aubert
SearchCollections
Map detail
Clément Aubert13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipClément AubertAClément AubertResearchermwp-Analysis Improvement and Implementation: Realizing Implicit Computational ComplexityWmwp-Analysis Improvemen...preprint / 2022Realizing Implicit Computational ComplexityWRealizing Implicit Comp...preprint / 2022A Novel Loop Fission Technique Inspired by Implicit Computational ComplexityWA Novel Loop Fission Te...preprint / 2022Proceedings 15th Interaction and Concurrency ExperienceWProceedings 15th Intera...preprint / 2022Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-CalculusWBisimulations Respectin...preprint / 2022How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving BisimulationWHow Reversibility Can S...preprint / 2020Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)WStructural Equivalences...preprint / 2020Sublogarithmic uniform Boolean proof netsWSublogarithmic uniform ...preprint / 2012Logic Programming and Logarithmic SpaceWLogic Programming and L...preprint / 2014Characterizing co-NL by a group actionWCharacterizing co-NL by...preprint / 2015Memoization for Unary Logic Programming: Characterizing PTIMEWMemoization for Unary L...preprint / 2015An in-between "implicit" and "explicit" complexity: AutomataWAn in-between "implicit...preprint / 2015
Person12 links

Clément Aubert

Researcher

Papermwp-Analysis Improvement and Implementation: Realizing Implicit Computational ComplexityAuthorship / preprint / 2022PaperRealizing Implicit Computational ComplexityAuthorship / preprint / 2022PaperA Novel Loop Fission Technique Inspired by Implicit Computational ComplexityAuthorship / preprint / 2022PaperProceedings 15th Interaction and Concurrency ExperienceAuthorship / preprint / 2022PaperBisimulations Respecting Duration and Causality for the Non-interleaving Applied ππ-CalculusAuthorship / preprint / 2022PaperHow Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving BisimulationAuthorship / preprint / 2020PaperStructural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)Authorship / preprint / 2020PaperSublogarithmic uniform Boolean proof netsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)