Uppaal Software Authors: Uppsala University, Sweden; Aalborg University in Denmark Cited in: 541 Publications (1990–2022) Related Software: Kronos; HyTech; SPIN; PRISM; IF-2.0; NuSMV; … Main Fields: (68N99-XX)
Kronos Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine Cited in: 243 Publications (1997–2021) Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; … Main Fields: (68Q60-XX)
IMITATOR Software Authors: André, Étienne Cited in: 31 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: (68Qxx-XX)
TorX Software Authors: Bohnenkamp, Henrik; Belinfante, Axel Cited in: 16 Publications (2005–2021) Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; … Main Fields: (68Q60-XX)
Node.js Software Authors: Chaniotis, Ioannis K.; Kyriakou, Kyriakos-Ioannis D.; Tselikas, Nikolaos D. Cited in: 6 Publications (2017–2022) Related Software: JavaScript; Angular; Traefik; Docker; Synode; npm; … Main Fields: (68M20-XX); (68M11-XX); (68M15-XX)
ASTRAL Software Authors: Buonanno, Giacomo; Coen-Porisini, Alberto; Fornaciari, William Cited in: 16 Publications (1992–2006) Related Software: Kronos; Uppaal; HyTech; MOCHA; TorX; HOL; … Main Fields: (68N15-XX); (68Q60-XX)
GRAMPC Software Authors: Englert, Tobias; Völz, Andreas; Mesmer, Felix; Rhein, Sönke; Graichen, Knut Cited in: 8 Publications (2018–2022) Related Software: VIATOC; ACADO; qpOASES; acados; GitHub; FORCES NLP; … Main Fields: (65K-XX); (35K-XX); (35J-XX)
RAVEN Software Authors: Ruf, Jürgen Cited in: 6 Publications (2001–2004) Related Software: Uppaal; KIV; Esterel; LusSy; UNITY; Polychrony; … Main Fields: (68Q60-XX)
XMPP Software Authors: Jeremie Miller Cited in: 4 Publications (2006–2015) Related Software: Daikon; Dojo; GlassFish; BOINC; Pastry; ZetaSAT; … Main Fields: –
DESH Software Authors: Xiong, Ming; Han, Song; Chen, Deji; Lam, Kam-Yiu; Feng, Shan Cited in: 2 Publications (2010–2012) Related Software: – Main Fields: (68P15-XX); (68M20-XX)
FBstab Software Authors: Liao-McPherson, Dominic; Kolmanovsky, Ilya Cited in: 3 Publications (2020–2022) Related Software: QPALM; OSQP; qpOASES; CHOLMOD; SuperMann; NASOQ; … Main Fields: (93B45-XX); (90C20-XX); (90C25-XX)
MaRTE OS Software Authors: Rivas, Mario Aldea; Harbour, Michael González Cited in: 1 Publication (2001) Related Software: TrueTime; Ptolemy; Torsche; Ada95 Main Fields: (68U99-XX); (68N15-XX); (68M15-XX)
OpenGV Software Authors: Kneip, L.; Furgale, P. Cited in: 3 Publications (2021–2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
OTAWA Software Authors: Ballabriga, Clément; Cassé, Hugues; Rochange, Christine; Sainrat, Pascal Cited in: 1 Publication (2017) Related Software: McAiT; CPAchecker; STP; Smacc; r-TuBound; Stony Brook; … Main Fields: –
Proland Software Authors: Eric Bruneton, Antoine Begault Cited in: 0 Publications Related Software: GLift; CUDA Main Fields: –
M-CASH Software Authors: Pellizzoni, Rodolfo; Caccamo, Marco Cited in: 2 Publications (2008–2009) Related Software: RTSIM Main Fields: (68M20-XX); (68M14-XX); (68M10-XX)
NMPC Software Authors: Alamir, Mazen Cited in: 1 Publication (2012) Related Software: MPC tools; Matlab; ACADO; pdf-mpc Main Fields: (93B40-XX); (93C55-XX); (93C10-XX)
Oris Software Authors: Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico Cited in: 1 Publication (2005) Related Software: TINA; Uppaal; TIMES; TAXYS; Kronos; Romeo Main Fields: Computer science (68-XX)
PARTS Software Authors: Buy, U.; Sloan, R.H. Cited in: 2 Publications (2001–2006) Related Software: Matlab; HyTech; Ada95 Main Fields: (68Q85-XX); (68N01-XX)
PSyHCoS Software Authors: André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song Cited in: 1 Publication (2014) Related Software: PAT; Shrinktech; PPL; Uppaal; HyTech; TREX; … Main Fields: (68M20-XX); (68Q60-XX)
SimHuman Software Authors: Vosinakis, Spyros; Panayiotopoulos, Themis Cited in: 2 Publications (2001) Related Software: – Main Fields: (68U99-XX); (68T99-XX)
Ada.CPU_Time Software Authors: Miranda, Javier; González Harbour, M. Cited in: 1 Publication (2003) Related Software: Ada95 Main Fields: (68U99-XX); (68N15-XX)
advligorts Software Authors: Rolf Bork, Jonathan Hanks, David Barker, Joseph Betzwieser, Jameson Rollins, Keith Thorne, Erik von Reis Cited in: 0 Publications Related Software: EPICS; Simulink; Python; PERL Main Fields: –
AMPS Software Authors: Yeung, Yu-Hong; Pothen, Alex; Crouch, Jessica Cited in: 1 Publication (2020) Related Software: CHOLMOD; Oblio; condest; MKL; SuiteSparse; AIM@SHAPE; … Main Fields: (65F50-XX); (65F10-XX); (65F05-XX)
Contego Software Authors: Hasan, Monowar; Mohan, Sibin; Pellizzoni, Rodolfo; Bobba, Rakesh B. Cited in: 1 Publication (2017) Related Software: – Main Fields: (68M20-XX)
DeepRT Software Authors: Kang, Woochul; Chung, Jaeyong Cited in: 1 Publication (2019) Related Software: GitHub; AlexNet; Model Zoo; TensorRT; ImageNet; Caffe Main Fields: (68T07-XX); (68M20-XX)
ExKaldi-RT Software Authors: Yu Wang, Chee Siang Leow, Akio Kobayashi, Takehito Utsuro, Hiromitsu Nishizaki Cited in: 0 Publications Related Software: TensorFlow; Jasper; PyTorch; PyKaldi; LibriSpeech; GStreamer; … Main Fields: –
HARTEX Software Authors: Angelov, C.K.; Ivanov, I.E.; Burns, A. Cited in: 1 Publication (2002) Related Software: – Main Fields: (68U99-XX); (68M14-XX)
HyperDepth Software Authors: Sean Ryan Fanello; Christoph Rhemann; Vladimir Tankovich; Adarsh Kowdle; Sergio Orts Escolano; David Kim; Shahram Izadi Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
JDiffraction Software Authors: Piedrahita-Quintero, Pablo; Trujillo, Carlos; Garcia-Sucerquia, Jorge Cited in: 1 Publication (2017) Related Software: CUDA Main Fields: (78A45-XX); (65Y05-XX); (65Y15-XX)
ParNMPC Software Authors: Deng, Haoyang; Ohtsuka, Toshiyuki Cited in: 1 Publication (2022) Related Software: FORCES NLP; MATMPC; Pinocchio; VIATOC; GRAMPC; fast_mpc; … Main Fields: Systems theory; control (93-XX)
Pyrad Software Authors: Figueras i Ventura, J., Lainer, M., Schauwecker, Z., Grazioli, J., Germann, U. Cited in: 0 Publications Related Software: BALTRAD; wradlib; Py-ART; Pysteps; SPHINX; Pylint; … Main Fields: –
realTimeAnalysis Software Authors: Korte, Mario; Albers, Karsten; Slomka, Frank Cited in: 1 Publication (2006) Related Software: Maple Main Fields: (93B40-XX); (93C83-XX)
RTOS Software Authors: Becker, Markus; Zabel, Henning; Mueller, Wolfgang Cited in: 1 Publication (2010) Related Software: – Main Fields: (68N99-XX); (68U20-XX)
SDF Renderer Software Authors: Bálint, Csaba; Valasek, Gábor Cited in: 1 Publication (2018) Related Software: Mandelbulb; FractalLab Main Fields: (65D18-XX); (68U05-XX)
TDBS Software Authors: Koub^aa, Anis; Cunha, Andr'e; Alves, M'ario; Tovar, Eduardo Cited in: 1 Publication (2008) Related Software: I.P.P. Main Fields: (68M20-XX)
Time4sys2imi Software Authors: André, Étienne; Jerray, Jawher; Mhiri, Sahar Cited in: 1 Publication (2019) Related Software: Cheddar; Uppaal; IMITATOR Main Fields: (68Qxx-XX)
DTRON Software Authors: Anier, Aivo; Vain, Jüri; Tsiopoulos, Leonidas Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Operations research, mathematical programming (90-XX)
ROpenDota Software Authors: Rosdyana Kusuma Cited in: 0 Publications Related Software: – Main Fields: –