Malzéville < Manchester < Mannheim

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Manchester

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]

Ident.	Authors (with country if any)	Title
001530 (2013)	Konstantin Korovin [Royaume-Uni]	Non-cyclic Sorts for First-Order Satisfiability
001580 (2013)	Konstantin Korovin [Royaume-Uni]	From Resolution and DPLL to Solving Arithmetic Constraints
001661 (2013)	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}$
002680 (2011)	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
004224 (2008)	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
004C09 (2007)	R. A. Snowdon [Royaume-Uni] ; B. C. Warboys [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; C. P. Holland [Royaume-Uni] ; P. J. Kawalek [Royaume-Uni] ; D. R. Shaw [Royaume-Uni]	On the architecture and form of flexible process support
005434 (2006)	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
005461 (2006)	Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche]	Interoperability Contributions of CrossWork
006B18 (2004)	Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]	TeMP : A Temporal Monodic Prover
006C06 (2004)	Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]	Efficient Checking of Term Ordering Constraints
007A09 (2003)	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
007A97 (2003)	Pietro Murano [Royaume-Uni]	Anthropomorphic vs. Non-anthropomorphic Software Interface Feedback for Online Systems Usage
007A99 (2003)	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
007B06 (2003)	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
009193 (2001)	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).
009297 (2001)	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
009E50 (2000)	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
009E59 (2000)	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
009F41 (2000)	Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni]	A support framework for dynamic organizations
00AA34 (1999)	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
00C011 (1996)	David G. Wastell [Royaume-Uni]	The fetish of technique: methodology as a social defence

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i -k "Manchester" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffVille.i  \
                -Sk "Manchester" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffVille.i
   |clé=    Manchester
}}

---

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