Research output per year
Research output per year
Research output
- 11 results
Search results
-
2018
Voortgangsonderzoek: aanpak van voortijdig schoolverlaten en jongeren in een kwetsbare positie (eindrapport)
van der Gaag, M., Snell, N., Bron, G., Emerencia, A., Blaauw, F., Heemskerk, I., Petit, R., Kunnen, S. & de Jonge, P., 30-Nov-2018, Rijksuniversiteit Groningen. 116 p.Research output: Book/Report › Report › Professional
Open AccessFile442 Downloads (Pure) -
2013
An Automated Analysis Of Process Interference Verified With LTL Checking
van Beest, N., Bucur, D., Wortmann, J. & Lazovik, A., 2013, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.Research output: Book/Report › Report › Professional
-
2005
Encoding Requests to Web Service Compositions as Constraints
Lazovik, A., Aiello, M. & Gennari, R., 2005, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 16 p.Research output: Book/Report › Report › Professional
Open AccessFile25 Citations (Scopus)244 Downloads (Pure) -
The Role of Web Services at Home
Aiello, M., 2005, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 15 p.Research output: Book/Report › Report › Professional
Open AccessFile105 Downloads (Pure) -
What’s in an Agreement? A Formal Analysis and an extension of WS-Agreement
Aiello, M., Frankova, G. & Malfatti, D., 2005, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 19 p.Research output: Book/Report › Report › Professional
Open AccessFile65 Downloads (Pure) -
2004
Applying the Tropos Methodology for Analysing Web Services Requirements and Reasoning about Qualities of Services
Aiello, M. & Giorgini, P., 2004, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 17 p.Research output: Book/Report › Report › Professional
Open AccessFile331 Downloads (Pure) -
Opening the Home. A Web Service Approach to Domotics
Aiello, M., Marchese, M., Busetta, P. & Calabrese, G., 2004, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 12 p.Research output: Book/Report › Report › Professional
Open AccessFile420 Downloads (Pure) -
Textual Article Clustering in Newspaper Pages
Aiello, M. & Pegoretti, A., 2004, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 33 p.Research output: Book/Report › Report › Professional
Open AccessFile290 Downloads (Pure) -
2003
Planning and monitoring the execution of web service requests
Lazovik, A., Aiello, M. & Papazoglou, M., 2003, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 17 p.Research output: Book/Report › Report › Professional
Open AccessFile41 Citations (Scopus)261 Downloads (Pure) -
Preface
Aiello, M., Bussler, C., Andrea, V. D. & Yang, J., 2003, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 1 p.Research output: Book/Report › Report › Professional
Open AccessFile88 Downloads (Pure) -
2002
Logical Patterns in Space
Aiello, M. & Benthem, J. V., 2002, University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science. 42 p.Research output: Book/Report › Report › Professional
Open AccessFile122 Downloads (Pure)