The field of model checking has evolved into a fundamental technique for verifying the correctness of software and hardware systems. At its core, model checking systematically explores the state space ...

Graph databases are an 18th century concept with a host of modern applications. Used for tasks as diverse as dating sites and fraud detection, graph technology works by looking at relationships, not ...

Building a dependable database management system is no easy task. You need to understand what the design trade-offs in the construction of a database management system are and also how those ...

If you're not a graph afficionado, the name Marko A. Rodriguez probably does not mean much to you. Rodriguez however has been working on the intersection of research, engineering and entrepreneurship ...