Analysis
UK
Racine
Analysis
UK
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Grand Manchester And NotP. J. Kawalek

List of bibliographic references

Number of relevant bibliographic references: 25.
Ident.Authors (with country if any)Title
000077 Konstantin Korovin [Royaume-Uni]Non-cyclic Sorts for First-Order Satisfiability
000083 Konstantin Korovin [Royaume-Uni]From Resolution and DPLL to Solving Arithmetic Constraints
000090 Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni]A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$
000134 Bénédicte Héron [France] ; Yann Mikaeloff [France] ; Roseline Froissart [France] ; Guillaume Caridade [France] ; Irène Maire [France] ; Catherine Caillaud [France] ; Thierry Levade [France] ; Brigitte Chabrol [France] ; François Feillet [France] ; Hélène Ogier [France] ; Vassili Valayannopoulos [France] ; Helen Michelakakis [Grèce] ; Dimitrios Zafeiriou [Grèce] ; Lucy Lavery [Royaume-Uni] ; Ed Wraith [Royaume-Uni] ; Olivier Danos [France] ; Jean-Michel Heard [France] ; Marc Tardieu [France]Incidence and natural history of mucopolysaccharidosis type III in France and comparison with United Kingdom and Greece
000182 Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni]Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study
000231 C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie]Navigation help in 3D worlds: some empirical evidences on use of sound
000232 Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche]Interoperability Contributions of CrossWork
000260 Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]TeMP : A Temporal Monodic Prover
000264 Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]Efficient Checking of Term Ordering Constraints
000285 R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Sorana Cîmpan [France] ; Graham N. C. Kirby [Royaume-Uni] ; Kath Mickan [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Flavio Oquendo [France] ; Ian Robertson [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Bob Snowdon [Royaume-Uni] ; Brian C. Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni]Process Support for Evolving Active Architectures
000290 Pietro Murano [Royaume-Uni]Anthropomorphic vs. Non-anthropomorphic Software Interface Feedback for Online Systems Usage
000291 Panayiotis Zaphiris [Royaume-Uni] ; Sri Hastuti Kurniawan [Royaume-Uni] ; R. Darin Ellis [États-Unis]Age Related Differences and the Depth vs. Breadth Tradeoff in Hierarchical Online Information Systems
000292 Sri Hastuti Kurniawan [Royaume-Uni] ; Alasdair King [Royaume-Uni] ; David Gareth Evans [Royaume-Uni] ; Paul Blenkhorn [Royaume-Uni]A Usability Evaluation of a Joystick-Operated Full-Screen Magnifier
000311 Jon Agar [Royaume-Uni]JAMES GILLIES and ROBERT CAILLIAU, How the Web was Born. Oxford: Oxford University Press, 2000. Pp. xii+372. ISBN 0-19-286207-3. £8.99, $15.95 (paperback).
000313 R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Graham Kirby [Royaume-Uni] ; Ken Mayes [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Brian Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni]Reflection and Reification in Process System Evolution: Experience and Opportunity
000341 F. Oquendo [France] ; K. N. Papamichail [Royaume-Uni] ; I. Robertson [Royaume-Uni]Overcoming inadequacies in process modelling: The need for decisioning Be a first-class citizen
000342 U. Hustadt [Royaume-Uni] ; C. Dixon [Royaume-Uni] ; R. A. Schmidt [Royaume-Uni] ; M. Fisher [Royaume-Uni]Normal Forms and Proofs in Combined Modal and Temporal Logics
000346 Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni]A support framework for dynamic organizations
000357 B. C. Warboys [Royaume-Uni] ; D. Balasubramaniam [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; G. N. C. Kirby [Royaume-Uni] ; K. Mayes [Royaume-Uni] ; R. Morrison [Royaume-Uni] ; D. S. Munro [Australie]Collaboration and Composition: Issues for a Second Generation Process Language
000373 David G. Wastell [Royaume-Uni]The fetish of technique: methodology as a social defence
000375 P. Kawalek [Royaume-Uni] ; D. G. Wastell [Royaume-Uni]Organisational design for software development: A cybernetic perspective
000397 Reidar Conradi [Norvège] ; Christer Fernström [France] ; Alfonso Fuggetta [Italie] ; Robert Snowdon [Royaume-Uni]Towards a reference framework for process concepts
000400 Jin Sa [Royaume-Uni] ; Brian Warboys [Royaume-Uni]Integrating a formal specification method with PML: A case study
000417 William P. R. Mitchell [Royaume-Uni]Inductive completion with retracts
000427 S. H. Rigby [Royaume-Uni] ; John Edwards [Royaume-Uni]V The Later Middle Ages (1200–1500)
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022