Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent

Cited in:	38 Publications (2002–2022)
Related Software:	Uppaal; Kronos; SPIN; HyTech; CADP; TINA; …
Main Fields:	General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Software Authors:   Jackson, D.; Schechter, I.; Shlyakhter, I.

Cited in:	20 Publications (2000–2021)
Related Software:	Alloy; SPIN; Chaff; Z; TestEra; NuSMV; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Clark, Robert; Moreira, Ana

Cited in:	23 Publications (1998–2016)
Related Software:	CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Brucker, Achim D.; Wolff, Burkhart

Cited in:	13 Publications (2002–2016)
Related Software:	ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Object Management Group, Inc.

Cited in:	10 Publications (2009–2017)
Related Software:	SysML; Uppaal; SPIN; Matlab; TINA; Simulink; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Sintek, Michael; Decker, Stefan

Cited in:	16 Publications (2002–2015)
Related Software:	SPARQL; Smodels; swrl; XSB; DAML+OIL; RuleML; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)

Software Authors:   Lilius, J.; Paltor, I. P.

Cited in:	10 Publications (2001–2015)
Related Software:	SPIN; GROOVE; Bandera; PROGRES; CheckVML; Uppaal; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Tigris.org

Cited in:	3 Publications (2009–2014)
Related Software:	Alcoa; Alloy; Kronos; Ymer; Daikon; NuSMV; …
Main Fields:	Computer science (68-XX)

Software Authors:   Magee J, Kramer J, Uchitel S, et al

Cited in:	11 Publications (2006–2021)
Related Software:	WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Nickel, U., Niere, J., Zündorf, A.

Cited in:	8 Publications (2001–2012)
Related Software:	PROGRES; GrGen; Graph transformation benchmarks; CheckVML; SPIN; AGG; …
Main Fields:	Computer science (68-XX)

Software Authors:   Lodderstedt, Torsten; Basin, David; Doser, Jürgen

Cited in:	7 Publications (2002–2014)
Related Software:	Z; SPIN; HOL-OCL; STG; TorX; AGATHA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Anastasakis, K., Bordbar, B., Georg, G., Ray, I

Cited in:	6 Publications (2008–2015)
Related Software:	HOL-OCL; ATL; Maude; Kermeta; AGG; z3; …
Main Fields:	Computer science (68-XX)

Software Authors:   Dániel Varró, András Pataricza

Cited in:	4 Publications (2005–2007)
Related Software:	VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Bigot, Celine; Faivre, Alain; Gallois, Jean-Pierre; Lapitre, Arnault; Lugato, David; Pierron, Jean-Yves; Rapin, Nicolas

Cited in:	6 Publications (2003–2014)
Related Software:	Omega; Kronos; STG; GATeL; Z; TorX; …
Main Fields:	Computer science (68-XX)

Software Authors:   Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai

Cited in:	8 Publications (2002–2018)
Related Software:	Circus; Eiffel; Uppaal; Z; CSPsim; SCOOP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Clavel, Manuel; Egea, Marina

Cited in:	5 Publications (2011–2016)
Related Software:	Maude; MOMENT2; CafeOBJ; Java+ITP; K Prover; Dist-Orc; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Antkiewicz, M., K. Czarnecki; et al.

Cited in:	3 Publications (2008–2010)
Related Software:	fmp2rsm; FaMa; Woflan; Sat4j; Choco; YAWL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Vanderbilt University

Cited in:	2 Publications (2009–2014)
Related Software:	Python; MetaEdit+; AToM3; GReAT; XASM; ATL; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Hammond T, Davis R

Cited in:	4 Publications (2010–2017)
Related Software:	Tesseract; SketchREAD; CALI; kepler98; OTTER; GeoGebra; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat

Cited in:	2 Publications (2003–2006)
Related Software:	Uppaal; Kronos; TAXYS; TINA; TTool
Main Fields:	Computer science (68-XX)

Software Authors:   Pelliccione, P.; Inverardi, P.; Muccini, H.

Cited in:	2 Publications (2003–2013)
Related Software:	SPIN; AUTOSAR; MARTE; SysML; Uppaal
Main Fields:	Computer science (68-XX)

Software Authors:   Mehner, Katharina

Cited in:	4 Publications (1996–2010)
Related Software:	JAVAVIS
Main Fields:	History and biography (01-XX); Number theory (11-XX); Associative rings and algebras (16-XX)

Software Authors:   Gumzej, Roman; Lu, Shourong

Cited in:	4 Publications (1982–2007)
Related Software:	SPNP; Ada95
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Julien DeAntoni, Frédéric Mallet

