Serveur d'exploration sur la recherche en informatique en Lorraine - Analysis (UK)

Index « AffRegion.i » - entrée « Grand Manchester »
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 Londres < Grand Manchester < Hambourg  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 26.
[0-20] [0 - 20][0 - 26][20-25][20-40]
Ident.Authors (with country if any)Title
000077 (2013) Konstantin Korovin [Royaume-Uni]Non-cyclic Sorts for First-Order Satisfiability
000083 (2013) Konstantin Korovin [Royaume-Uni]From Resolution and DPLL to Solving Arithmetic Constraints
000090 (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}$
000134 (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
000182 (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
000206 (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
000231 (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
000232 (2006) Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche]Interoperability Contributions of CrossWork
000260 (2004) Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]TeMP : A Temporal Monodic Prover
000264 (2004) Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]Efficient Checking of Term Ordering Constraints
000285 (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
000290 (2003) Pietro Murano [Royaume-Uni]Anthropomorphic vs. Non-anthropomorphic Software Interface Feedback for Online Systems Usage
000291 (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
000292 (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
000311 (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).
000313 (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
000341 (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
000342 (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
000346 (2000) Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni]A support framework for dynamic organizations
000357 (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
000373 (1996) David G. Wastell [Royaume-Uni]The fetish of technique: methodology as a social defence

List of associated Author.i

Nombre de
documents
Descripteur
3Brian Warboys
2Alexandre Riazanov
2Andrei Voronkov
2B. C. Warboys
2Dharini Balasubramaniam
2Evangelos Zirintsis
2Ian Robertson
2Konstantin Korovin
2R. M. Greenwood
2R. Mark Greenwood
2Ron Morrison
2Sri Hastuti Kurniawan
2Wykeen Seet
1A. De Angeli
1Aimo Ruokonen
1Alasdair King
1Alfonso Fuggetta
1Anna-Liisa Hartikainen
1Anneli Pouta
1Bob Snowdon
1Boris Konev
1Brian C. Warboys
1Brigitte Chabrol
1Bénédicte Héron
1C. Ardito
1C. Dixon
1C. P. Holland
1Catherine Caillaud
1Christer Fernström
1D. Balasubramaniam
1D. G. Wastell
1D. R. Shaw
1D. S. Munro
1David G. Wastell
1David Gareth Evans
1Dexter Canoy
1Dimitrios Zafeiriou
1Dmitry Tishkovsky
1Ed Wraith
1F. Oquendo
1F. Pittarello
1Flavio Oquendo
1François Feillet
1G. N. C. Kirby
1Georg Weichhart
1Graham Kirby
1Graham N. C. Kirby
1Guillaume Caridade
1Helen Michelakakis
1Hélène Ogier
1I. Robertson
1Iain Duncan Stalker
1Ioanna Tzoulaki
1Irène Maire
1Jean-Michel Heard
1Jin Sa
1John Edwards
1Jon Agar
1K. Mayes
1K. N. Papamichail
1Kath Mickan
1Ken Mayes
1Kurt Fessl
1Lucy Lavery
1M. F. Costabile
1M. Fisher
1Maija Leinonen
1Marc Tardieu
1Marjo-Riitta Jarvelin
1Mark Greenwood
1Mika Paldanius
1Mohammad Khodadadi
1Nikolay Mehandjiev
1Olivier Danos
1P. J. Kawalek
1P. Kawalek
1Panayiotis Zaphiris
1Paul Blenkhorn
1Paul Elliott
1Pekka Saikku
1Pietro Murano
1R. A. Schmidt
1R. A. Snowdon
1R. Darin Ellis
1R. Morrison
1Reidar Conradi
1Renate A. Schmidt
1Robert Snowdon
1Roseline Froissart
1S. H. Rigby
1Sorana Cîmpan
1Thierry Levade
1U. Hustadt
1Ulla Sovio
1Ullrich Hustadt
1Vassili Valayannopoulos
1William P. R. Mitchell
1Yann Mikaeloff

List of associated AffOrg.i

Nombre de
documents
Descripteur
21Université de Manchester
1Université Paris-Descartes
1Université Paris-Sud
1Université Savoie Mont Blanc
1Université de Birmingham
1Université de Salford

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/UK/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i -k "Grand Manchester" 
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/AffRegion.i  \
                -Sk "Grand Manchester" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/UK/Analysis/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    UK
   |étape=   Analysis
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Grand Manchester
}}

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