What is he best known for?
The fields of study he is best known for:
- Programming language
- Operating system
- Algorithm
His scientific interests lie mostly in Petri net, Theoretical computer science, Algorithm, Asynchronous communication and Stochastic Petri net.
His research in Petri net tackles topics such as Formal specification which are related to areas like Protocol.
Jordi Cortadella focuses mostly in the field of Theoretical computer science, narrowing it down to topics relating to Boolean function and, in certain cases, Model checking, Data structure, Interface, Tree traversal and Hierarchy.
His Algorithm research incorporates themes from Domain and Discrete mathematics, Bisimulation.
His Asynchronous communication research is multidisciplinary, relying on both Technology mapping, Correctness, Embedded system, Electronic design automation and Concurrency.
His work deals with themes such as Process architecture, Binary decision diagram and Reachability, which intersect with Stochastic Petri net.
His most cited work include:
- Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers (437 citations)
- Deriving Petri nets from finite transition systems (199 citations)
- Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications (160 citations)
What are the main themes of his work throughout his whole career to date?
Jordi Cortadella focuses on Asynchronous communication, Petri net, Electronic circuit, Algorithm and Parallel computing.
His studies deal with areas such as Asynchronous circuit, Computer engineering, Logic synthesis, Asynchronous system and Electronic design automation as well as Asynchronous communication.
He works mostly in the field of Logic synthesis, limiting it down to topics relating to Digital electronics and, in certain cases, Computer architecture, as a part of the same area of interest.
The study incorporates disciplines such as Theoretical computer science and Concurrency in addition to Petri net.
His Electronic circuit research incorporates elements of Electronic engineering, Design flow, Set and Computation.
His biological study spans a wide range of topics, including Field-programmable gate array, High-level synthesis, Scalability and Software pipelining.
He most often published in these fields:
- Asynchronous communication (31.47%)
- Petri net (26.72%)
- Electronic circuit (25.00%)
What were the highlights of his more recent work (between 2013-2021)?
- Asynchronous communication (31.47%)
- Parallel computing (17.24%)
- Electronic circuit (25.00%)
In recent papers he was focusing on the following fields of study:
His main research concerns Asynchronous communication, Parallel computing, Electronic circuit, Petri net and Electronic engineering.
His Asynchronous communication research is multidisciplinary, incorporating perspectives in Programming language, Synchronous circuit, Simulation and Electronic design automation.
His Parallel computing study combines topics in areas such as Field-programmable gate array, Scalability, Set and Hierarchy.
The Electronic circuit study combines topics in areas such as Clock rate, Jitter and Handshake.
His study on Petri net is covered under Algorithm.
His studies in Electronic engineering integrate themes in fields like Phase-locked loop, Electromigration and Reliability.
Between 2013 and 2021, his most popular works were:
- Metastability in Better-Than-Worst-Case Designs (22 citations)
- Process Discovery Algorithms Using Numerical Abstract Domains (19 citations)
- Ring Oscillator Clocks and Margins (16 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Algorithm
Jordi Cortadella mostly deals with Process modeling, Electronic circuit, Data mining, Electronic engineering and Petri net.
The concepts of his Electronic circuit study are interwoven with issues in Pipeline, Phase-locked loop, Embedded system, Resolution and Scheme.
In general Data mining, his work in Visualization is often linked to Process mining linking many areas of study.
His work carried out in the field of Visualization brings together such families of science as Process, State space and Process architecture.
His Electronic engineering study integrates concerns from other disciplines, such as Synchronous circuit, Delay line oscillator and Clock generator.
He combines topics linked to Concurrency with his work on Petri net.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