Cited in:	3 Publications (2015–2016)
Related Software:	Esterel; Uppaal; SIGNAL; GenCCSL; CCSL
Main Fields:	Computer science (68-XX)

Software Authors:   S.-W. Lin, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu

Cited in:	2 Publications (2013)
Related Software:	Cellss; MARTE; Intel TBB; Uppaal; Sycraft; MR4UM; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Weise, Thomas; Zapf, Michael; Khan, Mohammad Ullah; Geihs, Kurt

Cited in:	3 Publications (2009–2013)
Related Software:	MSOPS-II; SIGOA; Genocop; CIXL2; pCMALib; MOCell; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Larsson, A.

Cited in:	1 Publication (2012)
Related Software:	JGraph; fca.sty; ConExp; Galicia; ToscanaJ; WinFIG; …
Main Fields:	Statistics (62-XX)

Software Authors:   Arne Lange, Colin Atkinson; Gerbig, R. et al.

Cited in:	3 Publications (2019–2021)
Related Software:	ATL; Melange; Ann; MetaDepth; FAMILIAR; Neverlang; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Cao, H., Jin, H., Wu, S., and Tao, Y.

Cited in:	2 Publications (2010–2012)
Related Software:	TAO; GeoNames
Main Fields:	Computer science (68-XX)

Software Authors:   Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S

Cited in:	1 Publication (2018)
Related Software:	Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; …
Main Fields:	Computer science (68-XX)

Software Authors:   Shahar Maoz; Jan Oliver Ringert; Bernhard Rumpe

Cited in:	1 Publication (2018)
Related Software:	WhyLine; VERMEER; Whispec; Bordeaux; cddiff; CompoSAT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Czarnecki, K., Antkiewicz, M., Kim, C. H. P., Lau, S., Pietroszek, K.

Cited in:	1 Publication (2018)
Related Software:	Clafer; FAT; MTBDD; JFLAP; VATA; fmp
Main Fields:	Computer science (68-XX)

Software Authors:   Alor-Hernandez, Giner; Aguilar-Lasserre, Alberto; Juarez-Martinez, Ulises; Posada-Gomez, Ruben; Cortes-Robles, Guillermo; Garcia-Martinez, Mario Alberto; Gomez-Berbis, Juan Miguel; Rodriguez-Gonzalez, Alejandro

Cited in:	1 Publication (2016)
Related Software:	Spalart-Allmaras; Trilinos; PETSc; hypre
Main Fields:	Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Rohr, Matthias; van Hoorn, André; Matevska, Jasminka; Sommer, Nils; Stoever, Lena; Giesecke, Simon; Hasselbring, Wilhelm

Cited in:	1 Publication (2008)
Related Software:	SynchroVis; ExplorViz; Graphviz; Shimba
Main Fields:	Computer science (68-XX)

Software Authors:   Chen, Jingshu; Kulkarni, Sandeep

Cited in:	2 Publications (2013–2019)
Related Software:	Uppaal; Vertaf; Sycraft; SPIN
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Xie, Fei; Levin, Vladimir; Browne, James C.

Cited in:	1 Publication (2002)
Related Software:	TLPVS; Uppaal; PVS; SPIN; IF-2.0; Kronos
Main Fields:	Computer science (68-XX)

Software Authors:   Andrade, Ermeson C.; Alves, Marcelo; Matos, Rubens; Silva, Bruno; Maciel, Paulo

Cited in:	1 Publication (2017)
Related Software:	–
Main Fields:	Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Moscato, Francesco; Venticinque, Salvatore; Aversa, Rocco; Di Martino, Beniamino

Cited in:	2 Publications (2008–2021)
Related Software:	Rodin; Jadex
Main Fields:	Computer science (68-XX)

Software Authors:   IBM

Cited in:	2 Publications (2012–2013)
Related Software:	SysML; Modelica; Simulink; CBMC; RuleBasePE; VIATRA2
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Mullins, John; Oarga, Raveca

Cited in:	2 Publications (2007–2021)
Related Software:	K Prover; K tool; KeY; vUML; SPIN
Main Fields:	Computer science (68-XX)

Software Authors:   Qi Chen; John Grundy; John Hosking

Cited in:	1 Publication (2014)
Related Software:	IAMonDo; PerfectDoc; PixLabeler; TRUEVIZ; Gamera; TableSeer; …
Main Fields:	Computer science (68-XX)

Software Authors:   Pan, Minxue; Bu, Lei; Li, Xuandong

Cited in:	1 Publication (2013)
Related Software:	HyDI; MathSAT; NuSMV; HyTech; HySAT
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   J. Cabot; R. Clariso; D. Riera

