J. C. Fernandez

Physics and Astronomy · Physical Sciences

13h-index1.0kcitations36works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Nonlinear Photonic Systems(18), Advanced Fiber Laser Technologies(10), Nonlinear Waves and Solitons(9), Formal Methods in Verification(8), Nonlinear Dynamics and Pattern Formation(8)

Publications36 total

Late-time plasma dynamics in the relativistic transparency regime via self-generated fields
Bulletin of the American Physical Society·2015
The Josephson fluxon mechanics
Lecture notes in physics·2006
Dynamical regimes phase-locked to an external microwave field in a long, unbiased Josephson junction
Lecture notes in physics·2005· 2 cited
Homoclinic chaos in opto-thermal bistable devices
2005
Fine Grain QoS Control for Multimedia Application Software
Design, Automation, and Test in Europe·2005· 12 citedOpen Access
HOT, DENSE, MILLIMETER-SCALE, HIGH-Z PLASMAS FOR LASER-PLASMA INTERACTIONS STUDIES
2000Open Access
CADP a protocol validation and verification toolbox
Lecture notes in computer science·1996· 292 cited
Using on-the-fly verification techniques for the generation of test suites
Lecture notes in computer science·1996· 166 citedOpen Access
An algorithm for reducing binary branchings
Lecture notes in computer science·1995· 9 cited
Model-Based Verification Methods and Tools (Abstract)
Lecture notes in computer science·1994
Soliton dynamics in two-dimensional Josephson tunnel junctions
Physical review. B, Condensed matter·1993· 9 cited
Abstract interpretation and verification of reactive systems
Lecture notes in computer science·1993· 1 cited
Minimal state graph generation
Science of Computer Programming·1992· 92 cited
“On the fly” verification of behavioural equivalences and preorders
Lecture notes in computer science·1992· 101 citedOpen Access
Comparison between electric and magnetic rf drive in long Josephson junctions
Physics Letters A·1991· 6 cited
Safety for branching time semantics
Lecture notes in computer science·1991· 83 cited
Cell-mapping description of coexisting phase-locked soliton states in a long ac-biased Josephson junction
Physical review. B, Condensed matter·1990· 8 cited
Dynamical isoperimeter pattern in the square sine-Gordon system
Physical review. B, Condensed matter·1990· 14 cited
US-Japan Workshop on Field-Reversed Configurations with Steady-State High-Temperature Fusion Plasmas and the 11th US-Japan Workshop on Compact Toroids
University of North Texas Digital Library (University of North Texas)·1990· 2 citedOpen Access
Phase-locked dynamical regimes to an external microwave field in a long, unbiased Josephson junction
Physics Letters A·1990· 9 cited
page 1 of 2Next →

Frequent Co-authors

Gilbert Reinisch(21), Rainer Grauer(5), M. Taki(3), Laurent Mounier(2), Ahmed Bouajjani(2), Joseph Sifakis(2), J. Weiland(2), H. Politano(2), K. Pinnow(2), Г. Филатрелла(2), J. León(2), Hubert Garavel(1), Alain Kerbrat(1), Radu Mateescu(1), Mihaela Sighireanu(1), Claude Jard(1), Thierry Jéron(1), César Viho(1), Nicolas Halbwachs(1), Pascal Raymond(1)