• CVX

• Referenced in 855 articles [sw04594]
• CVX is a modeling system for constructing and...

• YALMIP

• Referenced in 1063 articles [sw04595]
• YALMIP Yet another LMI parser. YALMIP is a...

• Mosek

• Referenced in 509 articles [sw04618]
• MOSEK is a tool for solving mathematical optimization...

• Uppaal

• Referenced in 658 articles [sw04702]
• Uppaal is an integrated tool environment for modeling...

• z3

• Referenced in 606 articles [sw04887]
• Z3 is a high-performance theorem prover being...

• Maude

• Referenced in 700 articles [sw06233]
• Maude is a high-performance reflective language and...

• COWS

• Referenced in 51 articles [sw06955]
• A calculus for orchestration of web services. We...

• Robotics

• Referenced in 111 articles [sw07383]
• The Robotics Toolbox is a software package that...

• NS-3

• Referenced in 4 articles [sw07496]
• Effects of traffic properties and degree heterogeneity in...

• Linda

• Referenced in 103 articles [sw09427]
• Generative communication in Linda. Generative communication is the...

• UMDES

• Referenced in 403 articles [sw09523]
• UMDES Software Library: UMDES-LIB is a library...

• ns-2

• Referenced in 194 articles [sw11690]
• The Network Simulator - ns-2. Ns is a...

• SAX

• Referenced in 20 articles [sw15673]
• SAX is the Simple API for XML, originally...

• PEGASUS

• Referenced in 8 articles [sw17479]
• PEGASUS: A peta-scale graph mining system implementation...

• PLAN

• Referenced in 13 articles [sw22065]
• PLAN: a packet language for active networks. PLAN...

• Binder

• Referenced in 15 articles [sw26750]
• Binder, a logic-based security language. We introduce...