Ada95 Software Authors: Jean Ichbiah Cited in: 274 Publications (1979–2022) Related Software: Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
Esterel Software Authors: Gérard Berry Cited in: 137 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; SPIN; ULM; Simulink; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
ASTREE Software Authors: Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival Cited in: 108 Publications (2002–2021) Related Software: Apron; PPL; z3; Coq; Octagon; BLAST; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)
SIGNAL Software Authors: Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul Cited in: 48 Publications (1987–2018) Related Software: Esterel; LUSTRE; Ptolemy; Polychrony; Simulink; Coq; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
LUSTRE Software Authors: Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A. Cited in: 38 Publications (1992–2018) Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
CC-Pi Software Authors: Maria Grazia Buscemi, Ugo Montanari Cited in: 28 Publications (2007–2022) Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
GroupKit Software Authors: Roseman M.; Greenberg S. Cited in: 2 Publications (2003–2009) Related Software: DECAF; PlanEdit; KLAIM; MarCaSPiS; COWS; SAS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
future Software Authors: Henrik Bengtsson Cited in: 2 Publications (2021) Related Software: R; ggplot2; doFuture; foreach; rjags; Scikit; … Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
ULM Software Authors: Gérard Boudol Cited in: 10 Publications (2004–2011) Related Software: Esterel; SugarCubes; JoCaml; Modechart; Freshml; Pict; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
TILOS Software Authors: Fishburn JP, Dunlop AE Cited in: 6 Publications (2005–2022) Related Software: JiffyTune; LANCELOT; Mosek; GGPLAB; Ipopt; LOQO; … Main Fields: Combinatorics (05-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)
PROCOL Software Authors: van den Bos, Jan; Laffa, Chris Cited in: 7 Publications (1991–2002) Related Software: AspectJ; PICCOLA; JAsCo; Rapide; Simula 67; Eiffel; … Main Fields: Computer science (68-XX)
Quartz Software Authors: Schneider, K. Cited in: 8 Publications (2002–2017) Related Software: Esterel; StateFlow; Modelica; UNITY; HOL; Zelus; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)
PSync Software Authors: Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien Cited in: 6 Publications (2016–2021) Related Software: Verdi; Ivy; SPIN; ByMC; z3; Distal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Zelus Software Authors: Timothy Bourke, Marc Pouzet Cited in: 6 Publications (2013–2023) Related Software: StateFlow; Simulink; Esterel; Ptolemy; Cayuga; Apache Spark; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
BSGP Software Authors: Hou, Q.; Zhou, K.; Guo, B. Cited in: 2 Publications (2011) Related Software: CUDA; BSPlib; hiCUDA; APS; GLift; APS-1; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Gunrock Software Authors: Yangzihao Wang, Yuechao Pan, Andrew Davidson, Yuduo Wu, Carl Yang, Leyuan Wang, Muhammad Osama, Chenshan Yuan, Weitang Liu, Andy T. Riffel, John D. Owens Cited in: 3 Publications (2018–2021) Related Software: GitHub; Boost; SNAP; vf3lib; GADDI; TensorFlow; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
BSMLlib Software Authors: Hains, Gaétan; Loulergue; Frédéric Cited in: 3 Publications (2002–2007) Related Software: OCaml; eSkel; Eden; SKIPPER; BSPlib Main Fields: Computer science (68-XX)
CHR.js Software Authors: Falco Nogatz; Thom Frühwirth; Dietmar Seipel Cited in: 2 Publications (2020) Related Software: FACTORIE; PAKCS; Church; FlatCurry; EasyCheck; KiCS2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MulticoreBSP Software Authors: A. N. Yzelman, R. H. Bisseling, D. Roose, K. Meerbergen Cited in: 3 Publications (2019–2022) Related Software: BSPedupack; BSPonMPI; BSPlib; AllDifferent; GitHub; Gecode; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Ocelot Software Authors: Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N. Cited in: 2 Publications (2013–2015) Related Software: CUDA; OpenCL; Chromium; gem5; Multi2sim; MCMG; … Main Fields: Computer science (68-XX)
Wysteria Software Authors: Rastogi, A., Hammer, M.A., Hicks, M. Cited in: 3 Publications (2016–2022) Related Software: Sharemind; EasyUC; HyCC; JIFF; Links; Hop; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)
ac2lus Software Authors: Altisen K, Moy M Cited in: 2 Publications (2014–2016) Related Software: CATS; COINC; LUSTRE; gem5; LLVM; Uppaal; … Main Fields: Computer science (68-XX)
Gopherlyzer Software Authors: Kai Stadtmüller, Martin Sulzmann, Peter Thiemann Cited in: 2 Publications (2016) Related Software: go; GitHub; TyPiCal; RacerX; SPEC; BPGen; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
H-BSP Software Authors: Cha, Hojung; Lee, Dongho Cited in: 2 Publications (2001–2018) Related Software: – Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
HAL_ Software Authors: Chris Houck , Gul Agha Cited in: 2 Publications (1992–2000) Related Software: Python; CHARM++; Oz; PROCOL; Ada95 Main Fields: Computer science (68-XX)
ADEES Software Authors: Vargas-Solar, Genoveva; Collet, Christine Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
Clash Software Authors: – Cited in: 1 Publication (2021) Related Software: AutoSA; PYNQ; PyRTL; SYCL; PyMTL3; HeteroCL; … Main Fields: Computer science (68-XX)
LEAP Software Authors: Coletti, Mark A., Eric O. Scott, Jeffrey K. Bassett Cited in: 0 Publications Related Software: DEAP; Keras; PyTorch; NumPy; Pyevolve; Python; … Main Fields: –
ooMILP Software Authors: Tsiakis, Panagiotis; Keeping, Benjamin Cited in: 1 Publication (2006) Related Software: – Main Fields: Operations research, mathematical programming (90-XX)
SJL Software Authors: Motika, Christian; von Hanxleden, Reinhard Cited in: 1 Publication (2015) Related Software: Esterel; LUSTRE Main Fields: Computer science (68-XX)