AVISPA Cited in 82 Documents (2005–2021) Software Authors: European Community under the Information Society Technologies Programme (1998-2002) Related Software: Casper; ProVerif; OFMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Python Web Graph Generator Cited in 41 Documents (2013–2023) Software Authors: Saket Sathe Related Software: NetLogo; invGauss; SNAP; … Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistical mechanics, structure of matter (82-XX); …
LASS Cited in 29 Documents (1997–2021) Software Authors: Stilian A. Stoev Related Software: longmemo; wmtsa; Matlab; … Main Fields: History and biography (01-XX); Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); …
TeXmacs Cited in 15 Documents (2004–2021) Software Authors: Van Der Hoeven, J. Related Software: Coq; Isabelle/HOL; Isabelle; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Special functions (33-XX); …
MRSVP Cited in 10 Documents (2000–2006) Software Authors: Talukdar, Anup Kumar; Badrinath, B.R.; Acharya, Arup Related Software: HMRSVP; ReVirt; HMAT Main Fields: Computer science (68-XX)
iFogSim Cited in 3 Documents (2020–2022) Software Authors: Harshit Gupta, Amir Vahid Dastjerdi, Soumya K. Ghosh, Rajkumar Buyya Related Software: YAFS; FogNetSim++; XFogSim; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
vnep-approx Cited in 4 Documents (2016–2022) Software Authors: INET/TU Berlin; Matthias Rost, Stefan Schmid Related Software: Merlin; OpenNF; Python; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
AMON Cited in 4 Documents (2019–2022) Software Authors: Michael Kallitsis, Stilian Stoev, Shrijita Bhattacharya, George Michailidis Related Software: MIN REVORDER; astsa; RTDE Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
DropEdge Cited in 0 Documents Software Authors: Yu Rong, Wenbing Huang, Tingyang Xu, Junzhou Huang Related Software: PyTorch; DGL; DeepGCNs; … Main Fields: –
Javelin++ Cited in 3 Documents (2000–2017) Software Authors: Neary, Michael O.; Brydon, Sean P.; Kmiec, Paul; Rollisn, Sami; Cappello, Peter Related Software: Charlotte; BOINC; XtremWeb; … Main Fields: Computer science (68-XX)
BitCube Cited in 3 Documents (2001–2007) Software Authors: Yoon, Jong P.; Raghavan, Vijay; Chakilam, Venu; Kerschberg, Larry Related Software: – Main Fields: Computer science (68-XX)
GtkMathView Cited in 3 Documents (2003–2011) Software Authors: Luca Padovani Related Software: Matita; SPARQL; arXMLiv; … Main Fields: Computer science (68-XX)
ASCIIMathML Cited in 1 Document (2014) Software Authors: Peter Jipsen Related Software: WolframAlpha; wxMaxima; SageMath; … Main Fields: Computer science (68-XX)
SimulaQron Cited in 0 Documents Software Authors: Axel Dahlberg; Stephanie Wehner Related Software: LIQUi; ProjectQ; Python; … Main Fields: –
Tokamak Cited in 2 Documents (2011–2012) Software Authors: David Lam Related Software: ScopeShell Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)
EmNet/NIS Cited in 1 Document (1997) Software Authors: Shokin, Yu.A.; Fedotov, A.M. Related Software: – Main Fields: Computer science (68-XX)
etl Cited in 1 Document (2017) Software Authors: Ben Baumer, Carson Sievert Related Software: mclust; ggmap; testthat; … Main Fields: Statistics (62-XX); Computer science (68-XX)
FlyNetSim Cited in 0 Documents Software Authors: Sabur Baidya; Zoheb Shaikh; Marco Levorato Related Software: – Main Fields: –
JAVM Cited in 1 Document (2000) Software Authors: Lau, L.F.; Ananda, A.L.; Tan, G.; Wong, W.F. Related Software: – Main Fields: Computer science (68-XX)
LinkGrammar-WN Cited in 0 Documents Software Authors: Elliot Turner; Szolovits, P Related Software: GENIA corpus; GENETAG; ABNER; … Main Fields: –
MiniCPS Cited in 0 Documents Software Authors: Daniele Antonioli, Nils Ole Tippenhauer Related Software: OMNet++; pycomm; POX; … Main Fields: –
ML2 Cited in 0 Documents Software Authors: Armin Moin, Stephan Rössler, Marouane Sayih, Stephan Günnemann Related Software: KNIME; Infer.NET; ThingML; … Main Fields: –
Nexus Cited in 1 Document (2008) Software Authors: Cranswick, Lachlan Michael David; Bisson, William; Cockcroft, Jeremy Karl Related Software: – Main Fields: Statistical mechanics, structure of matter (82-XX)
QPKI Cited in 1 Document (2002) Software Authors: Mukkamala, Ravi Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
QuISP Cited in 0 Documents Software Authors: Ryosuke Satoh, Michal Hajdušek, Naphan Benchasattabuse, Shota Nagayama, Kentaro Teramoto, Takaaki Matsuo, Sara Ayman Metwalli, Takahiko Satoh, Shigeya Suzuki, Rodney Van Meter Related Software: SeQUeNCe; NetSquid; QuNetSim; … Main Fields: –
RLizard Cited in 1 Document (2023) Software Authors: Lee, J.; Kim, D.; Lee, H.; Lee, Y.; Cheon, JH Related Software: strongSwan; NTRU; liboqs; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Traceband Cited in 1 Document (2010) Software Authors: Guerrero, Cesar D.; Labrador, Miguel A. Related Software: – Main Fields: Computer science (68-XX)
Condorcet with Dual Dropping Cited in 0 Documents Software Authors: 051xmcumxaaqitwosz1g Related Software: – Main Fields: –
RADIoT Cited in 0 Documents Software Authors: Folorunso, Sakinat Oluwabukonla; Awotunde, Joseph Bamidele; Ayo, Femi Emmanuel; Abdullah, Khadijah-Khuburah Adebisi Related Software: – Main Fields: –
WITS Cited in 0 Documents Software Authors: Yao, Lina; Sheng, Quan Z.; Benatallah, Boualem; Dustdar, Schahram; Wang, Xianzhi; Shemshadi, Ali; Kanhere, Salil S. Related Software: – Main Fields: –