output
20062026
most citedPolaritons in layered 2D materials

1.3k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014★ 1 cited

Parametrized Invariance for Infinite State Processes

Alejandro Sánchez, César Sánchez

We study the uniform verification problem for infinite state processes, which consists of proving that the parallel composition of an arbitrary number of processes satisfies a temp…