Ada95 Cited in 277 Documents (1979–2023) Software Authors: Jean Ichbiah Related Software: Modula; Eiffel; Smalltalk; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); …
Esterel Cited in 137 Documents (1985–2023) Software Authors: Gérard Berry Related Software: SIGNAL; LUSTRE; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …
PPL Cited in 108 Documents (2002–2023) Software Authors: Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. Related Software: HyTech; Apron; ASTREE; … Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
SIGNAL Cited in 50 Documents (1987–2020) Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul Related Software: Esterel; LUSTRE; Ptolemy; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
SCADE Cited in 14 Documents (2001–2019) Software Authors: Berry, Gérard; Esterel Technologies Related Software: Simulink; Esterel; LUSTRE; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
PSync Cited in 9 Documents (2016–2023) Software Authors: Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien Related Software: Verdi; SPIN; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
BSGP Cited in 2 Documents (2011) Software Authors: Hou, Q.; Zhou, K.; Guo, B. Related Software: CUDA; BSPlib; hiCUDA; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
TimeSquare Cited in 3 Documents (2015–2016) Software Authors: Julien DeAntoni, Frédéric Mallet Related Software: Esterel; Uppaal; SIGNAL; … Main Fields: Computer science (68-XX)
CHR.js Cited in 2 Documents (2020) Software Authors: Falco Nogatz; Thom Frühwirth; Dietmar Seipel Related Software: FACTORIE; PAKCS; Church; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Wysteria Cited in 3 Documents (2016–2022) Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Related Software: Sharemind; EasyUC; HyCC; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
GRL Cited in 1 Document (2016) Software Authors: Jebali F, Lang F, Mateescu R Related Software: E-LOTOS; AADL; LNT2LOTOS; … Main Fields: Computer science (68-XX)
ooMILP Cited in 1 Document (2006) Software Authors: Tsiakis, Panagiotis; Keeping, Benjamin Related Software: – Main Fields: Operations research, mathematical programming (90-XX)