Cited in:	0 Publications
Related Software:	HOL-OCL; ArgoUML; Maude; ATL; KeY; UML2Alloy
Main Fields:	–

Software Authors:   Gurov, V.S.; Mazin, M.A.; Narvsky, A.S.; Shalyto, A.A.

Cited in:	2 Publications (2007–2016)
Related Software:	SWITCH
Main Fields:	Computer science (68-XX)

Software Authors:   J Fitzgerald, PG Larsen, S Sahara

Cited in:	1 Publication (2017)
Related Software:	MiniSat; Overture Tool; GROOVE; Pict; COWS; Maude; …
Main Fields:	Computer science (68-XX)

Software Authors:   Pérez, Jennifer; Carsí, José A.; Ramos, Isidro

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

Software Authors:   G\'omez-Mart{\'\i}nez, Elena; Merseguer, Jos\'e

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

Software Authors:   Yanlin Wang, Ensheng Shi, Lun Du, Xiaodi Yang, Yuxuan Hu, Shi Han, Hongyu Zhang, Dongmei Zhang

Cited in:	0 Publications
Related Software:	GraphCodeBERT; Devign; MISIM; StaQC; Bugram; GLUE; …
Main Fields:	–

Software Authors:   Javier O'Hara

Cited in:	0 Publications
Related Software:	SciPy; F2PY; Dia; Cython; Python; PyGraWC
Main Fields:	–

Software Authors:   David A. Kosower, J.J. Lopez-Villarejo

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

Software Authors:   Tiella R, Villaflorita A, Tomasi S.

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

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy

Cited in:	1 Publication (2015)
Related Software:	TimeSquare; CCSL
Main Fields:	Computer science (68-XX)

Software Authors:   Daniluk, Andrzej

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

Software Authors:   Daniluk, Andrzej

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

Software Authors:   Paul Boocock

Cited in:	1 Publication (2010)
Related Software:	Classroom Scheduler; AGG; AspectJ
Main Fields:	Computer science (68-XX)

Software Authors:   Frédéric Tuong; Burkhart Wolff

Cited in:	1 Publication (2016)
Related Software:	Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   V. Ermolayev, A. Copylov, N. Keberle, E. Jentzsch, W.-E . Matzke

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

Software Authors:   –

Cited in:	1 Publication (2012)
Related Software:	PSPLIB
Main Fields:	Operations research, mathematical programming (90-XX)

Software Authors:   Gerard S.

Cited in:	1 Publication (2016)
Related Software:	MARTE; PAT; Uppaal; SPIN; TINA; Romeo
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Carcagno, S.

Cited in:	0 Publications
Related Software:	pysofaconventions; SOFA; brian2hears; PsychoPy; LibROSA; NumPy; …
Main Fields:	–

Software Authors:   Sunkara, Vinodh Kumar; Sane, Aamod

Cited in:	0 Publications
Related Software:	TikZ; Matplotlib; JSXGraph; Graphviz; GrGen
Main Fields:	Computer science (68-XX)

Software Authors:   Maresca, Paolo; Guercio, Angela; Arndt, Tim; Donadio, Pasquale

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

Software Authors:   N. Harrand, F. Fleurey, B. Morin, K.E. Husa

Cited in:	0 Publications
Related Software:	KNIME; Infer.NET; Scikit; TensorFlow; Keras; Python; …
Main Fields:	–

Software Authors:   Institut Eurecom

Cited in:	0 Publications
Related Software:	TURTLE-P
Main Fields:	–

Software Authors:   Software Engineering Heidelberg, Institute for Computer Science, University of Heidelberg

Cited in:	1 Publication (2014)
Related Software:	UNICASE Trace Client
Main Fields:	Computer science (68-XX)

Software Authors:   IRIT, VERIMAG

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

Software Authors:   Diethers, Karsten; Huhn, Michaela

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

Software Authors:   L. Razik, M. Mirz, D. Knibbe, S. Lankes, A. Monti

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

Software Authors:   V. A. Antonenko, E. V. Chemeritskiy, A. B. Glonina, et al.

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

Software Authors:   Sahu, Sneha; Schorr, Ruth; Medina-Bulo, Inmaculada; Wagner, Matthias

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

Software Authors:   Carl Alphonce; Phil Ventura

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

Software Authors:   Lina Nemuraite, Tomas Skersys, Algirdas Sukys, Edvinas Sinkevicius, Linas Ablonskis

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

Software Authors:   C. Kiesner, G. Taentzer, J. Winkelmann

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