Search academic resources

In an organization of any size, there is an organization function responsible for the technology, activities and personnel to support its technology-enabled work systems and the information and communication needs of the...

1957 marked the beginning of modern education in computing in Argentina. I was lucky enough to live this part of the history. After issuing an international bid that year, all members of a special commission from the Uni...

We extend the regular model checking framework so that it can handle systems with arbitrary width tree-like structures. Con gurations of a system are represented by trees of arbitrary arities, sets of con gurations are r...