Sage Journals: Discover world-class research

Retricted access

Research article

First published 2000-10

A Foundation for Refining Concurrent Objects

Martin Büchi, Emil Sekerinski

Fundamenta Informaticae

Retricted access

Research article

First published 2004-8

Optimal refinement of rule bases

Hans‐Werner Kelbassa

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2008-5

Time Distribution in Structural Workflow Nets

Piotr Chrz�stowski-Wachtel, Paweł Findeisen, Grzegorz Wolny

Fundamenta Informaticae

Retricted access

Research article

First published 2003-1

Constructing Decision Procedures in Equational Clausal Logic

Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

Supervised evaluation of Voronoi partitions

Sylvain Ferrandiz, Marc Boullé

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2004-11

Structure–Activity Relationships and Prediction of the Phototoxicity and Phototoxic Potential of New Drugs

Martin D. Barratt

Alternatives to Laboratory Animals

Retricted access

Research article

First published 2015-12

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Jacek Sroka, Piotr Chrząstowski-Wachtel, Jan Hidders

Fundamenta Informaticae

Retricted access

Other

First published 2003-10

Machiavelli Against Republicanism

John P. McCormick

Political Theory

Retricted access

Research article

First published 2013-5

Symbolic power and group-making: On Pierre Bourdieu’s reframing of class

Loïc Wacquant

Journal of Classical Sociology

Retricted access

Research article

First published 2019

New Semantical Insights Into Call-by-Value λ -Calculus

Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca

Fundamenta Informaticae

Search results