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:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Garavel, Hubert; Hermanns, Holger; CONVECS team

Cited in:	111 Publications (1997–2023)
Related Software:	SPIN; LOTOS; mCRL2; PRISM; Uppaal; E-LOTOS; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Pierce, Benjamin C.; Turner, David N

Cited in:	69 Publications (1998–2022)
Related Software:	JoCaml; Maude; Oz; Erlang; MWB; Lolli; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   András Varga

Cited in:	33 Publications (2001–2021)
Related Software:	ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; …
Main Fields:	Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Xiang Zeng; Rajive Bagrodia; Mario Gerla

Cited in:	37 Publications (2001–2015)
Related Software:	Parsec; ns-2; OMNet++; SWiMNet; PCBA; OPNET; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin

Cited in:	38 Publications (2000–2017)
Related Software:	Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio

Cited in:	38 Publications (1995–2009)
Related Software:	Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

Software Authors:   Gul Agha; José Meseguer; Koushik Sen

Cited in:	28 Publications (2005–2022)
Related Software:	Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Schalk G, McFarland D J, Hinterberger T, Birbaumer N, Wolpaw J R

Cited in:	10 Publications (2016–2021)
Related Software:	PhysioToolkit; EEGLAB; OpenViBE; Brainstorm; BCILAB; rtMEG; …
Main Fields:	Ordinary differential equations (34-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Cremers, C.

Cited in:	14 Publications (2009–2017)
Related Software:	AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Hofheinz, Dennis; Shoup, Victor

Cited in:	13 Publications (2013–2022)
Related Software:	MoSS; CryptHOL; TAMARIN; EasyCrypt; FairplayMP
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Jacky, Jonathan; Veanes, Marqus; Campbell, Colin; Schulte, Wolfram

Cited in:	9 Publications (2007–2021)
Related Software:	SpecExplorer; UniTESK; DART; SPIN; TestNG; TorX; …
Main Fields:	Computer science (68-XX)

Software Authors:   Nieuwpoort R., Maassen J., Wrzesinska G., Hofman R.F.H., Jacobs C.J.H., Kielmann T., Bal H.E

Cited in:	1 Publication (2009)
Related Software:	CUDA; MPJ Express; NAS Parallel Benchmarks; OpenMPI; BEEM; DiVinE; …
Main Fields:	Computer science (68-XX)

Software Authors:   T. Bolognesi, J. van de Lagemaat, C. Vissers

Cited in:	6 Publications (2000–2015)
Related Software:	LOTOS; Concurrency Workbench; XSB; LEGO; Oz; Maude; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Sobeih A, Hou J, Kung L-C, Li N, Zhang H, Chen W-P, Tyan H-Y, Lim H

Cited in:	4 Publications (2009–2016)
Related Software:	TAG
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Dalsgaard, A.E., Hansen, R.R., Jørgensen, K.Y., Larsen, K.G., Olesen, M.C., Olsen, P., Srba, J.

Cited in:	5 Publications (2012–2017)
Related Software:	Algorithm 97; Uppaal; VeriSIMPL; Ellipsoidal Toolbox; MPT; Kronos; …
Main Fields:	Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Neykova R, Yoshida N, Hu R

Cited in:	4 Publications (2015–2017)
Related Software:	Scribble; COWS; JBoss; SAVARA; AIOCJ; Timed Conversation; …
Main Fields:	Computer science (68-XX)

Software Authors:   Gu G F, Perdisci R, Zhang J, et al.

Cited in:	4 Publications (2010–2018)
Related Software:	ExecScent; BotSniffer; Rishi; ElemStatLearn; Panorama; KEA; …
Main Fields:	Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   S. Park, A. Savvides, M.B. Srivastava

Cited in:	2 Publications (2003–2012)
Related Software:	Wiselib; ns-2; Boost; Boost C++ Libraries; Maude; MiBench; …
Main Fields:	Computer science (68-XX)

Software Authors:   Garavel H. et al

Cited in:	4 Publications (2005–2010)
Related Software:	mCRL; CADP; M-TREE; BISIMULATOR
Main Fields:	Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Francesco Farina, Andrea Camisa, Andrea Testa, Ivano Notarnicola, Giuseppe Notarstefano

Cited in:	3 Publications (2021–2022)
Related Software:	GitHub; Julia; GLPK; SnapVX; JuMP; ACADO; …
Main Fields:	Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Xiong, Ming; Ramamritham, Krithi; Haritsa, Jayant R.; Stankovic, John A.

Cited in:	3 Publications (2002–2020)
Related Software:	SimDVS
Main Fields:	Computer science (68-XX)

Software Authors:   Alekseev, Igor V.; Sokolov, Valery A.

Cited in:	2 Publications (2001–2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Yasuhiro Ajiro, Kazunori Ueda

Cited in:	3 Publications (2002–2010)
Related Software:	GHC; DiSCiPl; TOY; Kernel-LEAF; Curry; TeaBag; …
Main Fields:	Computer science (68-XX)

Software Authors:   Albuquerque, Ryan L.; Hübner, Jomi F.; de Paula, Gustavo E.; Sichman, Jaime S.; Ramalho, Geber L.

Cited in:	2 Publications (2002–2009)
Related Software:	LEAP
Main Fields:	Computer science (68-XX)

Software Authors:   Sarah Meiklejohn, C. Christopher Erway, Alptekin Küpçü, Theodora Hinkle, Anna Lysyanskaya

Cited in:	1 Publication (2021)
Related Software:	bplib; emmy; LIBSCAPI; SCAPI; zkp; petlib; …
Main Fields:	Information and communication theory, circuits (94-XX)

Software Authors:   Kouzapas, Dimitrios; Dardha, Ornela; Perera, Roly; Gay, Simon J.

Cited in:	2 Publications (2018–2020)
Related Software:	session-ocaml; LASH; z3
Main Fields:	Computer science (68-XX)

Software Authors:   H. Sundell, P. Tsigas

Cited in:	2 Publications (2008–2015)
Related Software:	Intel TBB; Python
Main Fields:	Computer science (68-XX)

Software Authors:   Axel Dahlberg; Stephanie Wehner

Cited in:	0 Publications
Related Software:	LIQUi; ProjectQ; Python; Forest; Twisted; QuTiP; …
Main Fields:	–

Software Authors:   Manojkumar Krishnan, Jarek Nieplocha

Cited in:	2 Publications (2008–2010)
Related Software:	MATLAB expm; mftoolbox; PUMMA; mctoolbox; SUMMA; ARMCI
Main Fields:	Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Chang, Chih-Yung; Chang, Chao-Tsun

Cited in:	1 Publication (2007)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   K. Hopkinson, X. Wang, R. Giovanini, J. Thorp, K. Birman, D. Coury

Cited in:	1 Publication (2017)
Related Software:	–
Main Fields:	Optics, electromagnetic theory (78-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M.

Cited in:	1 Publication (2012)
Related Software:	AURA; Gecode
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Diaz, Michel; Canonico, Roberto; Costa, Luis; Fdida, Serge; Hutchison, David; Mathy, Laurent; Meissner, Andreas; Owezarski, Stephane; Vida, Rolland; Wolf, Lars

Cited in:	1 Publication (2001)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Padala, Pradeep; Wilson, Joseph N.

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Haji-Ismail, Abdul S.; Chen, Min; Grant, Phil W.; Kiddell, Mark

Cited in:	1 Publication (2001)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Daniele Antonioli, Nils Ole Tippenhauer

Cited in:	0 Publications
Related Software:	OMNet++; pycomm; POX; cpppo
Main Fields:	–

Software Authors:   Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal

Cited in:	1 Publication (2018)
Related Software:	–
Main Fields:	Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Das, Ankush; Pfenning, Frank

Cited in:	1 Publication (2022)
Related Software:	–
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Kang, Soon Ju; Park, Jun Ho; Park, Sung Ho

Cited in:	1 Publication (2001)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Lee, Patrick P.C.; Lui, John C.S.; Yau, David K.Y.

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Xiaoliang Wu, Alexander Kolar, Joaquin Chung, Dong Jin, Tian Zhong, Rajkumar Kettimuthu, Martin Suchara

Cited in:	0 Publications
Related Software:	NetSquid; QuNetSim; OMNet++; QuISP
Main Fields:	–

Software Authors:   Couteau, Geoffroy; Rindal, Peter; Raghuraman, Srinivasan

Cited in:	1 Publication (2021)
Related Software:	libOTe; Algorithm 994; GitHub; McEliece; Magma
Main Fields:	Information and communication theory, circuits (94-XX)

Software Authors:   Raju, D.V.Naga; Kumari, V.Valli

Cited in:	1 Publication (2010)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   P. Shamis, M.G. Venkata, M.G. Lopez, M.B. Baker, O. Hernandez, Y. Itigin, M. Dubman, G. Shainer, R.L. Graham, L. Liss, Y. Shahar, S. Potluri, D. Rossetti, D. Becker, D. Poole, C. Lamb, S. Kumar, C. Stunkel, G. Bosilca, A. Bouteiller,

Cited in:	1 Publication (2021)
Related Software:	EasyBuild; PMIx; xCAT; Slurm
Main Fields:	Computer science (68-XX)

Software Authors:   Oliver Heimlich, Rudolf Sailer, Lukasz Budzisz

Cited in:	0 Publications
Related Software:	–
Main Fields:	–