Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author ALL, in the category Articles in Proceedings (or show them all):   (Items found: 1006)

2023 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976
2023  [top]
2021  [top]
  • Parretti C., Pourabbas E., Rolli F., Pecoraro F.: Robust Privacy Assessment in Transnational Healthcare, IOP Conference Series: Materials Science and Engineering, Volume 1174, The 14th International Conference on Axiomatic Design (ICAD 2021) 23rd-25th June 2021, Lisbon, Portugal, 2021
2020  [top]
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates, in the Proceedings of International Joint Conference on Automated Reasoning IJCAR 2020, Lecture Notes in Computer Science, 12166, 2020
  • Emanuele De Angelis, Fioravanti F., Maurizio Proietti: Transformational verification of quicksort, in the Proceedings of 8th International Workshop on Verification and Program Transformation, Electronic Proceedings in Theoretical Computer Science, 320, 2020
  • Mauro Mazzei: A Machine Learning Platform for NLP in Big Data, in the Proceedings of Intelligent Systems and Applications, 1251, 2020
  • Mauro Mazzei: A Machine Learning Platform in Healthcare with Actor Model Approach, in the Proceedings of Advances in Intelligent Systems and Computing, 1229, 2020
  • Ida Mele, Muntean C I, Nardini F M, Perego R, Tonellotto N, Frieder O: Topic Propagation in Conversational Search, ACM-SIGIR Conference, 2020
  • Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F, Rossi Mori Angelo: Extending Contsys Standard with Social Care Concepts: A Methodology Proposed by the UNINFO Working Group in Italy, 2020 European Federation for Medical Informatics (EFMI), Studies in Health Technology and Informatics, Digital Personalized Health and Medicine, 270, 2020
2019  [top]
  • Giovanni Abramo, Ciriaco Andrea D'Angelo: The regional balance of knowledge flows, 17th International Society of Scientometrics and Informetrics Conference, 2019
  • Bahrainian S A, Zarrinkalam F, Ida Mele, Crestani F: Predicting the Topic of your Next Query for Just-in-Time IR, 2019
  • Bianchi D., Alessandro Borri, Di Benedetto M. D., Ferrara A.: Decentralized Model Predictive Control of Freeway Traffic Systems over Lossy Communication Networks, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 1084-1089, 2019
  • Alessandro Borri, Francesco Carravetta, White L.B.: A Smoother-Predictor of 3D Hidden Gauss-Markov Random Fields for Weather Forecast, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 3311-3316, 2019
  • Alessandro Borri, Valerio Cusimano, Simona Panunzi, De Gaetano A.: Multi-agent system modeling of advection-diffusion-reaction equations, Proceedings of the 2019 European Control Conference (ECC 2019), Napoli, Italy, pp. 2430-2435, 2019
  • Alessandro Borri, Simona Panunzi, De Gaetano A.: Rapid and ultra-rapid insulin in glycemic control, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italia, pp. 346-351, 2019
  • Ciriaco Andrea D'Angelo, Giovanni Abramo: The correlation between the level of internationalization of a country’s scientific production and that of relevant citing publications, 17th International Society of Scientometrics and Informetrics Conference, 2019
  • Laura D'Orsi, Mameli M., Alessandro Borri, De Gaetano A.: Assisted ventilation control based on phase and frequency estimation of respiratory drift, Proceedings of the 2019 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2019), Bari, Italy, pp. 889-895, 2019
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Lemma Generation for Horn Clause Satisfiability: A Preliminary Study, in the Proceedings of Seventh International Workshop on Verification and Program Transformation (VPT 2019), Lisitsa A., Nemytykh A. eds., Electronic Proceedings in Theoretical Computer Science, 299, 2019
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification, in the Proceedings of Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019), Electronic Proceedings in Theoretical Computer Science, 296, 2019
  • De Nicola A., Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search., in the Proceedings of Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, ICAART, 2019
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: Querying Distributed GIS with GeoPQLJ based on GeoJSON, in the Proceedings of Proceedings of the 5th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2019, Heraklion, Crete, Greece, May 3-5, 2019, 2019
  • Ida Mele, Crestani F: A Multi-Source Collection of Event-Labeled News Documents, International Conference on Theory of Information Retrieval, 2019
  • Parretti C., Pourabbas E., Rolli F., Pecoraro F., Citti P., Giorgretti A.: Robust design of web services supporting the home administration of drug infusion in pediatric oncology, in the Proceedings of MATEC Web of Conferences 301, 00013 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Liu A., Foley J. T. eds., 2019
  • Pola G., Alessandro Borri, Pepe P., Pasquale Palumbo, Di Benedetto M. D.: Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas, Proceedings of the 2019 European Control Conference (ECC 2019), Napoli, Italy, pp. 275-280, 2019
  • Rolli F., Pecoraro F., Luzi D., Ricci F. L., Pourabbas E., Parretti C.: Clinical risk evaluation of medical device software: an axiomatic design-based methodology, in the Proceedings of MATEC Web of Conferences 301, 00005 (2019), The 13th International Conference on Axiomatic Design (ICAD 2019) Sydney, Australia, October 18-20, 2019, Foley J. T., Liu A., Puik E.C.N. eds., 2019
2018  [top]
  • Tiziano Bacci, Sara Mattia, Paolo Ventura: A new lower bound for the Block Relocation Problem, in the Proceedings of ICCL 2018, Lecture Notes in Computer Science, 11184, pp. 168–174, 2018
  • Bahrainian S A, Ida Mele, Crestani F: Predicting Topics in Scholarly Papers, European Conference on Information Retrieval, 2018
  • Alessandro Borri, Pasquale Palumbo, Singh A: Noise propagation in feedback coupling between cell growth and metabolic activity, Proceedings of the 57th IEEE Conference on Decision and Control (CDC 2018), Miami Beach, FL, USA, pp. 2679-2684, 2018
  • D'Angelo C.A., Giovanni Abramo, Zhang Lin: Measuring diversity of research output: do the authors’ field classification and the reference list approaches converge?, The 23rd International Conference on Science and Technology Indicators, 2018
  • Emanuele De Angelis, Fioravanti F., Palacios A., Alberto Pettorossi, Maurizio Proietti: Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs, in the Proceedings of 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), Electronic Proceedings in Theoretical Computer Science, 278, 2018
  • Claudio Gentile, Castro J, Spagnolo E.: An algorithm for computing lower bounds for the Microaggregation problem, CTW-Cologne Twente Workshop, 2018
  • Claudio Gentile, Giuseppe Stecca, Mancini S., Suanno Maria: An application of the orienteering problem with time windows for scheduling visits during social events, in the Proceedings of Joint EURO/ALIO International Conference 2018 on Applied Combinatorial Optimization, Bologna (Italy), June 25 - 27, 2018, 2018
  • Claudio Gentile, Giuseppe Stecca, Mancini S., Suanno Maria: Solving the orienteering problem with time windows in big event management with a matheuristic approach, in the Proceedings of EU/ME 2018 19th Free Workshop on Metaheuristics for Industry, Geneve (Switzerland) March 22-23, 2018
  • Giachanou A, Ida Mele, Crestani F: Emotional Reactions Prediction of News Posts, Italian Information Retrieval Workshop, 2018
  • Giachanou A, Rosso P, Ida Mele, Crestani F: Early Commenting Features for Emotional Reactions Prediction, International Symposium on String Processing and Information Retrieval, 2018
  • Giachanou A, Rosso P, Ida Mele, Crestani F: Emotional Influence Prediction of News Posts, International AAAI Conference on Web and Social Media, 2018
  • Mauro Mazzei: Software development for unsupervised approach to identification of a multi temporal spatial analysis model, in the Proceedings of Proceedings of the 2018 International Conference on Image Processing, Computer Vision, & Pattern Recognition, Muller J. ed., Computer Science, Computer Engineering & Applied Computing, 2018
  • Parretti C., Rolli F, Pourabbas E., Citti P.: Axiomatic Selection of Health and Social Care Web Services on the Basis of Use Cases, in the Proceedings of 12th International Conference on Axiomatic Design (ICAD 2018), MATEC Web of Conferences, 223, 01013, 2018
  • Salgado E, Claudio Gentile, Liberti L.: Perspective cuts for the ACOPF with generators, in the Proceedings of New Trends in Emerging Complex Real Life Problems, Scrimali L., Daniele P. eds., ODS-Optimization and Decision Science, 2018
2017  [top]
  • Giovanni Abramo, D'Angelo C.A.: Gender differences in research diversification behavior, 16th International Society of Scientometrics and Informetrics Conference - (ISSI - 2017), 2017
  • Aliannejadi M, Ida Mele, Crestani F: A Cross-Platform Collection for Contextual Suggestion, ACM-SIGIR Conference, 2017
  • Aliannejadi M, Ida Mele, Crestani F: Personalized ranking for context-aware venue suggestion, ACM Symposium on Applied Computing (SAC), 2017
  • Arbib C., Avella P., Boccia M., Marinelli F., Sara Mattia: Optimization Models for Cut Sequencing, in the Proceedings of ODS 2017, Springer Proceedings in Mathematics & Statistics, 217, pp. 443-451, 2017
  • Tiziano Bacci, Sara Mattia, Paolo Ventura: Some Complexity Results for the Minimum Blocking Items Problem, in the Proceedings of ODS 2017, Springer Proceedings in Mathematics & Statistics, 217, pp. 475-483, 2017
  • Bahrainian S A, Ida Mele, Crestani F: Modeling Discrete Dynamic Topics, ACM Symposium on Applied Computing (SAC), 2017
  • Vincenzo Bonifaci, D'Angelo G., Marchetti Spaccamela A.: Algorithms for Hierarchical and Semi-Partitioned Parallel Scheduling, in the Proceedings of the 31st IEEE International Parallel and Distributed Processing Symposium, IEEE Computer Society Press, 2017
  • Alessandro Borri, Francesco Carravetta, White L.B.: Smoothing of Spherical Markov Fields: Application to Climatic Data Processing, Proceedings of the 56th IEEE Conference on Decision and Control (CDC 2017), Melbourne, Australia, pp. 4908-4913, 2017
  • Alessandro Borri, Pasquale Palumbo, Singh A: Noise propagation in a class of metabolic networks, Proceedings of the 56th IEEE Conference on Decision and Control (CDC 2017), Melbourne, Australia, pp. 447-452, 2017
  • Cappelli E, Weitschek E.: Extending the Genomic Data Model and the Genometric Query Language with Domain Taxonomies, in the Proceedings of International Conference on Web Engineering, Lecture Notes in Computer Science, 10360, 2017
  • Cumbo F, Weitschek E., Paola Bertolazzi, Giovanni Felici: IRIS-TCGA: an information retrieval and integration system for genomic data of cancer, in the Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics, Lecture Notes in Computer Science, 10477, 2017
  • Laura D'Orsi, Alessandro Borri, De Gaetano A.: Modelling the ventilator-patient interaction: a pressure-cycled control strategy, Proceedings of the 56th IEEE Conference on Decision and Control (CDC 2017), Melbourne, Australia, pp. 5032-5037, 2017
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Enhancing Predicate Pairing with Abstraction for Relational Verification, in the Proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Preliminary version, Fioravanti F, Gallagher J. eds., CoRR, arXiv, 1708-07854, 2017
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: A Bayesian Approach for Semantic Search based on DAG-Shaped Ontologies, Lecture Notes in Computer Science vol. 10439, 28th International Conference on Database and Expert Systems - DEXA 2017, pp. 126–140, 2017
  • Giachanou A, Gonzalo J, Ida Mele, Crestani F: Sentiment Propagation for Predicting Reputation Polarity, European Conference on Information Retrieval, 2017
  • Giachanou A, Ida Mele, Crestani F: A Collection for Detecting Triggers of Sentiment Spikes, ACM-SIGIR Conference, 2017
  • Giachanou A, Ida Mele, Crestani F: USI Participation at SMERP 2017 Text Retrieval Task, 1st International Workshop on Exploitation of Social Media for Emergency Relief and Preparedness, SMERP@ECIR 2017, 2017
  • Giachanou A, Ida Mele, Crestani F: USI Participation at SMERP 2017 Text Summarization Task, 1st International Workshop on Exploitation of Social Media for Emergency Relief and Preparedness, SMERP@ECIR 2017, 2017
  • Hui K, Berberich K, Ida Mele: Dealing with Incomplete Judgments in Cascade Measures, International Conference on Theory of Information Retrieval, 2017
  • Sara Mattia: A Polyhedral Study of the Robust Capacitated Edge Activation Problem, in the Proceedings of ODS 2017, Springer Proceedings in Mathematics & Statistics, 217, pp. 413-419, 2017
  • Mauro Mazzei, Palma A.L.: Spatial Multicriteria Analysis Approach for Evaluation of Mobility Demand in Urban Areas, in the Proceedings of Computational Science and Its Applications, 10407, 2017
  • Ida Mele, Bahrainian S A, Crestani F: Linking news across multiple streams for timeliness analysis, ACM International Conference on Information and Knowledge Management, 2017
  • Ida Mele, Crestani F: Event Detection for Heterogeneous News Streams, International Conference on Applications of Natural Language to Information Systems, 2017
  • Pecoraro Fabrizio, Luzi Daniela, Pourabbas E., Ricci F: A methodology to Identify Health and Social Care Web Services on the basis of Case Stories, IEEE International Conference on e-Health and Bioengineering, Sinaia-Romania, 10.1109/EHB.2017.7995400, 2017
  • Pourabbas E., D'Uffizi A, Mauro Mazzei, Ricci F: SICS: A Social Network based Information System for the Inclusive Community, IEEE 4th Annual Conference on Computational Science and Computational Intelligence-CSCI 2017, pp. 846-851, 2017
2016  [top]
2015  [top]
2014  [top]
  • Amir A., Apostolico A., Hirst T, Landau G.M., Lewenstein N., Rozenberg L.: Algorithms for Jumbled Indexing, Jumbled Border and Jumbled Square on Run-Length Encoded Strings, in the Proceedings of String Processing and Information Retrieval (SPIRE 2014), Lecture Notes in Computer Science, 8799, 2014
  • Anand A, Ida Mele, Bedathur S, Berberich K: Phrase Query Optimization on Inverted Indexes, ACM International Conference on Information and Knowledge Management, 2014
  • Apostolico A., Guerra C., Pizzi C.: Alignment Free Sequence Similarity with Bounded Hamming Distance, in the Proceedings of 2014 Data Compression Conference, Compression Conference (DCC), 2014
  • Bersani A, Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Quasi-Steady-State Approximations of the Chemical Master Equation in Enzyme Kinetics - Application to the Double Phosphorylation/ Dephosphorylation Cycle, in the Proceedings of Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on, IEEE Conference on Decision and Control (CDC 2014), 2014
  • Biega J, Ida Mele, Weikum G: Probabilistic Prediction of Privacy Risks in User Search Histories, 1st International Workshop on Privacy and Security of Big Data, PSBD@CIKM2014, 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Fault-Tolerant Approximate Shortest-Path Trees, in the Proceedings of Proc. of the 22nd European Symposium on Algorithms (ESA 2014), Lecture Notes in Computer Science, 8737, 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Local-knowledge Network Creation Games, in the Proceedings of Proc. of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14),, 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'14), 2014
  • Bilò D., Gualà L., Leucci S., Guido Proietti: Network Creation Games with Traceroute-Based Strategies, in the Proceedings of Proc. of the 21th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014), Lecture Notes in Computer Science, 8576, 2014
  • Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: A Carleman discretization approach to filter nonlinear stochastic systems with sampled measurements, IFAC World Congress on Automatic Control, 2014
  • Francesco Carravetta: Global Exponential State-Feedback Stabilization of an Underactuated Rigid-Body in 3D, 53rd IEEE Conference on Decision and Control}, (CDC 2014), 2014
  • Francesco Carravetta, Manes C., Pasquale Palumbo: Filtering and parameter estimation for a class of Hidden Markov Models with application to bubble-counting in microfluidics, IFAC World Congress on Automatic Control, 2014
  • Francesco Carravetta, White L.B.: New Normalized Bayesian Smoothers for Signals Modelled by Non-Causal Compositions of Reciprocal Chains, 2014 IEEE Workshop on Statistical Signal Processing}, (SSP 2014), 2014
  • D'Andrea A., D'Emidio M., Frigioni D., Leucci S., Guido Proietti: Experimental Evaluation of Dynamic Shortest Path Tree Algorithms on Homogeneous Batches, in the Proceedings of Proc. of the 13th International Symposium on Experimental Algorithms (SEA'14), Lecture Notes in Computer Science, 8504, 2014
  • Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, in the Proceedings of First Workshop on Horn Clauses for Verification and Synthesis, Electronic Proceedings in Theoretical Computer Science, 169, 2014
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, in the Proceedings of Proceedings of VPT 2014, EasyChair Proceedings in Computing (EPiC) series, 28, 2014
  • Federici M, Carlo Gaibisso, Bruno Luigi Martino: HAVmS Highly Available Virtual machine Computer System Fault Tolerant with Automatic Failback and close to zero downtime, ACTA POLYTECHNICA CTU PROCEEDINGS, 1, 2014
  • Fiscon G, Weitschek E., Giovanni Felici, Paola Bertolazzi, De Salvo S, Bramanti P, De Cola M C: Alzheimer's disease patients classification through EEG signals processing, in the Proceedings of 2014 IEEE Symposium Series on Computational Intelligence, 2014 IEEE Symposium on Computational Intelligence and Data Mining (CIDM) Proceedings, 2014
  • Fustaino V, Giovanni Felici, Ruberti G.: Integrated analysis of DNA copy number and gene expression data in Lung cancer models of resistance to targeted therapy, IV EURO WG Conference on Operational Research in Computational Biology, Bioinformatics and Medicine, 2014
  • Bruno Luigi Martino, Federici M: Not Relational Models For The Management of Large Amount of Astronomical Data, 2014
  • Sara Mattia, Rossi F., Servilio M., Smriglio S.: Robust Shift Scheduling in Call Centers, in the Proceedings of ISCO 2014, Lecture Notes in Computer Science, 8596, pp. 336--346, 2014
  • Mauro Mazzei, Palma A.L.: Comparative Analysis of Models of Location and Spatial Interaction, in the Proceedings of Computational Science and Its Applications ICCSA 2014, Lecture Notes in Computer Science, 8582, 2014
  • Nobile M.S., Citrolo A.G., Cazzaniga P, Besozzi D, Mauri G.: A memetic hybrid method for the Molecular Distance Geometry Problem with incomplete information, IEEE Congress on Evolutionary Computation (CEC 2014), 2014
  • Pasquale Palumbo, Pizzichelli G, Simona Panunzi, Pepe P., De Gaetano A.: Closed-loop control scheme for the euglycemic hyperinsulinemic clamp: validation on virtual patients, IFAC World Congress on Automatic Control, 2014
  • Simona Panunzi, Alessandro Borri, Pasquale Palumbo, Kovacs L, De Gaetano A.: Simulation of insulin regimen and glucose profiles in Type 1 Diabetic Patient, IEEE Conference on Systems, Man and Cybernetics, San Diego, USA, pp. 2464-2469, 2014
  • Maurizio Proietti, Smith F.: Reasoning on Data-Aware Business Processes with Constraint Logic, in the Proceedings of Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014), CEUR-WS, 1293, 2014
  • Smith F., Francesco Taglino: Semantics-based Social Media for Collaborative Open Innovation, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
  • Francesco Taglino, Smith F.: Triggering Creativity through Semantic Cross-domain Web Crawling and Routing, in the Proceedings of 2014 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2014
  • Tieri P, Prana V, Colombo T, Daniele Santoni, Castiglione F: Multi-scale Simulation of T Helper Lymphocyte Differentiation, in the Proceedings of 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014., Campos S ed., Lecture Notes in Computer Science, 8826, 2014
  • Weitschek E., Cunial F, Giovanni Felici: Classifying bacterial genomes with compact logic formulas on k-mer frequencies, Tjoa A.M., Wagner R.R., Morvan F eds., DEXA - Database and Expert Systems Applications, 2014
  • Weitschek E., Fiscon G, Paola Bertolazzi, Festa P., Giovanni Felici: A new greedy randomized procedure for the feature selection problem, IV EURO WG Conference on Operational Research in Computational Biology, Bioinformatics and Medicine, 2014
  • Weitschek E., Fiscon G, Giovanni Felici, Paola Bertolazzi: GELA: Gene Expression Logic Analyzer, Nettab2014 Workshop, From structural bioinformatics to integrative systems biology. Book of Abstract, 2014
2013  [top]
  • Giovanni Abramo, Ciriaco Andrea D'Angelo: Rethinking research evaluation indicators and methods from an economic perspective: the FSS indicator as a proxy of productivity, in the Proceedings of ISSI 14th International Society of Scientometrics and Informetrics Conference, Vienna, 15 July, 2013, Gorraiz J. ed., ISSI 14th International Society of Scientometrics and Informetrics Conference, 2013
  • Amoretti M, Grazioli A, Senni V., Tiezzi F, Zanichelli F: Towards a Formal Approach to Mobile Cloud Computing., in the Proceedings of Proccedings of PDP - Session on Formal Approaches to Parallel and Distributed Systems 2014, IEEE Computer Society Press, 2013
  • Avella P., Boccia M., Sara Mattia: Mixed Integer Lifted Cover Inequalities for Knapsack Problems with a Single Continuous Variable, in the Proceedings of 5th International Conference on Modeling, Simulation and Applied Optimization (ICMSAO) 2013, IEEEXplore, DOI 10.1109/ICMSAO.2013.6552649, 2013
  • Avella P., Boccia M., Sara Mattia: A Branch-and-Cut algorithm for the Single Source Capacitated Facility Location problem, in the Proceedings of Advanced Logistics and Transport (ICALT), 2013 International Conference on, IEEEXplore, DOI 10.1109/ICAdLT.2013.6568456, 2013
  • Becchetti L., Vincenzo Bonifaci, Dirnberger M., Karrenbauer A., Mehlhorn K.: Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds, in the Proceedings of the 40th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, 2013
  • Vincenzo Bonifaci, Marchetti Spaccamela A., Stiller S., Wiese A.: Feasibility Analysis in the Sporadic DAG Task Model, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2013
  • Alessandro Borri, Bianchi D., Di Benedetto M. D., Di Gennaro S.: Vehicle Attitude Control with Saturating Actuators: Workload Balancing and Reference Adaptation, Proceedings of the 52nd IEEE Conference on Decision and Control (CDC 2013), Florence, Italy, pp. 1558-1563, 2013
  • Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Chemical Master Equations: a mathematical scheme for the multi-site phosphorylation case, Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Reykjavik, Iceland, pp. 681-688, 2013
  • Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: Some Results on the structural properties and the solution of the Chemical Master Equation, Proceedings of the 2013 American Control Conference (ACC 2013), Washington, DC, USA, pp. 3777-3782, 2013
  • Alessandro Borri, Dimarogonas D. V., Johansson K. H., Di Benedetto M. D., Pola G.: Decentralized symbolic control of interconnected systems with application to vehicle platooning, Proceedings of the 4th IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys 2013), Koblenz, Germany, pp. 285-292, 2013
  • Cacace F., Valerio Cusimano, Germani A., Pasquale Palumbo: The Observer Follower Filter for stochastic differential systems with sampled measurements, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
  • Cacace F., Germani A., Manes C.: A chain approach for state observation of a class of MIMO nonlinear systems with time-varying output delays, in the Proceedings of 11th IFAC Workshop on Time-Delay Systems, Grenoble, France, February 4-6, Sename O., Wintrant E., Seuret A., Fridman E., Dugard L. eds., 11th IFAC Workshop on Time-Delay Systems, 2013
  • Cacace F., Germani A., Manes C.: Partial Spectrum Assignment for Systems with Delayed State Feedback, in the Proceedings of 11th Workshop on Time-Delay Systems, Dugard L., Wintrant E., Seuret A., Fridman E., Sename O. eds., 11th IFAC Workshop on Time-Delay Systems, 2013
  • Francesco Carravetta: Quadratic Embedding into Algebras and Global Stabilization for a Class of Nonlinear Control Systems, Nawrocka A, Petras I, Podlubny I, Kacur J, Sapinski B eds., Proceedings of the 14-th International Carpathian Control Conference (ICCC - 2013), 2013
  • Francesco Carravetta: Proportional Nonlinear Systems: A Liable Class for Global Exponential State-Feedback Stabilization, in the Proceedings of ASME 2013 Dynamic Systems and Control Conference, ASME 2013 Dynamic Systems and Control Conference, 2013
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying Programs via Iterated Specialization, in the Proceedings of Partial Evaluation and Program Manipulation (PEPM '13), ACM-SIGPLAN, 2013
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs through Transformation of Constraint Logic Programs, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 30-41, 2013
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Transforming Constraint Logic Programs, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 83-98, 2013
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verification of Imperative Programs by Constraint Logic Program Transformation, in the Proceedings of SAIRP 2013, Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, Vol 129, pp. 186-210, 2013
  • De Gaetano A., Gaz C, Gori Giorgi C., Pasquale Palumbo: An islet population model of pancreatic insulin production, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
  • Federici M, Bruno Luigi Martino: A Computer Cluster System for Pseudo-Parallel execution of Geant4 serial application, 2013
  • Anna Formica, Missikoff M, Pourabbas E., Francesco Taglino: A Linked Data Based Approach to Similarity Reasoning, Short Paper Proceedings of the Second Workshop on New Generation Enterprise and Business Innovation Systems, 2013
  • Juagwon K, Lenbury Y., De Gaetano A., Pasquale Palumbo: Reconstruction of insulin secretion under the effects of hepatic extraction during OGTT: a modelling and convolution approach, 13rd WSEAS American Conference on Applied Mathematics (AMERICAN-MATH'13), 2013
  • Ludovici V, Smith F., Francesco Taglino: Collaborative Ontology Building in Virtual Innovation Factories, in the Proceedings of 2013 International Conference on Collaboration Technologies and Systems, IEEE Computer Society Press, 2013
  • Sara Mattia: The Cut Condition for Robust Network Design, in the Proceedings of INOC 2013, Electronic Notes in Discrete Mathematics, 41, pp. 303--310, 2013
  • Mauro Mazzei: Automatic exploration of changes in land use in urban areas by multivariate analysis of bi-temporal remote sensing images, 2013
  • Ida Mele: Web usage mining for enhancing search-result delivery and helping users to find interesting web content, ACM International Conference on Web Search and Data Mining, 2013
  • Nobile M.S., Besozzi D, Cazzaniga P, Mauri G., Pescini D.: cupSODA: a CUDA-powered simulator of mass-action kinetics, in the Proceedings of Proceedings of 12th International Conference on Parallel Computing Technologies (PaCT 2013), Malyshkin V. ed., Lecture Notes in Computer Science, 7979, 2013
  • Pasquale Palumbo, Pepe P., Kong J.D., Kumar S.S., Simona Panunzi, De Gaetano A.: Regulation of the human plasma glycemia by means of glucose measurements and subcutaneous insulin administration, 3rd IFAC International Conference on Intelligent Control and Automation Science (ICONS13), 2013
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Closed-loop glucose control: application to the Euglycemic Hyperinsulinemic Clamp, 52nd IEEE Conference on Decision and Control (CDC'13), 2013
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Observer-based closed-loop control for the glucose-insulin system: local Input-to-State Stability with respect to unknown meal disturbances, American Control Conference (ACC13), 2013
  • Alberto Pettorossi, Maurizio Proietti: Program Transformation for Program Verification, in the Proceedings of First International Workshop on Verification and Program Transformation (VPT 2013), EasyChair Proceedings in Computing (EPiC) series, Vol. 16, pp. 13-14, 2013
  • Smith F., De Sanctis D., Maurizio Proietti: A Platform for Managing Business Process Knowledge Bases via Logic Programming, in the Proceedings of the 28th Italian Conference on Computational Logic (CILC 2013), CEUR-WS, Vol. 1068, pp. 247-251, 2013
  • Smith F., Maurizio Proietti: Rule-Based Behavioural Reasoning on Semantic Business Processes, in the Proceedings of 5th International Conference on Agents and Artificial Intelligence, ICAART, pp. 130-143, 2013
  • Weitschek E., Giovanni Felici, Paola Bertolazzi: Clinical data mining: problems, pitfalls and solutions, Wagner R.R., Tjoa A.M., Morvan F eds., DEXA - Database and Expert Systems Applications, 2013
2012  [top]
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., van der Ster S., Stougie L.: The Preemptive Uniprocessor Scheduling of Mixed-Criticality Implicit-Deadline Sporadic Task Systems, in the Proceedings of Euromicro Conference on Real-Time Systems, IEEE Computer Society Press, 2012
  • Baruah S., Vincenzo Bonifaci, Marchetti Spaccamela A., Stougie L., Wiese A.: A Generalized Parallel Task Model for Recurrent Real-Time Processes, in the Proceedings of Real-Time Systems Symposium, IEEE Computer Society Press, 2012
  • Vincenzo Bonifaci, Mehlhorn K., Varma G.: Physarum Can Compute Shortest Paths, in the Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2012
  • Alessandro Borri, Pola G., Di Benedetto M. D.: A Symbolic Approach to the Design of Nonlinear Networked Control Systems, Mitchell I., Dang T. eds., Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, ser. HSCC 2012, New York, NY, USA, pp. 255-264, 2012
  • Alessandro Borri, Pola G., Di Benedetto M. D.: Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems, Proceedings of the 51st IEEE Conference on Decision and Control (CDC 2012), Maui, HI, USA, pp. 1374-1379, 2012
  • Francesco Carravetta: Some Results on the Problem of Global Exact Bilinearization for Nonlinear Delay Systems., 2012
  • Francesco Carravetta: On the Equivalence between Nonlinear- and Fractional Bilinear- Control Systems, 2012
  • Francesco Carravetta, Pasquale Palumbo, Pepe P.: Memoryless solution to the infinite horizon optimal control of linear time-invariant systems with delayed input, IASTED Asian Conference on Modeling, Identification and Control (AsiaMIC2012), 2012
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Software Model Checking by Program Specialization, in the Proceedings of 27th Italian Conference on Computational Logic (CILC-2012), CEUR-WS, 857, 2012
  • Emanuele De Angelis, Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Branching Preserving Specialization for Software Model Checking, in the Proceedings of 22nd International Symposium on Logic-Based Program Synhesis and Transformation (LOPSTR 2012), Albert E. ed., 2012
  • Giovanni Felici, Weitschek E.: Mining Logic Models in the Presence of Noisy Data, in the Proceedings of Fort Lauderdale FL., January 9-11, ISAIM - International Symposium on Artificial Intelligence and Mathematics, 2012
  • Anna Formica, Mauro Mazzei, Pourabbas E., Rafanelli M.: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, in the Proceedings of Proc. of Int. Cross-Domain Conf. and Workshop on Availability, Reliability, and Security, CD-ARES 2012,, Quirchmayr G. ed., Lecture Notes in Computer Science, 7465, 2012
  • Giorgetti A, Senni V.: Specification and Validation of Algorithms Generating Planar Lehman Words, in the Proceedings of 8th International Conference on random generation of combinatorial structures (GASCom'12, ), June 25-27, 2012, LaBRI, Bordeaux, 2012
  • Lotti S, Perinati E, Natalucci L, Piro L, Mineo T, Colasanti L, Macculi C, Federici M, Bruno Luigi Martino: An efficient method for reducing the background of microcalorimeters applied to ATHENA-XMS, 2012
  • Bruno Luigi Martino, Federici M: An high availability data storage subsystem for the INTEGRAL data analysisis, 2012
  • Bruno Luigi Martino, Federici M, Natalucci L, Ubertini P: AVES: A Computer Cluster System approach for INTEGRAL Scientific Analysis, 2012
  • Ida Mele, Bonchi F, Gionis A: The early-adopter graph and its application to web-page recommendation, ACM International Conference on Information and Knowledge Management, 2012
  • Sara Nicoloso, Pietropaoli U.: EURO XXV, EURO XXV, 2012
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Observer-based glucose control via subcutaneous insulin administration, 8th IFAC Symposium on Biological and Medical Systems (BMS2012), 2012
  • Pourabbas E., Shoshani A., Wu K.: Minimizing Index Size by Reordering Rows and Columns, Bowers Shawn, Ailamaki Anastasi eds., 24th Internaional Conference on Scientific and Statistical Database Management-SSDBM 2012, Lecture Notes in Computer Science 7338, 2012
  • Pourabbas E., Francesco Taglino: A Semantic Platform for Enterprise Knowledge Interoperability, Poler Raul, Doumeingts Guy, Katzy Bernhard, Chalmeta Ricardo eds., Proceedings of the I-ESA Conferences 6, I-ESA 2012, Enterprise Interoperability V, Shaping Enterprise Interoperability in the Future Internet, 5, 2012
  • Senni V., Fioravanti F.: Generation of Test Data Structures Using Constraint Logic Programming, in the Proceedings of 6th International Conference on Tests and Proofs (TAP 2012), Lecture Notes in Computer Science, 7305, 2012
  • Weitschek E., Giovanni Felici, Paola Bertolazzi: MALA: A Microarray clustering and classification software, Wagner R.R., Tjoa A.M., Hameurlain A eds., DEXA - Database and Expert Systems Applications, 2012
2011  [top]
2010  [top]
  • Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: On performance of Topical Opinion Retrieval, in the Proceedings of 33rd international ACM SIGIR conference on Research and development in information retrieval, ACM-SIGIR Conference, 2010
  • Amati G., Amodeo G., Capozio V., Carlo Gaibisso, Gambosi G.: A study on the evaluation of opinion retrieval systems, in the Proceedings of First Italian Information Retrieval Workshop, Italian Information Retrieval Workshop, 1st, 2010
  • Amati G., Amodeo G., Capozio V., Gambosi G., Carlo Gaibisso: Assessing the quality of opinion retrieval systems, in the Proceedings of The First International Workshop on Opinion Mining for Business Intelligence, IEEE Computer Society Press, 2010
  • Angelucci D., Barbagallo A., Di Mascio T., Michele Missikoff, Francesco Taglino: A social platform for enterprise ontology building, in the Proceedings of Proceedings of the Open Knowledge Models (OKM 2010) workshop. 11th October-15th October 2010 - Lisbon, Portugal, Proceedings in Informatics, 2010
  • Barbagallo A., De Nicola A., Michele Missikoff: eGovernment Ontologies: Social Participation in Building and Evolution, in the Proceedings of Forty-Third Annual Hawaii International Conference on System Sciences, IEEE Computer Society Press, 2010
  • Baruah S., Vincenzo Bonifaci, D'Angelo G., Li H., Marchetti Spaccamela A., Megow N., Stougie L.: Scheduling Real-Time Mixed-Criticality Jobs, in the Proceedings of the 35th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 2010
  • Vincenzo Bonifaci, Chan H.-L., Marchetti Spaccamela A., Megow N.: Algorithms and Complexity for Periodic Real-Time Scheduling, in the Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM Proceedings in Applied Mathematics, 2010
  • Vincenzo Bonifaci, Marchetti Spaccamela A.: Feasibility Analysis of Sporadic Real-Time Multiprocessor Task Systems, in the Proceedings of the 18th Annual European Symposium on Algorithms, Lecture Notes in Computer Science, 2010
  • Bopardikar S. D., Alessandro Borri, Hespanha J. P., Prandini M., Di Benedetto M. D.: Randomized Sampling for Large Zero-Sum Games, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010), Atlanta, GA, USA, pp. 7675-7680, 2010
  • Alessandro Borri, Pola G., Di Benedetto M. D.: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications, Proceedings of the 49th IEEE Conference on Decision and Control (CDC 2010), Atlanta, GA, USA, pp. 1528-1533, 2010
  • Cacace F., Farina L., Germani A., Pasquale Palumbo: Discrete-time models for gene transcriptional regulation networks, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Francesco Carravetta, Pasquale Palumbo, Pepe P.: Quadratic optimal control of linear systems with time-varying input delay, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • D'Ambrosio C., Antonio Frangioni, Liberti L., Lodi A.: Experiments with a Feasibility Pump Approach for Non-Convex MINLPs, in the Proceedings of Lecture Notes in Computer Science, Festa P. ed., 9th International Symposium on Experimental Algorithms - SEA 2010, 6049, 2010
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for Business Process Knowledge Base Management, in the Proceedings of 18th Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, 2010
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: An Open Platform for Business Process Modeling and Verification, in the Proceedings of International Conference on Database and Expert Systems Applications, DEXA, September 2010, Lecture Notes in Computer Science, 6261, 2010
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, in the Proceedings of 20th International Symposium on Logic-Based Synthesis and Transformation (LOPSTR 2010), July 23-25, 2010, Hagenberg, Austria, RISC-Linz Report Series No. 10-14., Alpuente M ed., 2010
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
  • Anna Formica, Michele Missikoff, Pourabbas E., Francesco Taglino: Semantic Search for Enterprises Competencies Management, in the Proceedings of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2010
  • Forni F., Galeani S., Nesic D., Zaccarian L.: Lazy sensors for the scheduling of measurement samples transmission in linear closed loops over networks, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Forni F., Galeani S., Zaccarian L.: An almost anti-windup scheme for plants with magnitude, rate and curvature saturation, in the Proceedings of American Control Conference, June 2010, Baltimore, Maryland, US., 2010
  • Forni F., Nesic D., Zaccarian L.: Results on passification of nonlinear controllers via a suitable time-regular reset map, in the Proceedings of Symposium on Nonlinear Control Systems (NOLCOS), Bologna, Italy, 2010
  • Forni F., Teel A.R.: Stability for a class of homogeneous hybrid systems by annular Lyapunov analysis, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Forni F., Teel A.R.: Instability and overshoots of solutions for a class of homogeneous hybrid systems by Lyapunov-like analysis, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Antonio Frangioni, Claudio Gentile, Grande E., Pacifici A.: Projected Perspective Reformulations for MIQP problems, in the Proceedings of Proceedings of the European Workshop on Mixed Integer Nonlinear Programming, 2010
  • Antonio Frangioni, Perez Sanchez L.: Searching the Best (Formulation, Solver, Configuration) for Structured Problems, in the Proceedings of Complex Systems Design & Management, Bretaudeau F., Aiguier M., Krob D. eds., First International Conference on Complex Systems Design & Management CSDM 2010, 2010
  • Gmati I., Michele Missikoff, Nurcan S.: A Systematic Method for the Intentional Modelling and Verification of Business Applications, itAIS Conference on Information Technology and Innovation Trends, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: A Business Process Knowledge Base for Composite Services Development, in the Proceedings of International Workshop on Business System Management and Engineering, BSME, Malaga, 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: Reasoning on Business Processes and Ontologies in a Logic Programming Environment, in the Proceedings of 3rd Interop-Vlab.It Workshop, CEUR-WS, 653, 2010
  • Pasquale Palumbo, Pepe P., Simona Panunzi, De Gaetano A.: Digital closed-loop control of plasma glycemia, 49th IEEE Conference on Decision and Control (CDC 2010), 2010
  • Federico Papa: A model of the tumour spheroid response to radiation: identifiability analysis, BIOSIGNALS 2010, Proceeding of the 3rd International Conference on Bio-Inspired Systems and Signal Processing, 2010
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: A Transformation Strategy for Verifying Logic Programs on Infinite Lists, in the Proceedings of 25th Italian Conference on Computational Logic (CILC'10), Leone N., Faber W. eds., CEUR-WS, 598, 2010
2009  [top]
2008  [top]
2007  [top]
  • Amati G., Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: FUB, IASI-CNR and University of Tor Vergata at TREC, in the Proceedings of The Sixteenth Text REtrieval Conference (TREC 2007) Proceedings, Voorhees E. M., Buckland L. P. eds., NIST Special Publication, SP 500-274, 2007
  • Bertuzzi A., Fasano A., Gandolfi A., Carmela Sinisgalli: A mathematical model of ATP production in a multicellular spheroid model with necrotic core, in the Proceedings of SysBioHealth Symposium 2007, Alberghina L., Milanesi L. eds., 2007
  • Bertuzzi A., Fasano A., Gandolfi A., Carmela Sinisgalli: Reoxygenation and split-dose response to radiation in a tumour cord model, in the Proceedings of 23rd IFIP TC7, Conference on System Modelling and Optimization, Szymkat M., Korytowski A., Mitkowski W. eds., 2007
  • Bertuzzi A., Fasano A., Gandolfi A., Carmela Sinisgalli: A mathematical model of ATP production in a multicellular spheroid model with necrotic core, Alberghina L., Milanesi L. eds., 2007
  • Bianco L., Caramia M., Giordani S.: A Bi-level Network Flow Model for Planning Hazmat Shipments, in the Proceedings of Tristan VI, 2007
  • Bianco L., Cerulli R., Gentili M.: New Resolution Approach for the Sensor Location Problem , in the Proceedings of Tristan VI, 2007
  • Bielli M.: Mission, activities and challenges of the Euro Working Group Transportation, in the Proceedings of Int. Conference on Transportation and Logistics Integrated Systems, 2007
  • Bielli M., Bielli A.: Innovation paths management in collaborative enterprise clusters, in the Proceedings of First Int. Conference on Management Innovation, 2007
  • Bielli M., Bielli A.: Management models of Collaborative Demand and Supply Networks, in the Proceedings of Int. Conference on Management of Manufacturing and Operational Services, 2007
  • Bilò D., Derungs J., Gualà L., Guido Proietti, Widmayer P.: Locating Facilities on a Network to Minimize their Average Service Radius, in the Proceedings of 18th International Symposium on Algorithms and Computation (ISAAC'07), December 17-19, 2007, Sendai, Japan, Lecture Notes in Computer Science, 4835, 587-598, 2007
  • Bilò D., Forlizzi L., Gualà L., Guido Proietti: Approximate Mechanisms for the Metric TSP and other Graph Traversal Problems, in the Proceedings of 3rd International Workshop on Internet & Network Economics (WINE'07), December 12-14, 2007, San Diego, USA, Lecture Notes in Computer Science, 4858, 503-514, 2007
  • Bilò D., Forlizzi L., Gualà L., Guido Proietti: An Algorithm Composition Scheme Preserving Monotonicity, in the Proceedings of 26th ACM Symposium on Principles of Distributed Computing (PODC'07), ACM Press Portland, USA, 360-361, 2007
  • Francesco Carravetta: Representation and smoothing of non-Gaussian Markov chains: a Kronecker-algebra based approach, in the Proceedings of American Control Conference (ACC 2007), American Automatic Control Council New York City, New York, USA, 2007
  • D'Ulizia A., Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Structural similarity in geographical queries to improve query answering, ACM Symposium on Applied Computing (SAC), 2007
  • D'Ulizia A., Ferri F., Grifoni P., Rafanelli M.: Constraint relaxation on topological operators which produce a null value as answer to a query, in the Proceedings of IRMA, 2007
  • De Nicola A., Lezoche M., Michele Missikoff: An Ontological Approach to Business Process Modeling , in the Proceedings of IICAI-07, 2007
  • De Nicola A., Michele Missikoff, Francesco Taglino: A Semantic Cooperation Platform for the Interoperability of European Chambers of Commerce , in the Proceedings of eChallenges2007, Cunningham P., Cunningham M. eds., IOS Press, 2007
  • Di Battista G., Drovandi G., Frati F.: How to Draw a Clustered Tree, in the Proceedings of 10th Workshop on Algorithms and Data Structures (WADS '07), Sack J.R., Dehne F., Zeh N. eds., Lecture Notes in Computer Science, 4619, 2007
  • Fusco G., Gentile G., Meschini L., Bielli M., Giovanni Felici, Cipriani E., Gori S., Nigro M.: Strategies for signal settings and dynamic traffic modelling, in the Proceedings of TRISTAN VI Conference, 2007
  • Galli M., Falcone G, De Santis V., Toriani-Terenzi C., Pozzetto U., Pozzoli G., Tringali G., Vairano M., Navarra P.: In vitro evaluation of pro-infiammatory effects of metallic and ceramic particles in humana blood monocytes and lymphocytes, in the Proceedings of 8th Congress of The Europian Federation of National Associations of Orthopaedics and traumatology, 2007
  • Germani A., Manes C., Pasquale Palumbo: Simultaneous system identification and channel estimation: a hybrid system approach, in the Proceedings of 46th IEEE Conference on Decision and Control (CDC07), 2007
  • Germani A., Manes C., Pasquale Palumbo: State space representation of a class of MIMO systems via combination of positive systems, in the Proceedings of 46th IEEE Conference on Decision and Control (CDC07), 2007
  • Malucelli F., Sara Nicoloso: Optimal Partition of a Bipartite Graph with Prescribed Layout into Non-Crossing Matchings and Non-Crossing b-Matchings, in the Proceedings of Airo Winter 2007, Cortina D'Ampezzo, Italia, 2007
  • Manes C., Martinelli A., Martinelli F., Pasquale Palumbo: Mobile robot localization based on a polynomial approach, in the Proceedings of IEEE International Conference on Robotics and Automation (ICRA'07), 3539-3544, 2007
  • Gabriella Mavelli, Pasquale Palumbo: A Carleman approximation scheme for a stochastic optimal nonlinear control problem, in the Proceedings of 9th European Control Conference (ECC07), 2007
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Automatic Correctness Proofs for Logic Program Transformations, in the Proceedings of 23rd International Conference on Logic Programming (ICLP '07), Niemela I., Dahl V. eds., Lecture Notes in Computer Science, 4670, pp. 364-379, Springer, 2007
  • Pourabbas E.: Interoperability for Emergenices' Managment, in the Proceedings of International Conference on Security and Civil Protection: Research for Strategic Planning of social, enviornmental, technological and economic aspects, Rome, March 30, 2007, 2007
  • Rafanelli M., Ferri F., Grifoni P.: An advanced pictorial query language to query urban and rural data on GIS, in the Proceedings of Human Computer Interaction, IASTED, 118-123, 2007
  • Rendl F., Giovanni Rinaldi, Wiegele A.: A Branch and Bound Algorithm for Max-Cut Based on Combining Semidefinite and Polyhedral Relaxations, in the Proceedings of Integer Programming and Combinatorial Optimization - IPCO XII, Fischetti M., Williamson D.P. eds., Lecture Notes in Computer Science, 4513, Springer-Verlag, 295-309, 2007
2006  [top]
  • Ambrosi E., Bianchi M., Giovanni Felici: When is it convenient to predict the web services completion time?, in the Proceedings of PDCN '06: Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networks, ACTA Press Anaheim, CA, USA, 250-255, 2006
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: JASMINA: An observing behaviours experiment of java threads migration mechanisms over JXTA, in the Proceedings of Proceedings of the IEEE 2006 International Conference on Hybrid Information Technology (ICHIT 06), 9-11 November, 2006, Cheju Island, Korea., 2006
  • Bagnato A., Coscia E., Michele Missikoff, Pondrelli L., Francesco Taglino: Semantic Reconciliation of Business Documents in a SOA Framework, in the Proceedings of eChallenges 2007, 2006
  • Barile G., Ferri F., Frigo A., Rafanelli M.: GeoPQL: la ricerca nell'interrogazione pittoriale di dati territoriali/urbanistici, in the Proceedings of Nona Conferenza Italiana Utenti ESRI, 2006
  • Bianchini D., Castano S., D'Antonio F., De Antonellis V., Harzallah M., Michele Missikoff, Montanelli S.: Digital resource discovery: semantic annotation and matchmaking techniques, in the Proceedings of IESA06, 2006
  • Bielli M., Dell'Orco M., Gedizlioglu E., Akad M.: A dynamic network loading model for the evaluation and control of traffic pollution, in the Proceedings of Proc. 11th Meeting EURO Working Group Transportation, 783-787, 2006
  • Bielli M., Giovanni Felici, Mecoli M.: Decision support tools in designing supply chains and logistic networks, in the Proceedings of Proc. MITIP Conference, 205-210, 2006
  • Bielli M., Giovanni Felici, Mecoli M.: Innovation in modeling complex supply chain and logistic networks, in the Proceedings of Proc. International Conference on Information Systems, Logistics and Supply Chain, 2006
  • Bilò D., Gualà L., Guido Proietti: Dynamic Mechanism Design, in the Proceedings of 2nd International Workshop on Internet and Network Economics (WINE '06), Lecture Notes in Computer Science, 4286, Springer-Verlag Patras, Greece, 3-15, 2006
  • Bilò D., Gualà L., Guido Proietti: Hardness of Designing a Truthful Mechanism for a Spanning Arborescence Bicriteria Problem, in the Proceedings of 3rd Workshop on Combinatorial and Algorithmic Aspects of Networking (CAAN '06), Lecture Notes in Computer Science, 4235, Springer-Verlag Chester, UK, 19-30, 2006
  • Bilò D., Gualà L., Guido Proietti: On the Existence of Truthful Mechanisms for the Minimum-cost Approximate Shortest-paths Tree Problem, in the Proceedings of 13th Coll. on Structural Information and Communication Complexity (SIROCCO '06), Lecture Notes in Computer Science, 4056, Springer-Verlag Chester, UK, 295-309, 2006
  • Bilò D., Guido Proietti: On the Complexity of Minimizing Interference in Ad-Hoc and Sensor Networks, in the Proceedings of 2nd Int. Workshop on Algorithmic Aspects of Wireless Sensor Networks (ALGOSENSORS '06), Lecture Notes in Computer Science, 4240, Springer-Verlag Venezia, Italy, 13-24, 2006
  • Bockenhauer H.J., Kneis J., Kupke J., Hromkovič J., Forlizzi L., Guido Proietti, Widmayer P.: Reusing Optimal TSP Solutions for Locally Modified Input Instances, in the Proceedings of 4th IFIP International Conference on Theoretical Computer Science (TCS '06), 209, Springer Santiago, Chile, 251-270, 2006
  • Bottoni P., D'Antonio F., Michele Missikoff: Towards a unified view of model mapping and transformation, in the Proceedings of EMOI06 within Caise06, 2006
  • Campana E.F., Fasano G., Peri D., Pinto A.: Particle Swarm Optimization: efficient globally convergent modifications, in the Proceedings of III European Conference On Computational Mechanics - Solids, Structures and Coupled Problems in Engineering, 2006
  • Francesco Carravetta: Representation of Non-Gaussian, Finite-States, Reciprocal Processes: the 1-D Problem with Cyclic Boundary Conditions, in the Proceedings of 45th IEEE Conference on Decision and Control, Omnipress ed., 955-960, 2006
  • D'Antonio F., Michele Missikoff, Bottoni P., Hahn A., Hausmann K.: An ontology for describing model mapping/transformation tools and methodologies the MoMo ontology, in the Proceedings of EMOI06 within Caise06, 2006
  • D'Antonio F., Michele Missikoff, Bottoni P., Hahn A., Hausmann K.: Towards a recommendation system for model mapping/transformations tasks, in the Proceedings of Pro-VE conference, 2006
  • D'Ulizia A., Ferri F., Grifoni P., Rafanelli M.: Constraint relaxing on topological operators in pictorial queries with null answer, in the Proceedings of CLEI '06, Publ. IFI. ed., 2006
  • D'Ulizia A., Ferri F., Grifoni P., Rafanelli M.: Relaxing Constraints on GeoPQL Operators to Improve Query Answering, in the Proceedings of DEXA, 2006
  • De Francisci S., Sindoni G., Tininini L.: Multidimensional Statistical Data Dissemination on the Web, in the Proceedings of Joint UNECE/Eurostat/OECD Seminar on the Management of Statistical Information Systems (MSIS), 2006
  • De Nicola A., Chimienti M., Dassisti M., Michele Missikoff: Benchmarking Criteria to Evaluate Ontology Building Methodologies, in the Proceedings of EMOI-INTEROP 2006, 2006
  • De Virgilio R., Torlone R.: Modeling heterogeneous context information in adaptive web based applications, in the Proceedings of ICWE '06: Proceedings of the 6th international conference on Web engineering, Palo Alto, California, USA, ACM Press New York, NY, USA, 56-63, 2006
  • De Virgilio R., Torlone R., Houben G.J.: A Rule-based Approach to Content Delivery Adaptation in Web Information Systems, in the Proceedings of MDM '06: Proceedings of the 7th International Conference on Mobile Data Management (MDM '06), IEEE Computer Society Washington, DC, USA, 2006
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: Design of observers for systems with rational output function, in the Proceedings of 45th IEEE Conference on Decision and Control (CDC06), Parisini T. ed., 1641-1646, 2006
  • Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Query Approximation by Semantic Similarity in GeoPQL, in the Proceedings of OTM Workshops (2), Lecture Notes in Computer Science, 4278, 2006
  • Antonio Frangioni, Claudio Gentile, Lacalandra F.: New Lagrangian heuristics for ramp-constrained unit commitment problems, in the Proceedings of 19th Mini-EURO Conference in Operations Research Models and Methods in the Energy Sector - ORMMES, 2006
  • Fusco G., Bielli M., Giovanni Felici, Gentile G., Meschini L., Cipriani E., Gori S., Nigro M.: Interaction between signal settings and traffic flows on road networks, in the Proceedings of Proc. 11th EURO Working Group Meeting and EXTRA EURO Conference, 851-864, 2006
  • Germani A., Graziosi F., Manes C., Ocera G., Pasquale Palumbo: Recursive filtering for log-Rice signals, in the Proceedings of 45th IEEE Conference on Decision and Control (CDC06), Parisini T. ed., 2006
  • Meschini L., Bielli M., Giovanni Felici: A real application of traffic signal control model based on logic programming and queues estimation, in the Proceedings of Proc. 21st EURO Conference on Operations Research, 2006
  • Sara Nicoloso, Pietropaoli U.: On Isomorphic 4-Regular Circulant Graphs, in the Proceedings of ISMP 2006 - International Symposium on Mathematical Programming, 2006
  • Nuzzo G., Giuliante F., Ardito F., Vellone M., Ivo Giovannini: Mesohepatectomy (segments 4-5-8) in total vascular exclusion with preservation of caval flow for liver metastases (video di tecnica chirurgica), in the Proceedings of Proceedings VII International Congress of IHBPA, 2006
  • Pasquale Palumbo, De Gaetano A.: A closed-loop optimal control of the plasma glycemia, in the Proceedings of 45th IEEE Conference on Decision and Control (CDC06), Parisini T. ed., 679-684, 2006
  • Pasquale Palumbo, Simona Panunzi, De Gaetano A.: Stability analysis of a discrete-delay model of the glucose-insulin system, in the Proceedings of 6th IFAC Workshop on Time Delay System (TDS2006), Pepe P., Manes C. eds., 2006
  • Penna P., Guido Proietti, Widmayer P.: Strongly Polynomial-Time Truthful Mechanisms in One Shot, in the Proceedings of 2nd International Workshop on Internet and Network Economics (WINE '06), Lecture Notes in Computer Science, 4286, Springer-Verlag Patras, Greece, 77-88, 2006
  • Pourabbas E., Shoshani A.: The Composite OLAP-Object Data Model: Removing an Unnecessary Barrier, in the Proceedings of SSDBM 2006, 18th International Conference on Scientific and Statistical Database Management, 2006
  • Guido Proietti, Widmayer P.: Partitioning the Nodes of a Graph to Minimize the Sum of Subgraph Radii, in the Proceedings of 17th Annual International Symposium on Algorithms and Computation (ISAAC '06), Lecture Notes in Computer Science, 4288, Springer-Verlag Kolcata, India, 578-587, 2006
  • Gabriele Sganga: Fattori di rischio per le invasioni invasive da Candida spp in terapia intensiva, in the Proceedings of Volume degli Atti 8{\textdegree} Congresso Nazionale FIMUA - Federazione Italiana Micopatologia Umana e Animale, 2006
  • Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of International Conference on Internet and Web Applications and Services (ICIW '06), 2006
  • Sindoni G., Tininini L.: Statistical Warehousing on the Web: navigating troubled waters, in the Proceedings of Fourteenth Italian Symposium on Advanced Database Systems (SEBD 2006), 241-248, 2006
  • Swierniak A., d'Onofrio A., Gandolfi A.: Control problems related to tumor angiogenesis, in the Proceedings of IEEE-IECON '2006, 32nd Annual Conference of the IEEE IES, 677-681, 2006
2005  [top]
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G.: A description logic based grid inferential monitoring and discovery framework, in the Proceedings of Proceedings of the 2005 International Conference on Grid Computing and Applications (GCA'05), June 13-15, 2005, Las Vegas, Nevada, USA., 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Transparent Java threads migration protocol over P2P, in the Proceedings of Proceedings of Third International Symposium on Parallel and Distributed Processing and Applications (ISPA'05), 2-5 November, 2005, Nanjing, China., Dongarra J., Pan Y., Chen D., Guo M., Cao J. eds., Lecture Notes in Computer Science, 3578, 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: Extending the UDDI API for service instance ranking, in the Proceedings of Proceedings of the International Symposium on Web Services (ISWS'05), June 27-30, 2005, Las Vegas, Nevada, USA., 2005
  • Ambrosi E., Bianchi M., Carlo Gaibisso, Gambosi G., Lombardi F.: A system for predicting the run-time behavior of Web services, in the Proceedings of Proceedings of the 2nd IEEE International Conference on Services Systems and Services Management (ICSSSM'05), June 13-15, 2005, Chongqing University , China., 2005
  • Bilò D., Guido Proietti: Range augmentation problems in static ad-hoc wireless networks, in the Proceedings of 12th Colloquium on Structural Information and Communication Complexity (SIROCCO'05), Lecture Notes in Computer Science, 3499, 49-64, 2005
  • Cabibbo L., Torlone R.: Integrating Heterogeneous Multidimensional Databases, in the Proceedings of 17th Int. Conference on Scientific and Statistical Database Management (SSDBM'05), 27--29 June, University of California, Santa Barbara, CA, USA, 205-214, 2005
  • Clausen W.H.O., De Gaetano A.: A model for exhogenous glucose regulation in IDDM, in the Proceedings of European Conference on Mathematical and Theoretical Biology, 2005
  • De Gaetano A., Di Martino D., Germani A., Manes C., Pasquale Palumbo: Distributed-delays models of the glucose-insulin homeostasis and asymptotic state observation, 2005
  • De Nicola A., Michele Missikoff, Misceo F.: A Core Business Ontology for eProcurement: a First Proposal, in the Proceedings of itAIS 2005, 2nd Conference of the Italian Chapter of AIS, 2005
  • De Nicola A., Michele Missikoff, Navigli R.: A proposal for a Unified Process for Ontology building: UPON, in the Proceedings of DEXA 05 - International Conference on Database and Expert Systems Applications - Copenaghen, Lecture Notes in Computer Science, 3588, 655-664, 2005
  • De Nicola A., Navigli R., Michele Missikoff: Building an eProcurement Ontology with UPON methodology, in the Proceedings of E-CHALLENGE 2005., 2005
  • Ferri F., Anna Formica, Grifoni P., Rafanelli M.: Evaluating semantic similarity using GML in Geographic Information Systems, in the Proceedings of SebGIS'05, First Intern. Workshop on Semantic-based Geographical Information Systems, Agia Napa, Cyprus, 30 October - 4 November, Lecture Notes in Computer Science, 3762, 1009-1019, 2005
  • Ferri F., Grifoni P., Rafanelli M.: The sketch recognition and query interpretation by GSQL, a Geographical Sketch Query Language, in the Proceedings of CIT '05, 5th International IEEE Conference on Computer and Information Technology, Shanghai, China, 21-23 September, 34-38, 2005
  • Ferri F., Grifoni P., Rafanelli M.: Querying by Sketch Geographical Databases and Ambiguities , in the Proceedings of 16th Intern. Conference on Data Base and Expert System Applications - DEXA '05, Copenhagen, Danimarca, 22-26 Agosto, Lecture Notes in Computer Science, 3588, 524-533, 2005
  • Ferri F., Grifoni P., Rafanelli M.: A pictorial human computer interaction to query geographical data, in the Proceedings of PCI '05, 10th Panhellenic Conference on Informatics, Volos (Greece), November 11-13, Lecture Notes in Computer Science, 3746, 317-327, 2005
  • Ferri F., Rafanelli M.: GeoPQL: a Geographical Pictorial Query Language that resolves ambiguities in query interpretation, in the Proceedings of Journal of Data Semantics, Lecture Notes in Computer Science, 3534, 50-80, 2005
  • Carlo Gaibisso, Lombardi F.: A Reliable Multicast Approach To Replica Management for Grids, in the Proceedings of Proceedings of the 23rd IASTED International Multi-conference Parallel and Distributed Computing and Networks, February 15-17, 2005, Innsbruck, Austria, 2005
  • Germani A., Manes C., Pasquale Palumbo: Filtering of differential nonlinear systems via a carleman approximation approach, in the Proceedings of 44th IEEE Conference on Decision and Control \& European Control Conference (CDC-ECC05), Siviglia, Spagna, 2005
  • Germani A., Manes C., Pasquale Palumbo: A Family of polynomial filters for discrete-time nonlinear stochastic systems, 2005
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering and identification of discrete-time nonlinear uncertain stochastic systems, in the Proceedings of 44th IEEE Conference on Decision and Control & 8th European Control Conference (CDC-ECC 2005), 2005
  • Gualà L., Guido Proietti: A Truthful (2-2/k)-Approximation Mechanism for the Steiner Tree Problem with k Terminals, in the Proceedings of 11th Annual International Conference on Computing and Combinatorics, Lecture Notes in Computer Science, 3595, 390-400, 2005
  • Gualà L., Guido Proietti: Efficient Truthful Mechanisms for the Single-Source Shortest Paths Tree Problem, in the Proceedings of 11th International Euro-Par Conference, Lecture Notes in Computer Science, 3468, 941-951, 2005
  • Hromkovič J., Forlizzi L., Guido Proietti, Seibert S.: On the stability of approximation for Hamiltonian path problems, in the Proceedings of 31st Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2005), 22-28 Gennaio, Lecture Notes in Computer Science, 3381, 147-156, 2005
  • Malvestuto F.M., Pourabbas E.: Local Computation of Answers to Table Queries on Summary Databases, in the Proceedings of 17th International Conference on Scientific and Statistical Database Management-SSDBM, June 27-29, Santa Barbara, USA, 263-270, 2005
  • Michele Missikoff, Schiappelli F.: A Method for Ontology Modeling in the Business Domain, in the Proceedings of Proc. of INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI), in the 17th International Conference on Advanced Information Systems Engineering (CAiSE 2005), Porto, Portugal, June 13-14th, 209-222, 2005
  • Sara Nicoloso, Pietropaoli U.: Coloring Circulant Graphs, in the Proceedings of XXVI Annual Conference of the Italian Operational Research Society, AIRO 2005, Camerino, 2005
  • Alberto Pettorossi, Maurizio Proietti, Senni V.: Transformational Verification of Parameterized Protocols Using Array Formulas., in the Proceedings of 15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), Imperial College, London, UK, September 7-9, Hill P.M ed., Lecture Notes in Computer Science, 2005
  • Guido Proietti, Widmayer P.: A truthful mechanism for the non-utilitarian minimum radius spanning tree problem, in the Proceedings of 17th Annual ACM Symposium on Parallel Algorithms, ISBN/ISSN: 1-58113-986-1, 195-202, 2005
2004  [top]
  • Avella P., Sara Mattia, Sassano A.: Metric Inequalities and the Network Loading Problem, in the Proceedings of IPCO X, Lecture Notes in Computer Science, 3064, pp. 16--32, 2004
  • Avenali A., Batini C., Paola Bertolazzi, Missier P.: A Formulation of the Data Quality Optimization Problem in Cooperative Information Systems, in the Proceedings of CAiSE Workshops (2), Grundspenkis J., Kirikova M. eds., 49-63, 2004
  • Bagnoli F., Sterbini A., Temperini M.: Automatic correction of C programming exercises through Unit-Testing and Aspect-Programming, in the Proceedings of International Conference on Education and Information Systems, Technologies and Applications, EISTA 2004, Orlando Jul. 21-25 2004, 2004
  • Bianchi M., Carlo Gaibisso, Gambosi G.: Enhancing Dynamic Selection of Web Services Access Point, in the Proceedings of Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems, November 9-11, 2004, Cambridge, MA, USA, Gonzalez T. ed., 2004
  • Brazzale A.R., Salvan A., Parazzini M.: Assessing reliability and agreement of repeated measurements by hierarchical modeling, in the Proceedings of Atti della Riunione Internazionale ``19th International Workshop on Statistical Modelling'', Biggeri A., Dreassi E., Lagazio C. eds., 335-338, 2004
  • Busnach G., Piselli P., Angeletti A.: Rischio di Cancro nelle persone di 20-59 anni di età sottoposte a trapianto di rene, in the Proceedings of Atti VIII Riun. Scient. Ass. Ital. Reg. Tumori, Salerno, marzo 2004., 2004
  • Francesco Carravetta, Gabriella Mavelli: Asymptotic Properties of an Output-Feedback Suboptimal Control Scheme for Stochastic Bilinear Systems, in the Proceedings of Proc. of the American Control Conference 2004, 2004
  • Francesco Carravetta, Gabriella Mavelli: Polynomial Filtering for Systems with Non-independent Uncertain Observations, in the Proceedings of Proc. of the 43-th Conference on Decision and Control, 2004
  • De Nicola A., Paola Bertolazzi, Michele Missikoff: Una Core Enterprise Ontology per l'organizzazione ed i sistemi di e-Business, in the Proceedings of 5{\textordmasculine} Workshop dei Docenti e Ricercatori di Organizzazione Aziendale, Roma 5-6 Febbraio, 2004, 2004
  • De Nicola A., Michele Missikoff, Schiappelli F.: Il ruolo delle ontologie nella costruzione e fruizione di corsi e-Learning, in the Proceedings of Web Learning per la qualità del capitale umano, Ferrara 12 maggio 2004, Camana A., Lariccia S. eds., 2004
  • De Nicola A., Michele Missikoff, Schiappelli F.: Towards an Ontological Support for e-Learning Courses, in the Proceedings of Workshop on Ontologies, Semantics and e-Learning, Larnaca, Cipro, Lecture Notes in Computer Science, 3292, 2004
  • Di Loreto C., Germani A., Manes C.: Polynomial Extension of Linear Subspace Algorithms for Stochastic Identification, in the Proceedings of Proc. 43rd IEEE Conference on Decision and Control (CDC04), Tilbury D. ed., 2213-2218, 2004
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: Polynomial approach for filtering and identification of a class of uncertain systems, in the Proceedings of Proc. 2nd IFAC Symposium on Systems, Structure and Control (SSSC04),, Mondié S. ed., 2004
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: Quadratic filtering for simultaneous state and parameter estimation of uncertain systems, in the Proceedings of Proc. 43rd IEEE Conference on Decision and Control (CDC04), Tilbury D. ed., 2004
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: State observation for systems with linear dynamics and polynomial output, in the Proceedings of Proc. 43rd IEEE Conference on Decision and Control (CDC04), Tilbury D. ed., 2004
  • Ferri F., Grifoni P., Rafanelli M.: XPQL: a pictorial language for querying geographic data, in the Proceedings of 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004, Galindo F., Takizawa M., Traunmüller R. eds., Lecture Notes in Computer Science, 3180, 925-935, 2004
  • Antonio Frangioni, Lodi A., Giovanni Rinaldi: Optimizing over Semimetric Polytopes, in the Proceedings of Integer Programming and Combinatorial Optimization - IPCO X, Bienstock D., Nemhauser G. eds., Lecture Notes in Computer Science, 3064, 2004
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering for stochastic non-Gaussian descriptor systems, in the Proceedings of Proc. 43rd IEEE Conference on Decision and Control (CDC04), Tilbury D. ed., 2004
  • Malvestuto F.M., Pourabbas E.: Customized Answers to Summary Queries via Aggregate Views, in the Proceedings of 16th International Conference on Scientific and Statistical Database Management (SSDBM 2004), 21-23 June, Santorini Island, Greece, IEEE Computer Society, 193-202, 2004
  • Michele Missikoff, Lenzerini M.: Ontologies for Interoperability: A Tutorial, in the Proceedings of Proceedings of the Internaational Workshop on Enterprise Modeling and Ontologies for Interoperability - EMOI'04, Riga. June 2004, Missikoff M. ed., 100-100, 2004
  • Michele Missikoff, Schiappelli F.: Enriching Ontology Languages Adequacy for eBusiness Domain, in the Proceedings of Proceedings of the Internaational Workshop on Enterprise Modeling and Ontologies for Interoperability - EMOI'04 Riga, June 2004, Missikoff M. ed., 343-348, 2004
  • Michele Missikoff, Schiappelli F.: A Method for Ontology Modeling in the eCommerce Domain, in the Proceedings of Proceedings of SWEB - International Workshop on Semantic Web Technologies in eBusiness. Berlin, 11-13 Oct, Eckstein R., Tolksdorf R. eds., 149-163, 2004
  • Pavan A, Thomaseth K., Salvan A., Aprea C., Terenzoni B., De Angelis V., Lunghini L., Prisco T, De Rossi M, Quercia A., Settimi L.: A pilot study of a kinetic model for occupational exposure to dimethoate and its use in absorbed dose estimation. A comparison with indirect estimates of absorbed dose, in the Proceedings of 14th Annual Conference of the International Society of Exposure Analysis, Philadelphia, Pennsylvania, USA, October 17-21, 2004, 2004
  • Alberto Pettorossi, Maurizio Proietti: A theory of totally correct logic program transformations, in the Proceedings of 2004 ACM-SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM-SIGPLAN, 2004
  • Alberto Pettorossi, Maurizio Proietti: Totally correct logic program transformations using well-founded annotations, in the Proceedings of Italian Conference on Computational Logic, Rossi G.F., Panegai E. eds., Quaderni del Dipartimento di Matematica - Università degli Studi di Parma, 2004
  • Piselli P., Busnach G., Angeletti A.: Risk of Cancer in Kidney Transplanted Patients under 60 years of age: 1970-2000 (Abstract)., in the Proceedings of XXIX Reunion du Groupe pour L'epidemiologie et L'enregistrement du Cancer dans le pays de langue latine. Montpellier, France., 1-1, 2004
  • Renzetti M., Sindoni G., Tininini L., Urbano A.: The Italian judicial statistical information system, in the Proceedings of 16th Symposium of the International Association for Statistical Computation (Compstat 2004), 2004
  • Sindoni G., Tininini L.: A Statistical Web Warehouse System, in the Proceedings of European Conference on Quality and Methodology in Official Statistics (Q2004), Magonza, 2004
  • Sindoni G., Tininini L.: Web-enabled statistical Data Warehouses, in the Proceedings of the Workshop Symposium on Knowledge-Based Services for the Public Sector, Bonn, 2004
  • Sterbini A., Temperini M.: Course configuration via logic and graphic tools, in the Proceedings of International Conference on Web-based Education, WBE 2004, 2/16/2004 - 2/18/2004, Innsbruck, Austria, Uskov V. ed., WBE, Acta Press, 104-109, 2004
  • Sterbini A., Temperini M.: Course Configuration With Examples And Tests, in the Proceedings of International Conference on Education and Information Systems, Technologies and Applications, EISTA 2004, Orlando Jul. 21-25 2004, 2004
2003  [top]
  • Arcieri F., Fioravanti F., Nardelli E., Talamo M.: Monitoring Performance of Cooperative Services in a Digital Government Framework, in the Proceedings of 3rd International Symposium on Applications and the Internet {(SAINT'03)}, 2003
  • Bertuzzi A., Fasano A., Gandolfi A.: Modelling the dynamics of tumour cords under a cell killing agent, in the Proceedings of Second MIT Conference on ``Computational Fluid and Solid Mechanics'', Cambridge, MA, USA, 2003
  • Bianchi M., Carlo Gaibisso, Gambosi G.: N-JIS: a system for Web Services integration in Java RMI distributed applications, in the Proceedings of Proceedings of the IASTED International Conference: Parallel and Distributed Computing and Systems, Marina del Rey, CA, USA, November 2003., 2003
  • Bielli M., Bielli A.: Trends in intelligent urban traffic management systems, in the Proceedings of AIRO 2003 - Giornate della Associazione Italiana di Ricerca Operativa, Venezia, 2003
  • Bielli M., Giovanni Felici, Giovanni Rinaldi, Sforza A.: Trends in intelligent signal traffic control, in the Proceedings of EURO-IFORS Conference, Istambul, 2003
  • Bielli M., Giovanni Felici, Giovanni Rinaldi, Truemper K.: A traffic simulation and signal control model based on logic programming, in the Proceedings of Traffic modeling: Trends and Challanges, Barcellona, 2003
  • Bilò V., Di Pasquale A., Fioravanti F., Flammini M., Forlizzi L., Lo Presti F., Melideo G., Nardelli E., Navarra A., Guido Proietti: Quality of Service in Wireless Networks, in the Proceedings of 3rd International Workshop on Wireless, Mobile and Ad Hoc Networks (WMAN'03), 2003
  • Bordoni L., Colagrossi A., Mandarano N.: A Virtual Reality Application for Cultural Assets: the Scholars point of View, in the Proceedings of Intrernational Conference on Electronic Iamging \& the Visual Arts {(EVA 2003)}, 2003
  • Carlo Chiarla, Ivo Giovannini: Taurina: proprietà ed implicazioni nutrizionali, in the Proceedings of Atti Simposio ``Nuovi Substrati in Nutrizione Parenterale'' 11$\empty^{\mbox{mo}}$ Congresso Nazionale della Società Italiana di Nutrizione Parenterale ed Enterale, 5-13, 2003
  • De Angelis V., Giovanni Felici, Mancinelli G.: Optimal Feature Selection for Data Mining, in the Proceedings of AIRO 2003 - Giornate della Associazione Italiana di Ricerca Operativa, Venezia, 2003
  • De Gaetano A., Di Martino D., Germani A., Manes C.: Mathematical models and state observation of the glucose-insulin homeostasis, in the Proceedings of 21st IFIP TC 7 Conference on System Modeling and Optimization, Sophia Antipolis, France, 2003
  • De Nicola A., Michele Missikoff, Schiappelli F.: Verso un supporto ontologico per la creazione di corsi eLearning, in the Proceedings of I Workshop progetto Web Learning per la qualità del capitale umano, Trento, Italy, Editore Università Elettronica, 52-64, 2003
  • Ditlevsen S., De Gaetano A.: A Model of the Uptake of Alternative Fatty Acids by Isolated Rat Liver Based on Stochastic Differential Equations, in the Proceedings of Workshop on Dynamical Stochastic Modeling in Biology, 8--10 January 2003, Huebner M., Sorensen M. eds., 2003
  • Giovanni Felici, Arezzo M.F.: Tecniche avanzate di Data Mining applicate all'analisi della mobilità individuale, in the Proceedings of INPUT 2003: Terza Conferenza Nazionale su Informatica e Pianificazione, Pisa, 2003
  • Giovanni Felici, Mecoli M., Paoletti B.: Resource Assignment with Preference Constraints, in the Proceedings of AIRO 2003 - Giornate della Associazione Italiana di Ricerca Operativa, Venezia, 2003
  • Ferri F., Grifoni P., Rafanelli M.: GeoSQL: a schetc-based query language for geographical data, in the Proceedings of IIWAS 2003 - The Fifth International Conference on Information Integration and Web-based Applications \& Services, Jakarta, Indonesia, Kotsis G., Bressan S., Catania B., Ibrahim I.K. eds., 195-203, 2003
  • Antonio Frangioni, Claudio Gentile: Perspective cuts for 0-1 Mixed Integer Programming Problems, in the Proceedings of Airo 2003, Venezia, September 2-5, 2003
  • Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: A primal approach to the Solution of the Stable Set Problem, in the Proceedings of EURO/INFORMS 2003, Istanbul, July 6-10, 2003
  • Germani A., Manes C., Pasquale Palumbo: A Minimum Variance Filter for Discrete-Time Linear Systems Perturbed by Unknown Nonlinearities, in the Proceedings of IEEE Int. Symposium on Circuits and Systems (ISCAS2003), Bangkok, Thailand, Vol. 4, 2003
  • Germani A., Manes C., Pasquale Palumbo: Polynomial Filtering for Stochastic Systems with Markovian Switching Coefficients, in the Proceedings of 42nd IEEE Conference on Decision and Control (CDC'03), Maui, Hawaii, Vol.~2, 2003
  • Germani A., Manes C., Pasquale Palumbo: Polynomial Extended Kalman Filtering for Discrete-Time Nonlinear Stochastic Systems, in the Proceedings of 42nd IEEE Conference on Decision and Control (CDC'03), Maui, Hawaii, Vol.~1, 886-891, 2003
  • Kalinichenko L.A., Michele Missikoff, Schiappelli F.: Ontological Modeling, in the Proceedings of RCDL 2003, 5th Russian Conference on Digital Libraries, St. Petesburg, Russia, 52-64, 2003
  • Michele Missikoff, Anna Formica: Ontology Validation in OPAL, in the Proceedings of ICWS'03, Int. Conference on Web Services, LasVegas, Nevada, Springer-Verlag Heidelberg, 198-202, 2003
  • Michele Missikoff, Missikoff O.: Le PMI e la Net Economy: un quadro di riferimento organizzativo e tecnologico, in the Proceedings of IV Workshop di Organizzazione Aziendale, Florence, Italy, Editore Università Elettronica, 52-64, 2003
  • Michele Missikoff, Schiappelli F.: Semantic Annotation for Enterprise Interoperability, in the Proceedings of IICAI'03, 1st Indian International Conference On Artificial Intelligence, Hyderabad, India, IEEE Computer Society, 80-86, 2003
  • Michele Missikoff, Schiappelli F., Francesco Taglino: A Controlled Language for Semantic Annotation and Interoperability in e-Business Applications, in the Proceedings of ISWC'03, 2nd International Semantic Web Conference, Semantic Integration Workshop, Sanibel, Florida, Springer-Verlag Heidelberg, 80-86, 2003
  • Michele Missikoff, Francesco Taglino: Symontox: A Web-Ontology Tool for eBusiness Domains , in the Proceedings of WISE'03, 4th International Conference on Web Information Systems Engineering, Roma, Italy, IEEE Computer Society, 343-346, 2003
  • Michele Missikoff, Francesco Taglino: The Architecture of Harmonise: an Ontology-based Platform for Semantic Interoperability, in the Proceedings of SEBD'03, Eleventh Italian Symposium on Advanced Database Systems, Cetraro, Italy, Rubettino Editore, 335-346, 2003
  • Michele Missikoff, Wertner H., Fodor O.: Harmonise - Towards Interoperability in the Tourism Domain, in the Proceedings of ENTER Conference on Information Technology and Travel \& Tourism, Helsinki, Finland, Springer Wien, New York, 58-66, 2003
  • Nuzzo G., Clemente G., Ivo Giovannini, Giuliante F.: Il cancro incidentale della colecisti, in the Proceedings of Archivio Atti Società Italiana di Chirurgia, 1, Pozzi Edizioni, 43-55, 2003
  • Sartori N., Salvan A., Thomaseth K.: Multiple imputation of missing values in a dose-response analysis of cancer mortality in relation to estimated absorbed dose of dioxin, in the Proceedings of Atti del convegno S.Co. 2003 ``Modelli Complessi e Metodi Computazionali Intensivi per la Stima e la Previsione'', Treviso, 368-373, 2003
  • Sterbini A., Temperini M.: A logical framework for course configuration in e-learning, in the Proceedings of 4th IEEE Int. Conf. On Information Technology Based Higher Education {(ITHET03)}, IEEE Computer Society Press, 2003
  • Torlone R., Atzeni P.: Chameleon: an Extensible and Customizable Tool for Web Data Translation, in the Proceedings of 29th International Conference on Very Large Data Bases {(VLDB'03)}, 1085-1088, 2003
2002  [top]
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: Experiences and Issues in the Realization of E-Government Services, in the Proceedings of 12th Int. Workshop on Research Issues on Data Engineering: Engineering E-Commerce/E-Business Systems {(RIDE'02)}, IEEE Computer Society Press San Jose, California, USA, 143-150, 2002
  • Bianchi M., Carlo Gaibisso, Vitale M.: A Java Meta-registry for Remote Service Objects, in the Proceedings of IASTED International Conference. Communications, Internet, and Information Technology, November 18-20, 2002, St. Thomas, US Virgin Islands., 2002
  • Bielli M., Bielli A.: Urban traffic data mining and neural network models, in the Proceedings of Proceeding of the International Conference on Traffic and Transportation Systems, Bari, June 10--14, 2002
  • Francesco Carravetta, Gabriella Mavelli: Suboptimal Linear-Feedback Quadratic-Cost Stochastic Control for an Observable Linear System with Multiplicative Noise, in the Proceedings of 15th IFAC World Congress, Barcelona, Spain, 1833-1838, 2002
  • Francesco Carravetta, Gabriella Mavelli: Stochastic Control of Bilinear Systems: The Optimal Quadratic Controller, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 2002
  • De Angelis V., Giovanni Felici, Storchi G.: Planning the Emergency Ambulance service in the City of Rome by a Mixed Integer Linear Programming Model, in the Proceedings of 28th International Conference of the EURO working Group ORAHS-2002, Rio de Janeiro, July 28 - August 2, 2002
  • Di Pasquale A., Flammini M., Nardelli E.: Allocation Problems in Scalable Distributed Data Structures, in the Proceedings of 4th International Workshop on Distributed Data and Structures {(WDAS'02)}, 11, Proceedings in Informatics Paris, 2002
  • Di Pasquale A., Nardelli E., Guido Proietti: An Improved Upper Bound for Scalable Distributed Search Trees, in the Proceedings of Proc. 4th International Workshop on Distributed Data \& Structures (WDAS'02), Proceedings in Informatics, 11, Carleton Scientific, 2002
  • Eisenbrand F., Giovanni Rinaldi, Paolo Ventura: 0/1 Optimization and 0/1 Primal Separation are Equivalent, in the Proceedings of Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, 920-926, 2002
  • Fachini E., Körner J.: Codes for a long silence, in the Proceedings of Transactions of the 8th International Workshop on Algebraic and Combinatorial Coding Theory ACCT-VIII, St. Petersburg, September 2002,, 2002
  • Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of Proceedings of the 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 10-14 March, 2002, Madrid, Spain, ACM, 432-437, 2002
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs, in the Proceedings of SMC'02, 6 - 9 October, 2002, Hammamet, Tunisia, IEEE International Conference on Systems, Man, and Cybernetics, 2002
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Combining Logic Programs and Monadic Second Order Logics by Program Transformation, in the Proceedings of Proceedings of LOPSTR'02, Twelfth International Workshop on Logic-based Program Development and Transformation, 17-20 Sept. 2002, Madrid, Spain, Bueno F., Leuschel M. eds., 2002
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching, in the Proceedings of AGP'02, 2002 Joint Conference on Declarative Programming, 16 - 18 September 2002, Madrid, Spain, Moreno-Navarro J.J., Marino-Carballo J. eds., 2002
  • Anna Formica, Michele Missikoff: An extended XML approach to ontology engineering, in the Proceedings of Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI'02), Orlando, USA, July 14-18, 1, World Multiconference on Systemics, Cybernetics and Informatics, 69-71, 2002
  • Antonio Frangioni, Claudio Gentile: Solving Network Problems with Interior Point Methods and Preconditioned Conjugated Gradient Method, in the Proceedings of IFORS 2002, Edinburgh, July 8--12, 2002
  • Antonio Frangioni, Glover F., Lodi A., Giovanni Rinaldi: Optimizing over Semimetric Polytopes, in the Proceedings of IFORS 2002, Edinburgh, July 8--12, 2002
  • Carlo Gaibisso, Draoli M., Giannelli D.: Deploying the GLOBUS Security Infrastructure in a Production Environment: Testing and Evaluation, in the Proceedings of Proceedings of Euroweb 2002 Conference, The Web and the GRID: from e-science to e-business, December 2002, Oxford, UK, 2002
  • Carlo Gaibisso, Draoli M., Lombardi F., Stentella Liberati A.: A Java Architecture for Secure Reliable Multicast Data Transfer: Performance Evaluation, in the Proceedings of Proceedings of the IASTED International Conference. Communications, Internet, and Information Technology, November 18-20, 2002, St. Thomas, US Virgin Islands., 2002
  • Claudio Gentile, Haus U.-U., Köppe M., Giovanni Rinaldi, Weismantel R.: Solving the stable set problem with a primal approach, in the Proceedings of AIRO 2002, L'Aquila, September 10--13, 2002
  • Germani A., Manes C.: A State Observer for Nonlinear Delay Systems with Delayed Output, in the Proceedings of 2002 IASTED Conference on Control and Applications (CA 2002), Cancun, Mexico, 301-306, 2002
  • Germani A., Manes C., Pasquale Palumbo: Kalman-Bucy Filtering for Singular Stochastic Differential Systems, in the Proceedings of 15th IFAC World Congress, Barcelona, Spain, 2002
  • Germani A., Manes C., Pasquale Palumbo: Filtering of Systems via a Minimax Approach, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 2600-2605, 2002
  • Germani A., Manes C., Pasquale Palumbo: State Estimation for a Class of Stochastic Variable Structure Systems, in the Proceedings of 41th IEEE Conference on Decision and Control, Las Vegas, USA, 3027-3032, 2002
  • Germani A., Manes C., Pepe P.: State Observation for Nonlinear Hybrid Automata, in the Proceedings of 2nd WSEAS Conference on Instrumentation, Measurement, Control, Circuit and Systems (IMCCAS 2002), Cancun, Mexico, 2002
  • Michele Missikoff, Francesco Taglino: Business and Enterprise Ontology Management with SymOntoX, in the Proceedings of Proceedings of the International Semantic Web Conference (ISWC-2002), Sardinia, June 9-12, 1, Springer Verlag, 442-447, 2002
  • Pourabbas E., Shoshani A.: Joint Queries Estimation from Aggregate OLAP Databases, in the Proceedings of Proceedings of the 14th IEEE International Conference on Scientific and Statistical Database Management-SSDBM 2002, 24th - 26th July 2002 Edinburgh, Scotland, IEEE Computer Society Press, 2002
  • Giovanni Rinaldi, Voigt U., Woeginger G.J.: The mathematics of playing golf, in the Proceedings of Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms, 265-266, 2002
  • Gabriele Sganga: Strategia chirurgica delle infezioni intraaddominali gravi, in the Proceedings of Bollettino della SIM --- Riassunti 30${}^o$ Congresso Nazionale della Società Italiana di Microbiologia, Catania, 6--9 ottobre, 2002
  • Tininini L., Paolucci M., Sindoni G., De Francisci S.: Spatio-temporal Information Systems in a Statistical Context, in the Proceedings of Tenth Italian Symposium on Advanced Database Systems (SEBD 2002), 2002
  • Torlone R., Ciaccia P.: Which are my Preferred Items?, in the Proceedings of Proceedings of the 2nd Int. Workshop on Recommendation and Personalization in e-Commerce, Malaga, Spain, 1-9, 2002
  • Torlone R., Ciaccia P.: Finding the Best when it'a a Matter of Preference, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 347-360, 2002
2001  [top]
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Distributed Territorial Data Management and Exchange for Public Organizations, in the Proceedings of 3rd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2001), IEEE Computer Society Press San Jose, California, USA, 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: Geographical Information Systems Interoperability through Distributed Territorial Data Exchange, in the Proceedings of 1st International Workshop on Databases, Documents, and Information Fusion (DBFusion'01), 2001
  • Arcieri F., Cappadozzi E., Nardelli E., Talamo M.: SIM: a Working Example of an E-government Service Infrastructure for Mountain Communities, in the Proceedings of Workshop on Electronic Government (DEXA-eGov 2001), IEEE Computer Society Press Munich, Germany, 2001
  • Arcieri F., Giaccio R., Nardelli E., Talamo M.: A Framework for Inter-Organizational Public Administration Network Services, in the Proceedings of International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001), IEEE Computer Society Press L'Aquila, Italy, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: On the Dynamics of an Infrastructural Approach Supporting Coherence Maintenance for Inter-organizational Collaboration, in the Proceedings of International Symposium on Business Strategy Based Software Engineering, Net Academy Press Gersau, Switzerland, 2001
  • Arcieri F., Melideo G., Nardelli E., Talamo M.: Keeping Coherence Among Web Sources, in the Proceedings of 3rd International Workshop on Web Information and Data Management, 2001
  • Barretta Zungrone D., Laureti Palma A., Lancia M., Neri A.: Integrate Dynamic Service Classes for Real Time Multimedia Communication on Cellular IP Environment, in the Proceedings of Proceedings della Word Scientific and Enginering Academy and Society/IEEE Conference 2001, Malta, 1-6 Settembre, 2001, WSES Press Adavances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001
  • Basili R., Michele Missikoff, Velardi P.: Extracting Concepts and Relations from Texts to Build a Domain Ontology, in the Proceedings of ACL-2001 workshop on Human Language Technology, 2001
  • Becchetti L., Draoli M., Carlo Gaibisso, Lombardi F.: A Java Implementation of a Reliable Multicast File Transfer Protocol: Design and Evaluation, in the Proceedings of IASTED International Conference: Internet and Multimedia Systems and Applications, August 13-16, 2001, Honolulu, Hawaii, USA., 2001
  • Paola Bertolazzi, Krusich C., Michele Missikoff: An Approach to the Definition of a Core Enterprise Ontology: CEO, in the Proceedings of OES-SEO'01 International Workshop, 2001
  • Paola Bertolazzi, Scannapieco M.: Introducing Data Quality in a Cooperative Context, in the Proceedings of Sixth International Conference on Information Quality, Mit Press Boston, MA, USA, 431-444, 2001
  • Bertuzzi A.: Mathematical models in body composition studies, in the Proceedings of Congress of the European Chapter of the American College of Nutrition, 2001
  • Bertuzzi A., Fasano A., Gandolfi A.: A mathematical model of tumour cords with spatially distributed cell death, in the Proceedings of Metodi e Modelli Matematici nello Studio dei Fenomeni Biologici, 2001
  • Bertuzzi A., Gandolfi A.: Analysis of data from cell populations in asynchronous growth, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A.: Basic flow cytometry and DNA distributions, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A.: Cell kinetics in stationary tumour cords, in the Proceedings of 2nd ESMTB Summer School, 2001
  • Bertuzzi A., Gandolfi A., Carmela Sinisgalli, Starace G., Ubezio P.: Cell kinetic heterogeneity by sequential DNA-BrdUrd analysis in vivo, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of TRISTAN IV Conference, 3, 507-512, 2001
  • Colagrossi A., De Nardis P., Scaringella A.: Gli aspetti artistici e sociali dell'acqua nel sistema Euro-Mediterraneo SEMIDE/EMWIS, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
  • d'Onofrio A., Pourabbas E.: Formalization of Temporal Thematic Map Contents, in the Proceedings of 9th ACM International Symposium on Advances in Geographical Information Systems (ACM GIS'01), 2001
  • De Angelis V., Giovanni Felici, Impelluso P.: Simulation Based Decision Support System for the Optimal Planning of a Transfusion Centre, in the Proceedings of Proceedings of Operational Research Applied to Health Services (ORAHS) 2001 Conference, 2001
  • De Simone C.: On the Chromatic Polynomial of a Graph, in the Proceedings of MAX-CLIQUE'0-1 WORKSHOP, 2001
  • Draoli M., Patriarca R.: Performance Analysis of a Multiservice Scenario over a Differentiated Service Network: a Case Study, in the Proceedings of Atti del Convegno Nazionale CMG (Computer Measurement Group), Roma, Giugno, 2001, CMG, 2001
  • Eder J., Michele Missikoff: Ontologies for Managing Knowledge About Forms for Government Processes, in the Proceedings of International Workshop on Knowledge Management in e-Government, 2001
  • Fabriani P., Michele Missikoff, Velardi P.: Using Text Processing Techniques to Automatically enrich a Domain Ontology, in the Proceedings of FOIS-2001, ACM International Conference on Formal Ontology in Information Systems, 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: A Logic Programming Approach for Traffic Signal Setting, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Logic Programming and Simulation for Traffic Signal Control, in the Proceedings of ISCS 2001, 2001
  • Giovanni Felici, Truemper K.: Computing Vote Distribution for Data Mining, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse, 2001
  • Ferri F., Pourabbas E., Rafanelli M.: The Syntactic and Semantic Correctness of Pictorial Configurations to Query Geographic Databases by PQL, in the Proceedings of 17th ACM Annual Symposium on Applied Computing (ACM SAC 2002), 2001
  • Ferri F., Pourabbas E., Rafanelli M., Ricci F.L.: Linking Geographic and Multidimesional Databases by Functional Attributes, in the Proceedings of Nono Convegno Nazionale su Sistemi Evoluti Per Basi di Dati (SEBD 2001), 2001
  • Fioravanti F.: Verification of Infinite-State Systems by Specialization of CLP Programs, in the Proceedings of 7th International Conference on Constraint Programming, 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs, in the Proceedings of ACM-Sigplan International Workshop on Verification and Computational Logic, VCL'2001, Florence, Italy, September 4, 2001, pp. 85-96., 2001
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Verifcation of Sets of Infinite State Systems Using Program Transformation, in the Proceedings of Eleventh International Workshop on Logic-based Program Synthesis and Transformation, 2001
  • Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach, in the Proceedings of XVI Brazilian Symposium on DataBases (SBBD'01), 2001
  • Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of First International Joint Conference IJCAR (CADE+FTP+TABLEAUX), Lecture Notes in Artificial Intelligence, 2001
  • Antonio Frangioni, Claudio Gentile: New Preconditioners for Solving Network Problems with Interior Point Methods, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Carlo Gaibisso, Guido Proietti, Tan R.: Efficient Management of Transient Station Failures in Linear Radio Communication Networks with Bases, in the Proceedings of 2nd International Workshop on Approximation and Randomized Algorithms in Communication Networks (ARACNE'01), 2001
  • Anna Galluccio: Optimization via Enumeration: Pfaffian method for Max Cut and for Ising problem, in the Proceedings of Algorithmic Techniques in Physics, 2001
  • Germani A., Manes C.: On the existence of the linearizing state-feedback for nonlinear delay systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC'01), 2001
  • Germani A., Manes C., Pasquale Palumbo: Optimal linear filtering for stochastic non-Gaussian descriptor systems, in the Proceedings of 40th IEEE Conf. on Decision and Control, (CDC01), 2001
  • Germani A., Manes C., Pepe P.: State observer for nonlinear systems with large output delays, in the Proceedings of 5th IFAC Symp. on Nonlinear Control Systems, (NOLCOS?01), 2001
  • Grippo L., Marco Sciandrone: Nonmonotone gradient methods for neural network training, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of Ninth Italian Symposium on Advanced Database Systems (SEBD 2001), 2001
  • Lampariello F.: A new method for estimating the labeled cell proportion from immunofluorescence histograms with weak labeling, in the Proceedings of XVIII Conferenza Nazionale di Citometria, 2001
  • Lampariello F., Marco Sciandrone: Nonmonotone Gauss-Newton methods for unconstrained least-squares problems, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Lucidi S., Palagi L., Marco Sciandrone: Exact penalty function methods for training support vector machines, in the Proceedings of 20th IFIP TC7 Conference on System Modelling and Optimization, 2001
  • Lucidi S., Palagi L., Marco Sciandrone: Feature selection using support vector machines, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Maceratini R., Rafanelli M., Ricci F.L.: La Corsia Virtuale: dall'utopia alla realtà mediante un approccio metodologico, in the Proceedings of Secondo Congresso {\@}ITMIM, Università di Palermo Palermo, Italy, 2001
  • Malucelli F., Sara Nicoloso: Optimal Partition of a Bipartite Graph into Non-Crossing Matchings, in the Proceedings of EuroConference on Combinatorics, Graph Theory and Applications, 2001
  • Bruno Luigi Martino, Costa E, Barbanera L., Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rapisarda M, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti P, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Vallazza A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: Super-agile-The X-ray detector for the gamma-ray mission agile, AIP Conference Proceedings, 2001
  • Marzilli E., Marco Sciandrone: Multiobjective optimization for neural network training, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Michele Missikoff: Ambient Intelligence: a few technologies and methodologies , in the Proceedings of FP6 Programme Consultation Meeting on Knowledge Technologies, 2001
  • Michele Missikoff: Il Web Semantico come fattore di sviluppo della Net Society, in the Proceedings of Intelligenza Artificiale: Immaginario Applicazioni Prospettive, 2001
  • Michele Missikoff: Il Web Semantico nei modelli produttivi, in the Proceedings of Verso un Web Semantico, 2001
  • Michele Missikoff: La Gestione della Conoscenza d'Impresa: nuovi modelli, tecnologie, applicazioni, in the Proceedings of Seminario AICA, 2001
  • Michele Missikoff, Francesco Taglino: SymOntos: a Symbolic Ontology Management System, in the Proceedings of 7$^o$ Congresso Associazione italiana per l'intelligenza artificiale, 2001
  • Michele Missikoff, Wang X.F.: A group decision system for collaborative ontology building, in the Proceedings of Int'l Conference on Group Decision and Negotiation 2001, 2001
  • Pourabbas E., Rafanelli M., Ricci F.L., Ferri F.: Geographic Database Schema Handling for Interoperating with Multidimensional Databases, in the Proceedings of 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), 2001
  • Roma M.: A Numerical Study on Preconditioned Truncated Newton Methods in Large Scale Unconstrained Optimization, in the Proceedings of Giornate di Lavoro AIRO 2001: La Ricerca Operativa nella Gestione del Territorio e delle Risorse., 2001
  • Sartori N., Thomaseth K., Salvan A.: An analytical sensitivity approach to interfacing toxicokinetic and risk models, in the Proceedings of the 16th International Workhop on Statistical Modeling. In "New Trends in Statistical Modelling", Korsholm L., Klein B. eds., 2001
  • Sindoni G., De Francisci S., Paolucci M., Tininini L.: Experiences in Developing a Spatio-temporal Information System, in the Proceedings of the International Conference on New Techniques and Technologies for Statistics, Exchange of Technology and Know-how (ETK-NTTS 2001), 2001
  • Sindoni G., Tininini L., Ambrosetti A., Bedeschi C.: SIT-IN: a Real-Life Spatio-temporal Information System, in the Proceedings of the 27-th International Conference on Very Large Data Bases (VLDB 2001), 2001
2000  [top]
  • Bielli M., Landolfi O.: Technology assessment methods to support the Common Transport Policy in the road transport telematics, in the Proceedings of 7th World ITS Congress, Turin, 2000
  • Bielli M., Villa A.: A new design methodology for large-scale logistic integrated networks, in the Proceedings of 7th World ITS Congress, Turin, 2000
  • Bielli M., Villa A.: Autonomy versus efficiency in management of large-scale logistic networks, in the Proceedings of Proceedings of the Rome Jubilee 2000 Conference on Transportation, 2000
  • Bordoni L., Colagrossi A.: A Case-based Reasoning Methodology for Restoring Frescoes, in the Proceedings of 18th Iasted International Conference on Applied Informatics, Innsbruck, 2000, 2000
  • Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: A polyhedral method for the ground staff roster problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
  • Cabibbo L., Torlone R.: The Design and Development of a Logical System for OLAP, in the Proceedings of Proceedings of 2nd International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2000, Lecture Notes in Computer Science, 1874, Springer-Verlag, 1-10, 2000
  • Cabibbo L., Torlone R.: Computing Aggregations in Database Query Languages, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 35-48, 2000
  • Caramia M., Dell'Olmo P., Italiano G.F.: New Algorithms for Examination Timetabling, in the Proceedings of Proceeding of the 4-th Workshop on Algorithm Engineering, Springer-Verlag, 2000
  • Francesco Carravetta, Germani A., Liptser R., Manes C.: Filtering of Nonlinear Stochastic Feedback Systems, in the Proceedings of CDC'2000, 39-th IEEE Conference on Decision and Control, Sydney, Australia, 2000
  • Castano S., Papopoli L., Torlone R.: The InterData Methodological Framework for the Development of Web-based Information Systems, in the Proceedings of Atti del Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD 2000), 139-152, 2000
  • Chiorino G.: Cell cycle variability and population growth, in the Proceedings of International Conference DESTOBIO 2000, West Lafayette, Indiana, USA, 23-27 Agosto, 2000
  • Chiorino G., Arino O., Ubezio P.: Cell cycle regulation and perturbations, in the Proceedings of European Communications in Mathematical and Theoretical Biology, 1: 7--10, Gennaio 2000, 2000
  • Colagrossi A.: L'apprendimento automatico nei sistemi user-modelling per i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
  • Colagrossi A.: La Rete Unitaria della Pubblica Amministrazione ed i Servizi Bibliotecari, in the Proceedings of Il futuro del passato. La biblioteca tra tradizione e innovazioni tecnologiche, Centro Universitario Europeo per i Beni Culturali, Ravello, 2000
  • Confessore G., Dell'Olmo P., Giordani S.: Orienting Dart-free Clique-Helly Graphs, in the Proceedings of Operations Research Proceedings 1999, Springer-Verlag, 52-57, 2000
  • Farina V., Giovanni Felici, Claudio Gentile, Peri F.: Prototype study of an optimization algorithm for ship scheduling in hydrocarbon products distribution, in the Proceedings of IAME 2000, The Maritime Industry into the Millenium: The Interaction of Theory and Practice, Napoli, 13-15 Settembre, 2000
  • Giovanni Felici: Learning Algorithms in Logic Domains, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, Departamento de Màtematica Aplicada, Universitad de la Habana, 2000
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Logistics and Supply Chain Management, in the Proceedings of 4th International Conference on Operations Research, L'Avana, Cuba, 4-10 Marzo, 2000
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Polyhedral Optimization Algorithm for Supply Chain Management in Oil Industry, in the Proceedings of 8th Meeting of the Euro Working Group on Transportation (EWGT), Roma, 11-14 Settembre, 2000
  • Ferri F., Pourabbas E., Rafanelli M., Ricci F.L.: Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data, in the Proceedings of Proceedings of 12th IEEE International Conference on Scientific and Statistical Database Management, SSDBM 2000, IEEE Press, 220-230, 2000
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Automated Strategies for Specializing Constraint Logic Programs, in the Proceedings of LOPSTR'2000, Logic-based Program Synthesis and Transformation, London, UK, 24-28 July, Lau K.-K. ed., 2000
  • Formisano A., Omodeo E., Temperini M.: Instructing equational set-reasoning with Otter, in the Proceedings of GULP/PRODE/APPIA Conference, Habana, Cuba, Dec. 2000, 2000
  • Carlo Gaibisso, Draoli M., Laureti Palma A., Puccinelli R., Salza S.: Methods and Tools for the Objective Evaluation of Voice-over-IP Communications, in the Proceedings of Proceedings of INET'00, Annual Meeting of the Internet Society, Yokohama, Japan, 18-21 July, 2000, 2000
  • Germani A., Manes C.: A Bayesian approach for position estimation in a sensored mobile robot, in the Proceedings of World Automation Conference 2000, 2000
  • Germani A., Manes C., Pepe P.: State observation of nonlinear systems with delayed output, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
  • Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of the Nineteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS 2000), 2000
  • Grumbach S., Tininini L.: Automatic Aggregation using Explicit Metadata, in the Proceedings of the International Conference on Statistical and Scientific Database Management (SSDBM 2000), 2000
  • Grumbach S., Tininini L.: On the Content of Materialized Aggregate Views, in the Proceedings of 8th Italian Symposium on Advanced Database Systems (SEBD 2000), 2000
  • Malucelli F., Sara Nicoloso: Shiftable Intervals, in the Proceedings of ICGT 2000, 6eme Colloque International de Théorie des Graphes, Marseille Luminy, France, 231-234, 2000
  • Bruno Luigi Martino, Del Monte E, Costa E, Di Persio G, Feroci M, Lapshov I, Mastropietro M, Morelli E, Prest M, Rubini A, Soffitta P., Vallazza E: Performances of XA1.3 ASIC chip for the SuperAGILE experiment on board of AGILE, SPIE, 2000
  • Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, Vulcano Workshop VW ed., 2000
  • Bruno Luigi Martino, Rapisarda M, Barbanera L., Costa E, Del Monte E, Di Persio G, Feroci M, Frutti M, Lapshov I, Mastropietro M, Morelli E, Rubini A, Soffitta P., Tavani M, Mereghetti S, Vercellone S, Caraveo S, Perotti F, Barbiellini F, Budini G, Longo F, Prest M, Vallazza E, Morselli A, Picozza P, Cocco V, Pittori C, Di Cocco G, Labanti C: SuperAGILE, the X-ray monitor of AGILE, 2000
  • Michele Missikoff: Management of Knowledge and Intangible Assets in the Context of Dynamic Business Environments: a Position Paper, in the Proceedings of Consultation Meeting of the DG Information Society, Bruxelles , 2000
  • Michele Missikoff, Velardi P.: Mining Texts to Acquire a Tourism Knowledge Base for Semantic Interoperability, in the Proceedings of The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), 2000
  • Nardelli E., Di Pasquale A.: An Amortized Lower Bound for Distributed Searching of $k$-dimensional Data, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
  • Nardelli E., Di Pasquale A.: Scalable Distributed Data Structures: a Survey, in the Proceedings of Proceedings of Workshop on Distributed Data and Structures (WDAS 2000), Flammini M., Nardelli E., Proietti G., Spirakis P. eds., Carleton Scientific, in press, 2000
  • Pasquale Palumbo: A realizable observer for a flexible system with delayed outputs, in the Proceedings of 2nd IFAC Workshop on Time Delay Systems, Ancona, Italy, 2000
  • Paolucci M., Sindoni G., De Francisci S., Tininini L.: SIT-IN on Heterogeneous Data with Java, HTTP and Relations, in the Proceedings of the International Workshop on Java and Databases: Persistence Options (in NetObject.Days 2000), 2000
  • Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of Logic-based Program Synthesis and Transformation, LOPSTR '99, Venezia, Italy, Bossi A. ed., Lecture Notes in Computer Science, 1817, 2000
  • Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations, in the Proceedings of First International Conference on Computational Logic, CL'2000, London, 24-28 July, 2000, Lloyd J.W., others eds., Lecture Notes in Artificial Intelligence, 1861, Springer, 613-628, 2000
  • Giovanni Rinaldi: Branch and cut algorithms for the exact solution of the capacitated vehicle routing problem, in the Proceedings of Abstracts, EURO XVII - 17th European Conference on Operational Research, Budapest, Ungheria, 16--19 Luglio, 2000
  • Giovanni Rinaldi: Unconstrained quadratic programming with binary variables, in the Proceedings of Deutsche Mathematiker-Vereinigung Jahrestagung 2000, Dresden, 2000
  • Salvan A., Pons O., Roletti S., Erna M., Liguori F., Ciccolallo L., Galassi C., Miligi M., Poggi A., Cannizzaro S, Tumino R., Bortot P., Polichetti A, Vecchia P, Magnani C: SETIL workgroup: A pilot study of residential exposure to extremely low frequency magnetic fields for the Italian epidemiologic study of risk factors for childhood cancer (SETIL), in the Proceedings of the Millennium Workshop on Biological Effects of Electromagnetic Fields, Kostarakis P., Stavroulakis P. eds., 2000
1999  [top]
  • Bielli M., Carotenuto P.: Software tools for decision support systems in transportation: an overview of the Italian research, in the Proceedings of 7th Meeting EURO Working Group Transportation, Helsinki, August, 1999
  • Bielli M., Carotenuto P., Adele Roina: The Italian research on energy saving and environment protection problems, in the Proceedings of International Conference on Modeling and Management in Transportation, Poznan-Cracow, October 12--16, 1999
  • Bielli M., Gastaldi M., Sica F.: Nuove tecnologie informatiche e telematiche per la gestione della mobilità, in the Proceedings of Analisi e controllo del traffico urbano: tecnologie informatiche e metodologie di pianificazione, 1999
  • Bordoni L., Colagrossi A.: A Multimedia Personalised Fruition of Figurative Artistic Heritage by a GIS-Based Methodology, in the Proceedings of International Conference on Multimedia Computing and Systems, IEEE Computer Society, Firenze, 1999
  • Bordoni L., Colagrossi A.: Some Guidelines for the Design of Multimedia Systems for the Fruition of Figurative Artistic Heritage, in the Proceedings of ICHIM'99 Conference, Washington, 1999
  • Bordoni L., Colagrossi A., Martellotti G., Seccaroni C.: Clustering techniques for the analysis of the execution of a fresco, in the Proceedings of Chart Conference: Design, Heritage, Architecture, Glasgow, 1999
  • Bortot P., Thomaseth K., Salvan A.: Population analysis of a toxicokinetic model for 2,3,7,8-tetrachlorodibenzo-p-dioxin using bayesian techniques, in the Proceedings of the Second European Conference on Highly Structured Stochastic Systems, 1999
  • Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: Ground Resources Roster Planning, in the Proceedings of AGIFORS, Operations Control and Ground Resources Study Group, Istanbul, Turchia, 18-21 Aprile, 1999
  • Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: Optimizing the Ground Staff Scheduling Problem, in the Proceedings of Optimization Days 99, Montreal, 10-12 Maggio, 1999
  • Broggio G., Giovanni Felici, Claudio Gentile, Paoletti B.: Ground Resources Roster Planning, in the Proceedings of AGIFORS, Annual Symposium, New Orleans, USA, 3--8 Ottobre, 1999
  • Cabibbo L., Torlone R.: A Framework for the Investigation of Aggregate Functions in Database Queries, in the Proceedings of International Conference on Data Base Theory (ICDT '99), Jerusalem, Israel, Lecture Notes in Computer Science, 1540, Springer--Verlag, 383-397, 1999
  • Cabibbo L., Torlone R.: Data Independence in OLAP Systems, in the Proceedings of Settimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati (SEBD '99), Como, Italia, 35-49, 1999
  • Caramia M., Dell'Olmo P.: A Fast and Simple Local Search for Graph Coloring, Lecture Notes in Computer Science, 1668, Springer-Verlag, 316-329, 1999
  • Francesco Carravetta, Germani A., Manes C.: Optimal Filtering for Degenerate Nonlinear Diffusions, in the Proceedings of CDC'99, 38-th IEEE Conference on Decision and Control, Phoenix, Arizona, 4577-4582, 1999
  • Francesco Carravetta, Germani A., Manes C.: Kalman Bucy Filtering for Singular Output-Noise Covariance, in the Proceedings of 7-th IEEE Mediterranean Conference on Control \& Automation, Haifa, Israel, 400-406, 1999
  • Cioni G., Colagrossi A., Temperini M.: Learning Abstract Algebra at Distance, in the Proceedings of International Conference on Statistics, Combinatorics and Related Areas, Mobile, Alabama, 1999
  • Colagrossi A.: Information Technology Infrastructure and Services for Creating a Library's Unified Information System, in the Proceedings of 20thIATUL Conference, Chania (Crete), 1999
  • Colagrossi A., Di Toma G., Giua N., Guiducci F.: SASI: an Automated System for Hydrological Monitoring, in the Proceedings of 21st Urban Data Management Symposium, Venezia, 1999
  • Confessore G., Dell'Olmo P., Giordani S.: A Linear Time Approximation Algorithm for a Storage Allocation Problem, in the Proceedings of IFIP Systems Modelling and Optimization, 1997, Detroit, Addison Wesley, Longman, 126-131, 1999
  • Confessore G., Dell'Olmo P., Giordani S.: Vertex Partitioning of Crown-free Interval Graphs, Lecture Notes in Computer Science, 1665, Springer-Verlag, 391-401, 1999
  • Di Pasquale A., Nardelli E.: Balanced and Distributed Search Trees, in the Proceedings of 2nd International Workshop on Distributed Data and Structures {(WDAS'99)}, Breitbart Y., Das S., Santoro N., Widmayer P. eds., Proceedings in Informatics, 6, Carleton-Scientific Princeton, NJ, 1999
  • Giovanni Felici, Claudio Gentile: A polyhedral method for the ground staff rostering problem, in the Proceedings of AIRO 99, Simulation and Optimization in Operations Management, Napoli, 1999
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A polyhedral optimization algorithm for ship scheduling in hydrocarbon products distribution, in the Proceedings of AIRO 99, Simulation and Optimization in Operations Management, Napoli, 21--24 Settembre, 242-243, 1999
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Ship Scheduling Algorithm for Hydrocarbon Products Distribution, in the Proceedings of IFORS 99, Pechino, 16--20 Agosto, 1999
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: Ship Scheduling Algorithms for Hydrocarbon Products Distribution Problems, in the Proceedings of Third Workshop on Applied/Advanced Research in Combinatorial Optimization, Department of Mathematical Modelling, Technical University of Denmark, 23--24 Aprile, 1999
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Intelligent Traffic Control via Logic Programming, in the Proceedings of AIRO 99, Simulation and Optimization in Operations Management, Napoli, 211-212, 1999
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: Intelligent Traffic Control via Logic Programming, in the Proceedings of 11th Mini-Euro Conference on AI in Transportation System and Science, Helsinki, 2-6 Agosto, 1999
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: Controllo Decentralizzato del Traffico tramite Programmazione Logica: Sviluppi e Applicazioni, in the Proceedings of Quarto Convegno Nazionale del Progetto Finalizzato Trasporti, Novembre, 1999
  • Giovanni Felici, Sun F.-S., Truemper K.: A Method for Controlling Errors in Two-Class Classification, in the Proceedings of XXIII Annual International Computer Software and Applications Conference, Phoenix, Arizona, October 27-29, 1999, IEEE, 1999
  • Fioravanti F., Alberto Pettorossi, Maurizio Proietti: Rules and Strategies for Contextual Specialization of Constraint Logic Programs, in the Proceedings of ICLP'99 Workshop on Optimization and Implementation of Declarative Programming Languages, WOID '99, Las Cruces University, New Mexico, USA, December 2--3, Leuschel M. ed., 1999
  • Fioravanti F., Maurizio Proietti: Contextual Specialization of Constraint Logic Programs, in the Proceedings of Joint Conference on Declarative Programming, L'Aquila, Italy, Vilares Ferro M., Meo M.C. eds., 1999
  • Forlizzi L., Nardelli E.: An On-Line Algorithm for the MacNeille Completion of a Poset, in the Proceedings of Algorithms, Order and Applications (ORDAL'99), 1999
  • Anna Formica, Pizzicannella R.: On the Reification of Business Processes, in the Proceedings of First International Workshop on Enterprise Management and Resource Planning Systems: Methods, Tools and Architectures (EMRPS'99), Eder J., Maiden N., Missikoff M. eds., 319-328, 1999
  • Carlo Gaibisso, Lancia M., Martufi G., Vitale M.: JANE: an Integrated Development Environment for Real Time, Multimedia, Distributed Applications, in the Proceedings of Proceedings of the Third IASTED International Conference on Internet and Multimedia Systems and Applications, October 18-21, 1999, Nassau, Grand Bahamas, Furth B. ed., 1999
  • Grumbach S., Rafanelli M., Tininini L.: Querying Aggregate Data, in the Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'99), 1999
  • Nardelli E., Guido Proietti: S$^*$-tree: an Improved S$^+$-tree for Colored Images, in the Proceedings of 3rd East European Conference on Advances in Databases and Information Systems {(ADBIS'99)}, Eder J., Rozman I., Welzer T. eds., Lecture Notes in Computer Science, 1691, Springer-Verlag Maribor, Slovenia, 156-167, 1999
  • Nardelli E., Guido Proietti, Widmayer P.: How to Swap a Failing Edge of a Single Source Shortest Paths Tree, in the Proceedings of 5th International Conference on Computing and Combinatorics {(COCOON'99)}, Asano T., Imai H., Lee D.T., Nakano S., Tokuyama T. eds., Lecture Notes in Computer Science, 1627, Springer-Verlag Tokyo, Japan, 144-153, 1999
  • Nardelli E., Talamo M., Vocca P.: Efficient Searching for Multidimensional Data Made Simple, in the Proceedings of 7th Annual European Symposium on Algorithms {(ESA'99)}, Lecture Notes in Computer Science, Springer-Verlag Prague, Czech Republic, 1999
  • Alberto Pettorossi, Maurizio Proietti: Transformation Rules for Logic Programs with Goals as Arguments, in the Proceedings of LOPSTR '99, Logic-based Program Synthesis and Transformation, Bossi A. ed., 1999
  • Pourabbas E., Mucci N., Maceratini R., Rafanelli M.: An Information System on toxicological risks linked to drug manipulation, in the Proceedings of Sixteenth Intern. Confer. on Medical Informatics Europe '99 - MIE'99, Lubiana, Slovenia, IOS Press, 46-49, 1999
  • Pourabbas E., Rafanelli M.: Characterization of Hierarchies and Some Operators in OLAP Environment, in the Proceedings of ACM-DOLAP'99, Proceedings of the Second International Workshop on Data Warehousing and OLAP, Kansas City, MO, USA, ACM Press, 54-59, 1999
  • Pourabbas E., Rafanelli M.: PQL*: An Extended Pictorial Query Language for querying Geographical Databases using Positional and OLAP Operators, in the Proceedings of ACM-GIS'99, Proceedings of the Seventh International Symposium of ACM Geographic Information Systems, Kansas City, MO, USA, ACM Press, 165-166, 1999
  • Pourabbas E., Rafanelli M., Romano D.: Health Environmental Risk Analysis Using an Object-Oriented Geographic Information System, in the Proceedings of Proceedings of the International Symposium of Applications of Geographical Information Systems in Agrophysics and Agroecology - SPBISTRO '99, San Pietroburgo Russia, 1999
  • Maurizio Proietti, Alberto Pettorossi: Transforming Inductive Definitions, in the Proceedings of 1999 International Conference on Logic Programming, De Schreye D. ed., Logic Programming Series, 1999
  • Giovanni Rinaldi: Applications to oil industry, in the Proceedings of Third ALIO-EURO Workshop on Applied Combinatorial Optimization, Erice, 1--6 Novembre, 1999
  • Giovanni Rinaldi, Truemper K.: Logic, Learning and Traffic Control, in the Proceedings of Traffic and Transport Optimization, Oberwolfach, 7--13 Novembre, 1999
  • Scaringella A., Simonetti M.R., Colagrossi A.: A Methodology Based on Innovative Informatics Techniques for Surveillance and Prediction of Landslides Risks, in the Proceedings of Sixth International Conference on Statistics, Combinatorics and Related Areas - Forum for Interdisciplinary Mathematics, University of Mobile, South Alabama, 1999
1998  [top]
  • Assogna P., Michele Missikoff: Finite Capacity Scheduler: Knowledge Based Modelling Vs Algorythmic Solution, in the Proceedings of PROLAMAT'98, Trento, Jacucci E., others eds., 1998
  • Belisari S., Cini M., Carlo Gaibisso, Lancia M., Vitale M.: Mobile Code Implementation of an Audio-Conference Application: Design Choices and Evaluation, in the Proceedings of Symposium on Communication Networks and Distributed System, Buenos Aires, Argentina., 1998
  • Paola Bertolazzi, Di Battista G., Didimo W.: Quasi-upward planarity, in the Proceedings of 6-th International Symposium GD '98, Whitesides S.H. ed., Lecture Notes in Computer Science, 1574, Springer-Verlag, 15-29, 1998
  • Bielli M., Carotenuto P., Crisalli U.: Trends of Operations research Modelling in Transportation Systems Analysis, in the Proceedings of EURO XVI Conference on Operations Research, 1998
  • Bielli M., Carotenuto P., Gentile C.: Applications of Technology Forecasting Methods to Transportation Systems, in the Proceedings of 6th Meeting EURO Working Group Transportation, 1998
  • Bordoni L., Colagrossi A.: Using information extraction in workflow management for bureaucratic organizations: a proposal, in the Proceedings of IV Convegno AI*IA, Padova, 1998
  • Bottoni P., Costabile M.F., Mandorli F., Mussio P., Paterno F., Pizzicannella R., Santucci G.: Methodologies and Tools for Co-operative Interaction in the Design Process, in the Proceedings of PROLAMAT'98, Trento, Jacucci E., others eds., 1998
  • Campisi D., Mancuso P., Nastasi A.: Le politiche di incentivazione alle attività di R\&S nei mercati oligopolistici, in the Proceedings of Atti IX Convegno nazionale AIIG (Associazione Italiana di Ingegneria Gestionale), 23-31, 1998
  • Cannarella M., Draoli M., Carlo Gaibisso, Gambosi G., Lancia M.: Designing Reliable ATM Networks for Multimedia Interactive IP Applications, in the Proceedings of Proceedings of the 1998 IEEE ATM Workshop, George Mason University. Fairfax, VA, USA., 1998
  • Francesco Carravetta, Germani A.: Optimal Linear Finite-Dimensional Filtering for Bilinear Stochastic Differential Systems, in the Proceedings of CDC '98, 37-th IEEE Conference on Decision and Control, Tampa, Florida, 2906-2907, 1998
  • Cascetta E., Bartolucci A., Bielli M., Delle Site V., Landolfi O., Festa D.: La ricerca sui trasporti per la riduzione dei consumi energetici e delle emissioni inquinanti, in the Proceedings of Conferenza Nazionale Energia e Ambiente, 1998
  • Cascetta E., Bielli M., Landolfi O.: Telematic Systems in the Italian Transportation Research Project, in the Proceedings of INFOMOBILITY '98, 1998
  • Cocchi A., Nardelli E.: Algorithmic Issues in Node Management Policies for Distributed $R^+$-Trees, in the Proceedings of 1st Southern Symposium on Computing {(SSC'98)}, 1998
  • Confessore G., Dell'Olmo P., Giordani S.: An approximation result for a bandwidth allocation problem, in the Proceedings of Operations Research Proceedings '97, Kischka P., others eds., Springer-Verlag, 126-131, 1998
  • Di Pasquale A., Nardelli E.: Efficient Spatial Data Management Using Balanced and Distributed Search Trees, in the Proceedings of 1st Southern Symposium on Computing {(SSC'98)}, 1998
  • Draoli M., Filosi P., Carlo Gaibisso, Lancia M., Laureti Palma A.: A Framework for the Subjective Assessment of Audio Communication on IP Switched Networks: Definition and Validation, in the Proceedings of Proceedings of the International Conference on Communication Technology ICCT{^A}'98, Bejing, China, 1998
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: A Ship Scheduling Problem arising in Hydrocarbon Products Distribution, in the Proceedings of AIRO '98: Logistica, Trasporti e Qualità, 1998
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: Un sistema di progettazione di una rete di controllo distribuito del traffico, in the Proceedings of Traffico Urbano: possibilità del controllo, strumenti e loro efficacia, Marescotti L., Mussone L. eds., 1998
  • Forlizzi L., Nardelli E.: Some Results on the Modeling of Spatial Data, in the Proceedings of 25th Seminar on Current Trends in Theory and Practice of Informatics {(SOFSEM'98)}, Lecture Notes in Computer Science, 1521, Springer-Verlag Jasna, Slovakia, 1998
  • Formisano A., Omodeo E., Temperini M.: Plan of Activities on the Map Calculus, in the Proceedings of GULP/PRODE/APPIA Conference, La Coruña, Spain, July 1998, 1998
  • Carlo Gaibisso, Gambosi G., Lancia M., Martufi G., Mastromartino E.A.: Mobile Code Implementation of the RTP Protocol in Java: Design Choices and Evaluation, in the Proceedings of Proceedings of the SBT/IEEE International Telecommunications Symposium, San Paolo, Brasile 1998, 1998
  • Carlo Gaibisso, Lancia M., Martufi G.: JANE: un Ambiente di Supporto alle Applicazioni Multimediali Distribuite, in the Proceedings of III Workshop on Distributed Systems: Algorithms, Architectures and Languages, Pontignano (SI), Italy, 1998
  • Guerrieri F., Michele Missikoff, Pizzicannella R., Totaro G.: ProForm: a Knowledge based tool for O-O Analysis and Design, in the Proceedings of EDBT'98 Conference, Demo Session, Valencia, Spain, Canos J.H. ed., 31-32, 1998
  • Jünger M., Giovanni Rinaldi: Relaxations of the Max Cut Problem and Computation of Spin Glass Ground States, in the Proceedings of SOR '97, Kischka P., others eds., Operations Research Proceedings, 1998
  • Michele Missikoff, Pizzicannella R.: An Object-Oriented Approach to WorkFlow Modeling, in the Proceedings of EDBT Workshop on WorkFlow Management Systems, Valencia, Spain, Bukhres O., Eder J., Salza S. eds., 57-65, 1998
  • Michele Missikoff, Pizzicannella R.: Ensuring information quality in a very large Web-based Information Network, in the Proceedings of IFIP WG 8.1 Working Conference on Information Systems in the WWW Environment, Beijing, CHINA, Rolland C., Fang M., Chen Y. eds., 1-22, 1998
  • Nardelli E.: La Ricerca Informatica per il Supporto Alle Infrastrutture di Dati Territoriali, in the Proceedings of Convegno ``Un'Infrastruttura di Dati Territoriali per la Rete Unitaria della Pubblica Amministrazione'', 1998
  • Nardelli E., Guido Proietti, Widmayer P.: Finding All the Best Swaps of a Minimum Diameter Spanning Tree Under Transient Edge Failures, in the Proceedings of 6th Annual European Symposium on Algorithms {(ESA '98)}, Bilardi G., Italiano G.F., Pietracaprina A., Pucci G. eds., Lecture Notes in Computer Science, 1461, Springer-Verlag Venezia, Italia, 55-66, 1998
  • Pourabbas E., Rafanelli M.: A System for Free-hand Accessing to Computers and Telematic Services, in the Proceedings of 9th World Conference on Medical Informatics, Seoul, Korea, others , Cesnik B. eds., 1998
  • Pourabbas E., Rafanelli M.: A Voice Driven System to support Disables People for using Computers, in the Proceedings of 15th IFIP World Computer Congress, Vienna, Austria and Budapest, Hungary, Edwards A.D.N., others eds., 455-464, 1998
  • Rafanelli M.: A Graphical Interface to define and store Data on Transportation using an Object-oriented Geographic Information System, in the Proceedings of 8th World Conference on Transport Research, Antwerp-Belgium, Van de Voorde E., others eds., 187-196, 1998
  • Rafanelli M.: The Hydrogeological Disasters and their Prevention: Conceptual Models and Geographical Databases, in the Proceedings of 17th International Conference on Modelling, Identification and Control, Grindelwald-Switzerland, Van de Voorde E., others eds., 187-196, 1998
  • Ricci F.L., Maceratini R., Rafanelli M.: Telematic Evolution of Day-hospital in Oncology, in the Proceedings of 9th World Conference on Medical Informatics, Seoul, Korea, Cesnik B., others eds., 302-306, 1998
  • Salza S., Barone G., Morzy T.: A Distributed Algorithm for Global Query Optimization in Multidatabase Systems, in the Proceedings of A Distributed Algorithm for Global Query, Litwin W., others eds., 95-106, 1998
1997  [top]
  • Paola Bertolazzi, Di Battista G., Didimo W.: Computing Orthogonal Drawings with the Minimum Number of Bends, in the Proceedings of Proceedings WADS'97, Lecture Notes in Computer Science, 1272, Springer-Verlag, 1997
  • Bertuzzi A., Gandolfi A.: Some results on the determination of cell kinetic parameters from DNA-BrdUrd measurements, in the Proceedings of La Matematica nei Problemi dell'Ambiente, della Biologia e della Medicina, Beretta E. ed., Studi Urbinati, Serie A, Anno I, 169-179, 1997
  • Bianco L., Campisi D.: Sistemi convenzionali, intermodalità e sviluppo sostenibile: una valutazione economica delle possibilità di riconversione del trasporto merci in Italia, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Bielli M., Carotenuto P.: Network design models in transportation service planning and management, in the Proceedings of EURO Conference, 1997
  • Bielli M., Carotenuto P.: Genetic algorithms in his network design, in the Proceedings of EURO Conference, 1997
  • Bielli M., Carotenuto P., Ambrosino G., Romanazzo M., Sassoli P.: A modelling framework for impact assessment of urban transportation systems, in the Proceedings of Proceedings IFAC Conference on Transportation Systems, 989-993, 1997
  • Bielli M., Carotenuto P., Delle Site V.: Advanced research on transportation-environment interactions, in the Proceedings of Proceedings IFAC Conference on Transportation Systems, 981-987, 1997
  • Bielli M., Carotenuto P., Delle Site V., Gentile C.: Application of technology forecasting methods to transportation systems, in the Proceedings of EURO Meeting, Working Group on Transportation, 1997
  • Brewer D.D., Giovanni Rinaldi, Mogoutov A., Valente T.W.: Improved measurement of and new data on associative patterns in the recall of persons, in the Proceedings of 17th International Sunbelt Social Network Conference, 1997
  • Francesco Carravetta, Germani A.: Suboptimal Solutions For the Cubic Sensor Problem, in the Proceedings of CDC'97, 36-th IEEE Conference on Decision and Control, 4460-4461, 1997
  • Francesco Carravetta, Germani A., Manes C.: On the Relationship Between Open-loop and Closed-loop State estimation for Nonlinear Stochastic Systems, in the Proceedings of IFAC/IEEE International Symposium on Artificial Intelligence in Real-Time Control, 504-509, 1997
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Castagneto M.: Influence of TPN amino acid composition on plasma taurine in sepsis, in the Proceedings of Proceedings 4th International Congress on The Immune Consequences of Trauma, Shock and Sepsis. Mechanisms and Therapeutic Approaches, Faist E. ed., Monduzzi Bologna, 653-657, 1997
  • Cioni G., Colagrossi A., Temperini M.: An environment for supporting the learning of abstract algebra, in the Proceedings of Software Quality Engineering, Udine, Italy, Tasso C., Adey R.A., Pighin M. eds., Computational Mechanics Publication, Southampton -- Boston , 15-26, 1997
  • Coppa F., Nardelli E., Talamo M.: A Formal Model for the Discrete Representation of Spatial Objects, in the Proceedings of 12th {ACM} Annual Symposium on Applied Computing {(SAC'97)}: Special Track on {D}atabase {T}echnology, Bryant B., others eds., 144-151, 1997
  • Damiani E., Anna Formica, Fugini M.G., Michele Missikoff, Pizzicannella R.: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach, in the Proceedings of First European Symposium on Advances in Databases and Information Systems, St. Petersburg (Russia), 406-415, 1997
  • Draoli M., Carlo Gaibisso, Lancia M., Mastromartino E.A.: Satisfying High Quality Requirements of Videoconferencing on a Packet Switched Network, in the Proceedings of Proceedings of INET '97, Annual Meeting of the Internet Society, Kuala Lumpur, Malesia, 25-27 giugno 1997., 1997
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: Un sistema di progettazione di una Rete di Controllo Distribuito del traffico, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Flammini M., Nardelli E., Guido Proietti: ATM Layouts with Bounded Hop Count and Congestion, in the Proceedings of 11th International Workshop on Distributed Algorithms {(WDAG'97)}, Mavronicolas M., Tsigas P. eds., Lecture Notes in Computer Science, 1320, Springer-Verlag Saarbrücken, Germany, 52 - 65, 1997
  • Anna Formica, Michele Missikoff: A Formal Approach to the Design of Business Agents, in the Proceedings of 4th ModelAge Workshop on Formal Models of Agents, Cesta A., Schobbens P.Y. eds., 299-314, 1997
  • Ivo Giovannini, Nuzzo G., Boldrini G., Carlo Chiarla, Giuliante F., Lemmo G., Vellone M., Tebala G.D.: Hepatectomy and plasma cholinesterase evolution, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 179-182, 1997
  • Jünger M., Giovanni Rinaldi: Relaxations of the Max Cut Problem and Computation of Spin Glass Ground States, in the Proceedings of SOR'97, Lorenz A.-W., Kischka P. eds., Operations Research Proceedings, 1997
  • Lampariello F.: The Effect of Sample-to-sample Variation on the Estimation of Cellular Positivity from Immunofluorescence Test Histograms, in the Proceedings of 14a Riunione Nazionale di Citometria, Riccione, 1997, European Journal of Histochemistry, 41/suppl. 2, Brando B., De Vita R., Mazzini G. eds., 113-114, 1997
  • Maceratini R., Rafanelli M., Ricci F.L.: Hepatocellular carcinoma: the Virtual Hospitalisation in Day-Hospital, in the Proceedings of 14th International Conference on Medical Informatics Europe, MIE'97, Pappas C., Maglaveras N., Scherrer J.R. eds., IOS press Porto Carras (Grecia), 206-210, 1997
  • Michele Missikoff: An Object-Oriented Approach to an Information and Decision Support System for Railway Traffic Control, in the Proceedings of Proceeding of KES Conference, Jain L.C. ed., IEEE Adelaide (Australia), 633-641, 1997
  • Michele Missikoff: Un Approccio Object-Oriented alla integrazione di un sistema informativo e di supporto al Controllo del Traffico Ferroviario, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Nuzzo G., Ivo Giovannini, Boldrini G., Carlo Chiarla, Giuliante F., Lemmo G., Tebala G.D., Vellone M.: Hypophosphatemia (Hypo-P) after liver resections, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 219-222, 1997
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Lemmo G., Tebala G.D., Vellone M.: Low cholesterol and outcome after hepatectomy, in the Proceedings of Proceedings of the European Congress of the International HPB Association, Hamburg, Monduzzi, 223-227, 1997
  • Alberto Pettorossi, Maurizio Proietti: Future Directions in Program Transformation, in the Proceedings of Workshop on Strategic Directions in Computing Research, MIT, Cambridge, USA, SIGPLAN Notices, 32/1, ACM Press, 99-102, 1997
  • Alberto Pettorossi, Maurizio Proietti: Program Derivation via List Introduction, in the Proceedings of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Le Bischenberg, France, Bird R., Meertens L.G.L.T. eds., Chapman \& Hall, 296-323, 1997
  • Alberto Pettorossi, Maurizio Proietti: Flexible Continuations in Logic Programs via Unfold/Fold Transformations and Goal Generalization, in the Proceedings of 2nd ACM SIGPLAN Workshop on Continuations, ENS, Paris, France, Danvy O. ed., BRICS Notes Series, N6-93-13, 1997
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, 6th International Workshop, Stockholm, Sweden, Gallagher J. ed., Lecture Notes in Computer Science, 1207, Springer-Verlag, 147-168, 1997
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Reducing Nondeterminism while Specializing Logic Programs, in the Proceedings of 24th ACM Symposium on Principles of Programming Languages, La Sorbonne, Paris, France, SIGPLAN Notices, 1997
  • Rafanelli M.: A system for the evaluation of urban pollution using a G.I.S., in the Proceedings of First International Conference on GIS-GPS, Istanbul (Turchia), 1997
  • Rafanelli M.: Using a GIS for Prevention from Hydrogeological Disasters: the Italian Case of the Floods, in the Proceedings of Joint European Conference on Geographic Information, Vienna (Austria), Hodgons S., Rumor M., Harts J.J. eds., IOS press, 545-555, 1997
  • Rafanelli M.: Una interfaccia grafica per la creazione di un database object-oriented per la definizione e memorizzazione di dati sul trasporto, in the Proceedings of Atti del III Convegno Nazionale del Progetto Finalizzato Trasporti 2, Cascetta E. ed., 1997
  • Rafanelli M., Ricci F.L., Maceratini R.: Virtual Hospitalisation in Day-Hospital: the Hepatocellular Carcinoma case study, in the Proceedings of INFO'97---Congreso Internacional de Information, Instituto de Informacion Cientifica y Tecnologica La Habana, Cuba, 1-8, 1997
1996  [top]
  • Bezenchek A., Rafanelli M., Tininini L.: ADAMO: a conceptual model to describe and to represent aggregate data, in the Proceedings of International Conference on Computational Statistics---COMPSTAT'96, Prat A. ed., 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A system for the management of aggregate data, in the Proceedings of 7th International Conference on Database and Expert Systems Applications---DEXA'96, Wagner R.R., Thoma H. eds., Lecture Notes in Computer Science, 1134, Springer-Verlag, 531-543, 1996
  • Bezenchek A., Rafanelli M., Tininini L.: A data structure for representing aggregate data, in the Proceedings of 8th International Conference on Scientific and Statistical Database Management - SSDBM'96, French J.C., Svensson P. eds., 1996
  • Bianco L., Confessore G., Reverberi P.: A combinatoirial optimization approach to locate traffic counting points in a transport network, in the Proceedings of SOR '96, Germany, 1996
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria evaluation model of public transport networks, in the Proceedings of Advanced Methods in Transportation Analysis,, Springer-Verlag, 135-156, 1996
  • Campisi D., La Bella A., Mancuso P., Nastasi A.: Firms R\&D Investments, innovation and market shares (Chapter 5), in the Proceedings of Innovative behaviour in space and time, Springer-Verlag, 79-97, 1996
  • Campisi D., Mancuso P., Nastasi A.: Dynamic R and D competion and Market sharing, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 127-135, 1996
  • Campisi D., Nastasi A., Reverberi P.: Market entry decision strategies under incomplete information, in the Proceedings of Final conference of COST A3 action on Management and New Technology, Fondation Cotec, Madrid, 136-145, 1996
  • Campisi D., Nastasi A., Reverberi P.: Evaluating Market Profitability Through Bayesian Belief Networks, in the Proceedings of ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 173-177, 1996
  • Cioni G., Colagrossi A., Temperini M.: An Approach to Class Reasoning in Symbolic Computation, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Calmet J., Limongelli C. eds., Springer-Verlag, 240-251, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: A Simulation Model for International Telecommunication System, in the Proceedings of Internatianal Conference. Simulation in industry 1996. ESS'96 8-th European Simulation Symphosium---Simulation in Industry, SCS Publication, 518-522, 1996
  • Cricelli L., Gastaldi M., Levialdi N.: Vertical cooperation in high technology sectors: the military industry, in the Proceedings of International Conference on Management and New Technologies Madrid, Fondation Cotec, Madrid, 223-230, 1996
  • Di Loreto F., Ferri F., Massari F., Rafanelli M.: A pictorial query language for geographical information systems, in the Proceedings of 4th International Conference on Advanced Visual Interfaces---AVI'96, Catarci T., Costabile M.F., Levialdi S., Santucci G. eds., ACM Gubbio, 233-244, 1996
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: FasTraC: A Decentralized Traffic Control System Based on Logic Programming, in the Proceedings of Proceedings of the 13th International Conference on Automated Deduction ({CADE}-13), McRobbie M.A., Slaney J.K. eds., Lecture Notes in Computer Science, 1104, Springer-Verlag, 216-220, 1996
  • Ferri F., Pourabbas E., Rafanelli M., Sindoni G.: Planning health resource allocation using a geographic information system, in the Proceedings of 1st International Conference on Geographic Information Systems in Urban, Regional and Environmental Planning, Sellis T., Georgoulis D. eds., 11-29, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: An Output Sensitive Solution to the Set Union and Intersection Problem, in the Proceedings of Proceedings of "SOFSEM '96: Theory and Practice of Informatics", Milovy, Repubblica Ceca, 23-30 novembre 1996., Kral J., Jeffery K., Bartosek M. eds., Lecture Notes in Computer Science, 1996
  • Carlo Gaibisso, Guido Proietti, Nardelli E.: Incremental Constraints Maintenance in Concurrent Logic Programming, in the Proceedings of Proceedings of ISCIS XI, 11-th Iternational Symposium on Computer and Information Sciences, Antalya, Turchia, 6-8 novembre 1996, 1996
  • Germani A., Manes C.: A simple observer controller scheme for robot trajectory tracking, in the Proceedings of IASTED---International Conference on Robotics and Manufacturing, Honolulu, 1996
  • Manolopoulos Y., Nardelli E., Papadopoulos A., Guido Proietti: QR-tree: a Hybrid Spatial Data Structure, in the Proceedings of Int. Conference on GIS in Urban, Environmental and Regional Planning, 247-259, 1996
  • Nuzzo G., Ivo Giovannini, Boldrini G., Giuliante F., Carlo Chiarla, Tebala G.D., Vellone M.: Patterns of recovery after liver resection, in the Proceedings of Proceedings of the Second World Congress of Hepato-Pancreato-Biliary Association, Cavallari A., Mazziotti A., Principe A. eds., Monduzzi Bologna, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties, in the Proceedings of Dagstuhl Seminar on Partial Evaluation, Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti: A Comparative Revisitation of Some Program Transformation Techniques, in the Proceedings of Dagstuhl Seminar on Partial Evaluation., Thiemann P., Danvy O., Glück R. eds., Lecture Notes in Computer Science, 1110, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification, in the Proceedings of Joint International Conference and Symposium on Logic Programming, Bonn, Germany, Maher M. ed., Logic Programming Series, 1996
  • Alberto Pettorossi, Maurizio Proietti, Renault S.: Enhancing Partial Deduction via Unfold/Fold Rules, in the Proceedings of Logic Program Synthesis and Transformation, Proceedings LOPSTR '96, Stockholm, Sweden., Gallagher J. ed., 101-112, 1996
  • Pirillo G., Varricchio S.: Some combinatorial properties of infinite words and applications to semigroup theory, in the Proceedings of Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993), 153 (1-3), 239-251, 1996
  • Pourabbas E., Rafanelli M.: An object-oriented epidemiological data modeling system, in the Proceedings of 10th North-Baltic Conference on Biomedical Engineering, Malmivuo J. ed., IFMBE Tampere, 409-410, 1996
  • Pourabbas E., Rafanelli M.: A system for the management of epidemiological data, in the Proceedings of 13th International Conference on Medical Informatics Europe---MIE'96, Nordmann H., Sillesen H. eds., 422-427, 1996
1995  [top]
  • Bianco L., Dell'Olmo P., Giordani S.: The traveling salesman problem with precedence constraints and binary costs, in the Proceedings of XVII IFIP Conference on System Modeling and Optimization, Prag, Lecture Notes in Control and Information Sciences, Springer-Verlag, 543-550, 1995
  • Bianco L., Mingozzi A., Ricciardelli S.: Combining vehicle trips, in the Proceedings of Computer Aided Transit Scheduling, Daduna I.R., Branco I., Pinto Paixao J.M. eds., Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 1995
  • Biondi V., Carlo Gaibisso, Gambosi G., Lancia M., Vitale M.: Traffic Measurements in Multimedia Documents Real Time Transfer, in the Proceedings of Proceedings of INET '95, Annual Meeting of the Internet Society, Honolulu, Hawaii, 27-30 June 1995., 1995
  • Boldrini G., Ivo Giovannini, De Gaetano A.M., Lemmo G., Giuliante F., Carlo Chiarla, Nuzzo G.: Algorithm for the diagnosis of hepatic angioma, in the Proceedings of Proceedings Eurosurgery '95, 5th European Congress of Surgery, Barcelona 1995, Monduzzi, 149-152, 1995
  • Francesco Carravetta, Germani A., Raimondi M.: An Approximation Theory for Optimal Filtering of Linear Discrete Time Non-Gaussian Systems, in the Proceedings of 8th Symposium on Information Control Problems in Manufacturing, Beijing, Xinsong J. ed., IFAC, 393-403, 1995
  • Di Loreto F., Ferri F., Massari F., Rafanelli M.: A visual object-oriented query language for geographical information systems, in the Proceedings of 6th International Conference on Database and Expert Systems Applications - DEXA'95, Revell N., Tjo Mi. eds., Lecture Notes in Computer Science, 978, Springer-Verlag, 103-113, 1995
  • Giovanni Felici, Giovanni Rinaldi, Truemper K.: Development of a decentralized traffic control system based on logic programming, in the Proceedings of Fourth International Conference on Applications of Advanced Technologies in Transportation Engineering, Filippi F., Stephanedes Y.J. eds., 1995
  • Anna Formica, Michele Missikoff, Terenzi R.: Constraint Satisfiability in Object-Oriented Databases, in the Proceedings of Second International East/West Database Workshop on Extending Information Systems Technology, Eder J., Kalinichenko L. eds., Springer, 48-60, 1995
  • Gastaldi M., Levialdi N.: A Simulation Model for the Dynamic Comparison of R\&D Innovation Structures, in the Proceedings of EUROSIM 95 Congress, Elsevier, 1095-1100, 1995
  • Ivo Giovannini, Boldrini G., Nuzzo G., Carlo Chiarla, Giuliante F., Lemmo G., Marrocco M.: Dynamics of plasma cholesterol (CHOL) changes after hepatic resection, in the Proceedings of Proceedings European I.H.P.B.A. Congress `Athens'95', Monduzzi, 941-944, 1995
  • Ivo Giovannini, Nuzzo G., Boldrini G., Carlo Chiarla, Giuliante F., Aronne O., Marrocco M.: Plasma cholesterol (CHOL) in critically ill surgical patients, in the Proceedings of Proceedings European I.H.P.B.A. Congress `Athens'95', Monduzzi, 937-940, 1995
  • Lau K.-K., Ornaghi M., Alberto Pettorossi, Maurizio Proietti: Correctness of Logic Program Transformation Based on Existential Termination, in the Proceedings of 1995 International Logic Programming Symposium (ILPS '95), Lloyd J.W. ed., Logic Programming Series, 1995
  • Maceratini R., Rafanelli M., Ricci F.L.: Virtual hospitalization: reality or utopia?, in the Proceedings of 8th World Conference on Medical Informatics, MEDINFO '95, Greenes R.A., Peterson H.E., Protti D.J. eds., 1482-1486, 1995
  • Manolopoulos Y., Nardelli E., Guido Proietti, Vassilakopoulos M.: On the Generation of Aggregated Random Spatial Regions, in the Proceedings of 4th ACM International Conference on Information and Knowledge Management, 318-325, 1995
  • Nobili P., Sassano A.: (0,$\pm$1) Ideal Matrices, in the Proceedings of Integer Programming and Combinatorial Optimization - IPCO IV, Lecture Notes in Computer Science, 920, 344-359, 1995
  • Nuzzo G., Ivo Giovannini, Giuliante F., Boldrini G., Carlo Chiarla, Cavicchioni C., Tebala G.D., Vellone M.: Liver resection in advanced age, in the Proceedings of Proceedings European I.H.P.B.A. Congress `Athens'95, Monduzzi, 727-731, 1995
  • Pourabbas E., Rafanelli M.: An epidemiological model for heterogeneous population regarding epidemic and endemic infective diseases and a system for the planning of resource allocation, in the Proceedings of European Conference on Engineering and Medicine, Pedotti A., Rabischong P. eds., 1995
  • Rafanelli M.: A model for the representation and the control of the urban traffic, in the Proceedings of 6th International Conference on Applied Modelling, Simulation and Control, Hamza M.H. ed., Acta Press Cancun, 91-94, 1995
  • Rafanelli M.: Proposal of a system for the free hand access to telematic services by vocal commands, in the Proceedings of International Conference on Health Telematics '95, Bracale L. ed., 116-119, 1995
  • Rafanelli M., Bezenchek A.: The AD model, in the Proceedings of Congreso Internacional de Informacion - INFO'95, Revell N., Min Tjoa A. eds., 106-112, 1995
  • Rafanelli M., Ferri F., Maceratini R.: Toward an improving of the life optimizing the resource use, in the Proceedings of 8th World Conference on Medical Informatics, MEDINFO '95, Greenes R.A., Peterson H.E., Protti D.J. eds., 1013-1017, 1995
1994  [top]
  • Bezenchek A., Massari F., Rafanelli M.: STORM+: Statistical Data Storage and Manipulation System, in the Proceedings of Compstat '94, Dutter R., Grossmann W. eds., Physica-Verlag, 351-356, 1994
  • Bianco L., Dell'Olmo P.: The Minimization of resources costs in scheduling independent tasks with fixed completion time, in the Proceedings of IFIP Conference on System Modelling and Optimization, Lecture Notes in Control and Information Sciences, Springer-Verlag, 785-794, 1994
  • Bianco L., Dell'Olmo P., Ezchkova I.: Application of contextual technology for supporting decision making in transportation, in the Proceedings of VII IFAC/IFORS Symposium on Transportation Systems: Theory and Applications of Advanced Technology, Tianjin, 363-368, 1994
  • Bianco L., Dell'Olmo P., Giordani S.: Exact and Heuristic Algorithms for the jump number problem, in the Proceedings of International Conference on Operations Research, Berlin, Derigs U. ed., Operations Research Proceedings, Springer-Verlag, 145-150, 1994
  • Bielli M., Gastaldi M.: Expert control approach to integrated urban traffic management systems, in the Proceedings of 7th Symposium on Transportation Systems: Theory and application of advanced technology, Pergamon Press, 247-252, 1994
  • Campisi D., Gastaldi M., Schachter G., Cohen B.C.: Transportation Choices for Susteinable Development, in the Proceedings of International Symposium- Models of Sustainable Development. Exclusive or Complementary Approaches of Sustainability?, Afcet, 537-546, 1994
  • Campisi D., Mancuso P., Nastasi A.: Dynamic noncooperative firms R\&D strategies in an oligopolistic industry, in the Proceedings of International Conference on Operations Research, Springer-Verlag, 1994
  • Francesco Carravetta, Germani A., Raimondi M.: Filtering of Discrete Time Bilinear Systems: a Polynomial Approach, in the Proceedings of 2nd IEEE Mediterranean Symposium on New Directions in Control and Automation, Chania, Crete, Lewis F.L. ed., IEEE, 390-399, 1994
  • Ferri F., Maceratini R., Pisanelli D.M., Rafanelli M., Ricci F.L.: A multimedia object-oriented patient folder for the management of a day-hospital, in the Proceedings of 8th International Conference on Biomedical Engineering, Go G.C.H., Nather A. eds., 460-462, 1994
  • Ferri F., Maceratini R., Rafanelli M.: An Object Oriented System for Resources Allocation, in the Proceedings of World Congress on Medical, Physics and Biomedical Engineering, Rodriguez L.N., Nadal J. eds., 1994
  • Ferri F., Pourabbas E., Rafanelli M.: SCENARIO: from Geographical to Statistical Information, in the Proceedings of Compstat '94, Dutter R., Grossmann W. eds., Physica-Verlag, 38-39, 1994
  • Ferri F., Pourabbas E., Rafanelli M.: The Health Resources Allocation Planning Problem, in the Proceedings of International Conference on the Information Technology Issues in Community Health, ITCH '94, Fisher P.D. ed., 82-87, 1994
  • Ferri F., Rafanelli M., Pourabbas E., Sindoni G.: GIS and Health Resources Planning Problems, in the Proceedings of European Geographic Information Systems - EGIS-MARI '94, Ottens H.F.L. ed., 1433-1442, 1994
  • Anna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas, in the Proceedings of Advances in Database Technology, Proc. of International Conference EDBT 94, Jarke M., Bubenko J., Jeffery K. eds., Lecture Notes in Computer Science, 779, Springer-Verlag, 231-244, 1994
  • Fossa M., Nardelli E., Guido Proietti: A Multistage Approach to Complex Document Interpretation, in the Proceedings of International Symposium in Informatics Applications, 1994
  • Bruno Luigi Martino, Di Persio G, Rubini A, Morelli E, Falvella MC: Computer Based System for Data Acquisition and Handling from PCM Decoder and for Data Communications Between Remote Stations, First Symposium on Stratospherical Mediterranean Balloons, 1994
  • Bruno Luigi Martino, Morelli E, Rubini A, Di Persio G: HW/SW Telecommand Management and Transmitting System for Transmediterranean Balloon Flights, First Symposium on Stratospherical Mediterranean Balloons, 1994
  • Bruno Luigi Martino, Sacco B., Agnetta G., Biondo B, Catalano O, Di Raffaele R, Maccarone MC, Mangano A, Scarsi L., Costa E, Di Persio G, Mastropietro M, Matt G, Natali G, Rubini A, Gerardi G, Massaro E, Medici G, Morelli E, Cosentino R: FIGARO IV: A Balloon-Borne Large Area Gamma-Ray Telescope (above 100 MeV) based on LST Technology, Istit. Nacional Tecnica Aerosp INTA ed., 1994
  • Michele Missikoff, Toiati M.: MOSAICO---A System for Conceptual Modeling and Rapid Prototyping of Object-Oriented Database Applications, in the Proceedings of International Conference ACM-SIGMOD, Snodgrass R.T., Winslett M. eds., ACM, 1994
  • Michele Missikoff, Toiati M.: Safe Rapid Prototyping of Object-Oriented Database Applications, in the Proceedings of IEEE International Workshop on Rapid System Prototyping, Courtois B. ed., 168-176, 1994
  • Michele Missikoff, Toiati M.: On Overview of MINT: an Intelligent System for Railway Traffic Control, in the Proceedings of 13th International Conference on Modelling, Identification and Control, Hamza M.H. ed., ACTA Press, 46-50, 1994
  • Nardelli E., Guido Proietti: A Hybrid Pointerless Representation of Quadtrees for Efficient Processing of Window Queries, in the Proceedings of Proc. of the International Workshop on Advanced Research in Geographic Information Systems, Nievergelt J., others eds., Springer-Verlag Ascona, Svizzera, 259-269, 1994
  • Nardelli E., Guido Proietti: An Accurate Model for Quadtrees Representing Noiseless Images of Spatial Data, in the Proceedings of 1st IEEE International Conference on Image Processing, 610-614, 1994
  • Nardelli E., Guido Proietti: Managing Overlapping Features in Spatial Database Applications, in the Proceedings of International Computer Symposium, 1297-1302, 1994
  • Nuzzo G., Ivo Giovannini, Boldrini G., Carlo Chiarla, Giuliante F., Cavicchioni C., Marrocco M.: Changes of plasma lipid profiles in postoperative and septic patients., in the Proceedings of Proceedings Seventh European Congress on Intensive Care Medicine, Innsbruck, Monduzzi, 1059-1062, 1994
  • Nuzzo G., Ivo Giovannini, Boldrini G., Carlo Chiarla, Giuliante F., Cavicchioni C., Marrocco M.: Changes of plasma lipid profiles in postoperative and septic patients, in the Proceedings of Proceedings VII European Congress on Intensive Care Medicine, Monduzzi Bologna, 1059-1062, 1994
  • Maurizio Proietti, Alberto Pettorossi: Synthesis of Programs from Unfold/Fold Proofs, in the Proceedings of Logic Program Synthesis and Transformation, LOPSTR '93, Louvain-la-Neuve, Belgium, Deville Y. ed., Workshops in Computing, 1994
  • Maurizio Proietti, Alberto Pettorossi: Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables, in the Proceedings of Eleventh International Conference on Logic Programming (ICLP '94), S. Margherita Ligure, Italy, June 13--18, Van Hentenryck P. ed., Logic Programming Series, 1994
  • Rafanelli M., Ferri F., Maceratini R., Pourabbas E.: A decision support system for the allocation of health care resources to decrease the disease incidence in developing countries, in the Proceedings of 8th International Conference on Biomedical Engineering, Go G.C.H., Nather A. eds., 394-396, 1994
  • Rafanelli M., Ferri F., Maceratini R., Sindoni G.: An Object Oriented Decision Support System for the Planning of Health Resource Allocation, in the Proceedings of XII Intern. Congress on Medical Informatics, MIE '94, Barahona P., Veloso M., Bryant J. eds., 607-612, 1994
1993  [top]
  • Paola Bertolazzi, Di Battista G., Mannino C., Tamassia R.: Upward planarity testing of Single-Source digraphs, in the Proceedings of European Symposium on Algorithms, Lengauer T. ed., Lecture Notes in Computer Science, 726, 1993
  • Bertuzzi A., De Gaetano A., Gandolfi A., Greco A.V., Mingrone G., Salinari S.: Pharmacokinetics of Dodecanedioic Acid in Rat, in the Proceedings of 15th International Conference of IEEE-EMBS, San Diego, Szeto A.Y.J., Rangayyan R.M. eds., IEEE New York, 572-573, 1993
  • Bielli M., Carotenuto P., Gastaldi M.: Multicriteria Evaluation of Integrated Urban Traffic Management Systems, in the Proceedings of Meeting of EURO Working Group on Urban Traffic and Transportation, EURO Working Group, 337-347, 1993
  • Bielli M., Gastaldi M., Sica F.: Performance Evaluation of Urban Transport Service Management and Organization, in the Proceedings of Proceedings 6th European Forum on Cost Engineering,, Università Bocconi, 189-212, 1993
  • Bonamico S., Cioni G., Colagrossi A.: An Enhanced Sequent Calculus for Reasoning in a given Domain, in the Proceedings of Design and Implementation of Symbolic Computation Systems, Miola A. ed., Springer-Verlag, 369-373, 1993
  • Campisi D., Gastaldi M.: Managing regional growth in a dualistic economy, in the Proceedings of International Congress on Modelling and Simulation 1993: Modelling Change in Environmental and Socioeconomic Systems, Uniprint M., McAleer , Jakeman A. eds., 1325-1330, 1993
  • Anna Formica, Michele Missikoff, Toiati M.: A Validation Tool for Object-Oriented Database Specifications, in the Proceedings of ERCIM Database Research Group Workshop, 93-95, 1993
  • Fossa M., Nardelli E., Guido Proietti: Raster to Object Conversion Aided by Knowledge Based Image Processing, in the Proceedings of 2nd IEEE International Conference on Document Analysis and Recognition, 1993
  • Guerra R., Ferri F., Maceratini R., Pourabbas E., Rafanelli M.: RAM: Resources Allocation Model for health resources allocation, in the Proceedings of 11th International Congress on Medical Inform. Europe, MIE '93, Reichert A., others eds., 691-696, 1993
  • Lam H., Michele Missikoff: On Semantic Verification of Object-Oriented Database Schemas, in the Proceedings of International Workshop on New Generation Information Technology and Systems, Etzion O., Segev A. eds., 22-29, 1993
  • Bruno Luigi Martino, Sacco B., Agrinier B, Agnetta G., Biondo B, Catalano O, Cinti MN, Costa E, Cusumano G, D'Amico N., D'Ali G, Di Raffaele R, Gerardi G, Gros M, Lavigne JM, Maccarone MC, Mangano A, Masnou JL, Massaro E, Matt G, Medici G, Mineo T, Morelli E, Natali G, Nicastro L, Pedichini F, Rubini A, Scarsi L., Tripiciano M: FIGARO IV: 16 square meter balloon borne telescope to study rapid variabilities and transient phenomena at energies above 50 MeV, Conference American Institute of Physics, 280, 1993
  • Montesi D., Torlone R.: Lazy Evaluation of Intensional Updates in Constraint Logic Programming, in the Proceedings of ICSC'92 (Second International Computer Science Conference), Hong Kong, 502-508, 1993
  • Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1992, Clement T.P., Lau K.-K. eds., Workshops in Computing, 1993
  • Maurizio Proietti, Alberto Pettorossi: Best-First Strategies for Incremental Transformation of Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, LOPSTR '92, Manchester, U.K., Lau K.-K., Clement T.P. eds., Springer-Verlag, 82-98, 1993
  • Rafanelli M., Ferri F.: The acquisition, allocation and management of health care resources by a geographical information system, in the Proceedings of 1st International Congress of Information, INFO '93, 191-196, 1993
  • Rafanelli M., Ferri F., Maceratini R.: A System for the Storing of Multimedial Epidemiological Data, in the Proceedings of 15th International Conference of the IEEE Engineering in Medicine and Biology Soc., Szeto A.Y.J., Rangayyan R.M. eds., IEEE, 626-627, 1993
  • Rafanelli M., Maceratini R.: Integrated expert systems for the differential diagnosis, the evaluation of the operative risk, the staging and the support to the surgical act for the pancreatic cancer, in the Proceedings of 1st International Congress of Information, INFO '93, Sales H.A. ed., 47-54, 1993
1992  [top]
  • Paola Bertolazzi, Di Battista G., Tamassia R., Tollis J.: How to draw a series-parallel digraph, in the Proceedings of Algorithm Theory-{SWAT92}, Lecture Notes in Computer Science, 621, Springer-Verlag, 1992
  • Bertuzzi A., Bizzarri M., De Santis A., Gandolfi A.: Parameter estimation by maximum likelihood in a model of Tryptophan renal excretion, in the Proceedings of 4th International Symposium on Systems Analysis and Simulation, Berlin, Sydow A. ed., Elsevier Amsterdam, 275-280, 1992
  • Bertuzzi A., Gandolfi A., Greco A.V., Mancinelli R., Mingrone G., Salinari S.: Material identification of guinea-pig gallbladder wall, in the Proceedings of 14th International Conference of {IEEE-EMBS}, Paris, Morucci J.P., Plonsey R., Coatrieux J.L., Laxminarayam S. eds., IEEE New York, 67-69, 1992
  • Bianco L., Campisi D., Gastaldi M.: The Competition between Truck and Rail Transportation: Numerical Simulations and Empirical Evidence from the Italian Case, in the Proceedings of Eurosim '92 Simulation Congress. 1992 EUROSIM Conference,, Maceri F., Iazzeolla G. eds., North Holland, 437-452, 1992
  • Campisi D., Gastaldi M., La Bella A., Nastasi A.: Multiregional Growth and Investment Policies: Alternative Numerical Simulations of the Italian Economy, in the Proceedings of Eurosim '92 Simulation Congress. 1992 EUROSIM Conference, Maceri F., Iazzeolla G. eds., North Holland, 489-498, 1992
  • Camurri F., Michele Missikoff, Sissa G.: Object-Oriented Constraint Representation for Railway Traffic Optimization, in the Proceedings of 3d Int'l Conference COMPRAIL '92, 1992
  • Carlucci Aiello L., Colagrossi A., Micarelli A., Miola A.: Education in Mathematics: An Artificial Intelligence Approach, in the Proceedings of IInd International Symposium on Artificial Intelligence and Mathematics, 1992
  • Cini M., Magnani B.: An Intelligent Assistant for Fleet Planning and Scheduling, in the Proceedings of AGIFORS 32nd Annual Symposium, 1992
  • Cohen B., Di Battista G., Tamassia R., Tollis J., Paola Bertolazzi: A framework for dynamic graph drawing, in the Proceedings of ACM Computational Geometry, ACM Press, 1992
  • Conti F., Malucelli F., Sara Nicoloso: Integer Matrix Partitioning Problems, 1992
  • Ferri F., Maceratini R., Rafanelli M., Sebastio A.: VOQUEL: A VOcal QUEry Language inside a User Friendly Interface in a Complex Exper System for Pancreatic Diseases, in the Proceedings of 7th World Congress of Medical Informatics, Medinfo 92, Mandil S.H., Sherrer J.R. eds., North Holland, 1992
  • Ferri F., Pisano M.T., Rafanelli M.: An Object Oriented Visual Data Definition Language for Statistical Data, in the Proceedings of New Techniques and Technologies for Statistics, Bonn, Weichselberger K., Klosgen W. eds., Eurostat-GMD, 370-384, 1992
  • Anna Formica, Michele Missikoff: Adding Integrity Constraints to Object-Oriented Databases, in the Proceedings of Int'l Conference on Information and Knowledge Management, 1992
  • Guerra R., Ferri F., Maceratini R., Rafanelli M.: A System for Health Resources Allocation in a Defined Region, in the Proceedings of 7th World Congress of Medical Informatics, Medinfo 92, Mandil S.H., Sherrer J.R. eds., North Holland, 1992
  • Limongelli C., Miola A., Temperini M.: Design and Implementation of Symbolic Computation Systems, in the Proceedings of Programming Environments for High-Level Scientific Problem Solving, Gaffney P.W., Houstis E.N. eds., North Holland, 217-226, 1992
  • Bruno Luigi Martino, Costa E, Di Persio G, Feroci M, Piro L, Rubini A, Soffitta P., Massaro E, Perola GC, Manzo G, Kaaret P, Novik R, Santangelo A.: Performances of the Imaging Proportional Counter of the Stellar X-ray Polarimeter, SPIE S ed., EUV, X-ray, and gamma-ray instrumentation for astronomy III; Proceedings of the Meeting, San Diego, CA, 1992
  • Nanni U., Salza S., Terranova M.: An Algebraic Approach to the Manipulation of Complex Objects, in the Proceedings of 25-th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Milutinovic V., Shriver B.D. eds., 359 - 368, 1992
  • Palopoli L., Torlone R.: Specifying the Dynamics of Complex Object Databases, in the Proceedings of Fourth International Workshop on Foundations of Models and Languages for Data and Objects -- Modelling Database Dynamics, Volkse, Germany, Springer-Verlag, 143-160, 1992
  • Maurizio Proietti, Alberto Pettorossi: An Automatic Transformation Strategy for Avoiding Unnecessary Variables in Logic Programs, in the Proceedings of Logic Program Synthesis and Transformation, Manchester 1991, Lau K.-K., Clement T.P. eds., Workshops in Computing, 1992
  • Rafanelli M., Ferri F.: VIDDEL: an object-oriented VIsual Data DEfinition Language for statistical data, in the Proceedings of 6th Intern. Conf. on SSDBM, Ascona, Hinterberger H., French J.C. eds., ETH Zurich, 18-28, 1992
  • Rafanelli M., Ferri F., Guerra R., Maceratini R., Pourabbas E.: RAM: a system for health resources allocation, in the Proceedings of 14th International Conference of the IEEE Engineering in Medicine and Biology Soc., Paris, IEEE, 1193 - 1194, 1992
  • Rafanelli M., Rastellini A., Ferri F., Maceratini R.: A user vocal interface for the intra-operative staging, in the Proceedings of 14th International Conference of the IEEE Engineering in Medicine and Biology Soc., Paris, IEEE, 862-863, 1992
  • Salza S., Tomasso R.: A Modelling Tool for the Performance Analysis of Relational Database Applications, in the Proceedings of Sixth International Conference on Modelling Techniques and Tools, Edinburgh, Pooley R., Hillston J. eds., 323-338, 1992
1991  [top]
  • Ambrosino G., Bielli M., Boero M., Fleischmann S., Hock R., Irgens M.: A blackboard model for traffic control operations, in the Proceedings of Advanced Telematics in Road Transport, Elsevier, 615-634, 1991
  • Atzeni P., Torlone R.: Updating Deductive Databases with Functional Dependencies, in the Proceedings of DOOD'91 (Second International Conference on Deductive and Object-Oriented Databases), Munich, Lecture Notes in Computer Science, 566, Springer-Verlag, 278-291, 1991
  • Atzeni P., Torlone R.: Scheme Translation: a Metamodel Approach, in the Proceedings of Second International Workshop on Intelligent and Cooperative Information Systems, Como, Italy, GTE Laboratories, 76-78, 1991
  • Atzeni P., Torlone R.: A metamodel approach for the management of multiple models in CASE tools, in the Proceedings of DEXA'91 (Second International Conference on Database and Expert System Applications), Berlin, Springer-Verlag, 350-355, 1991
  • Atzeni P., Torlone R.: Management of multiple models: a metamodel for conceptual models, in the Proceedings of Third International Workshop on Database Programming Languages, Nauplion, Greece, Morgan Kauffman, Los Altos, 169-181, 1991
  • Beccaria M., Paola Bertolazzi, Di Battista G., Liotta G.: A tailorable and extensible automatic layout facility, in the Proceedings of IEEE Workshop on Visual Languages, 1991
  • Paola Bertolazzi, Di Battista G.: On upward drawing testing of triconnected digraphs, in the Proceedings of Computational Geometry, ACM Press, 272-180, 1991
  • Bertuzzi A., Gandolfi A., Greco A.V., Mingrone G., Salinari S.: A Nonlinear Model for the Pharmacokinetics of Sebacic Acid, in the Proceedings of 13th IMACS World Congress, Dublino, Vichnevetsky R., Miller J.J.H. eds., Criterion Press Dublino, 1469-1471, 1991
  • Bertuzzi A., Gandolfi A., Starace G.: A Model-Based Estimation of DNA synthesis Rate from Bivariate DNA-BrdU Distributions, in the Proceedings of 13th International Conference of IEEE-EMBS, Orlando, Nagel J.H., Smith W.M. eds., IEEE New York, 1485-1486, 1991
  • Cioni G., Miola A.: Specification and programming Methodologies for Axiomatizable Objects Manipulation: TASSO Project, in the Proceedings of Computer Algebra and Physical Research, Shirkov D.V., Rostovtsev V.A., Gerdt V.P. eds., World Scientific, 9-18, 1991
  • Anna Formica, Michele Missikoff: Materialization of Recursive Objects in an Object-Oriented Database, in the Proceedings of International Symposium on Applied Informatics, 266-270, 1991
  • Franciosa P.G., Carlo Gaibisso, Talamo M.: An On-Line Convex Hull Algorithm on Reals, in the Proceedings of Proceedings of the International Conference for Young Computer Scientists '91, Pechino 18-20 luglio 1991, 1991
  • Malvestuto F.M., Moscarini M., Rafanelli M.: Suppressing marginal cells to protect sensitive information in a two-dimentional statistical table, in the Proceedings of 10th ACM Symposium on Principles of Database Systems - PODS '91, Denver, Colorado, Mendelzon A.O. ed., ACM New York, 252-258, 1991
  • Michele Missikoff: Merging the Data Management Capabilities of D.B.S. and the Deductive Capabilities of E.S., in the Proceedings of World Congress on Expert Systems, Orlando, 2913-2915, 1991
  • Nanni U., Salza S., Terranova M.: LOA: an Algebra for the manipulation of complex objects, in the Proceedings of Proceedings of the East Europe Object Oriented Programming '91 Conference, Bratislava, CSFR, 1991
  • Sara Nicoloso, Nobili P.: A Set Covering Formulation of the Matrix Equipartition Problem, in the Proceedings of 15th IFIP Conf. on System Modelling and Optimization, Kall P. ed., Lecture Notes in Control and Information Sciences, 180, Springer-Verlag, 189-198, 1991
  • Palopoli L., Torlone R.: Declarative Update Specifications for Complex Objects Databases, in the Proceedings of International Workshop on Deductive Databases, San Diego, California, ILPS, 28-42, 1991
  • Maurizio Proietti, Alberto Pettorossi: Semantics Preserving Transformation Rules for Prolog, in the Proceedings of ACM Symposium on Partial Evaluation and Semantics Based Program Manipulation, PEPM '91, SIGPLAN Notices, pp. 274-285, 1991
  • Rafanelli M., Maceratini R.: SPES-2: An Expert System for the Intra-Operative Phase of the Pancreas Cancer, in the Proceedings of 10th Intern. Congr. of Medical Informatics, MIE '91, Springer-Verlag, 1991
  • Rafanelli M., Maceratini R.: An Expert System for the Evaluation of the Operative Risk and of the Life Expectancy and the Standard of Post-Operative Living, in the Proceedings of 13th IEEE Intern. Confer. on Engineering in Medicine and Biology Soc., EMBS '91, Nagel J.H., Smith W.M. eds., IEEE, 1292-1293, 1991
  • Shoshani A., Rafanelli M.: A Model for Representing Statistical Objects, in the Proceedings of 3rd Internat. Confer. on Management of Data, COMAD '91, Bombay, Sadanandan P., Vijayaraman T.M. eds., McGraw Hill New Delhi, 161-180, 1991
1990  [top]
  • Antenucci G., Sara Nicoloso, Simeone B.: Optimal Hypergraph Partitioning in VLSI Circuit Layout, in the Proceedings of Atti delle Giornate AIRO 1990, 1990
  • Atzeni P., Tanca L.: The LOGIDATA+ Model and Language, in the Proceedings of Next Generation Information Systems Technology, Kiev, USSR, Lecture Notes in Computer Science, 504, Springer-Verlag, 294-310, 1990
  • Atzeni P., Torlone R.: Updating Datalog databases, in the Proceedings of Next Generation Information Systems Technology, Kiev, USSR, Lecture Notes in Computer Science, 504, Springer-Verlag, 347-362, 1990
  • Bertuzzi A., Gandolfi A., Starace G.: Estimation of Cell Kinetic Parameters from Sequences of DNA Distributions, in the Proceedings of 12th International Conference of IEEE-EMBS, Philadelphia, Pedersen P.C., Onaral B. eds., IEEE New York, 1654-1655, 1990
  • Bianco L., Mingozzi A., Ricciardelli S., Spadoni V.: The traveling salesman problem with precedence constraints, in the Proceedings of Proceedings of the International Conference on Operations Research, 1990
  • Bonamico S., Cioni G., Colagrossi A.: A Gentzen based deduction method for mathematical problem solving, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
  • Campisi D., Gastaldi M., La Bella A.: Technological Change and Policy in MRIO Models, in the Proceedings of Proceedings of the 14h IFIP Conference on System Modelling and Optimization, Sebastian H.J., Tammer K. eds., Lecture Notes in Control and Information Sciences, Springer-Verlag, 716-724, 1990
  • Cinque L., Costabile M.F., Levialdi S., Michele Missikoff: Towards a Formal Specification Methodology for Iconic Interface Design: a Case Study, in the Proceedings of International Workshop on Visual Languages - VL'90, Chang ed., 1990
  • Colagrossi A., Limongelli C., Miola A.: Scientific Computation by Error Free Arithmetic, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 27-35, 1990
  • De Santis A., Germani A., Jetto L.: A Nonstationary Adaptive Model for Recursive Image Filtering, in the Proceedings of Proceedings of the 11th IFAC World Conference, 92-97, 1990
  • De Simone C., Deza M., Laurent M.: Collapsing and Lifting for the Cut Cone, in the Proceedings of Second Japan Conference on Graph Theory and Combinatorics, Hakone, Japan, 18-22, 1990
  • Facchinei F., Lucidi S.: A Method for the Minimization of a Quadratic Convex Function Over the Simplex, in the Proceedings of DGOR-Proceedings of Operations Research, Vienna, 1990
  • Falcitelli G., Pisanelli D.M., Rafanelli M., Ricci F.L.: Expert interface for epidemiologic data management, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Forcellese G., Temperini M.: Towards a logic language: an Object Oriented Implementation of the Connection Method, in the Proceedings of DISCO'90, Miola A. ed., Lecture Notes in Computer Science, 429, Springer-Verlag, 280-281, 1990
  • Carlo Gaibisso, Gargano M.: A Trade-Off Analysis for the Choice of an Efficient Representation of Spatial Objects in Large Databases, in the Proceedings of Proceedings of the 10th International Conference of the Chilean Computer Science Society, Santiago del Cile July 23-27, 1990, 1990
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experements, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experiments, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990
  • La Bella A., Morini A., Silvestrelli M.: Telematics and Business Travel, in the Proceedings of Telematics- transportation and spatial development. Proceedings of an International Symposium. VPS, 107-134, 1990
  • Limongelli C., Mele M.B., Regio M., Temperini M.: Abstract Specification of Mathematical Structures and Methods, in the Proceedings of DISCO'90, Miola A. ed., Lecture Notes in Computer Science, 429, Springer-Verlag, 61-70, 1990
  • Maceratini R., Crollari S., Rafanelli M.: Expert systems in the Gastrointestinal Diseases, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Michele Missikoff, Vazzana S.: An Object Oriented Approach to Knowledge Representation, in the Proceedings of IASTED Symposium, Acta Press Calgary, 84-87, 1990
  • Maurizio Proietti, Alberto Pettorossi: Synthesis of Eureka Predicates for Developing Logic Programs, in the Proceedings of Third European Symposium on Programming, ESOP '90, Jones N. ed., Lecture Notes in Computer Science, 432, 1990
  • Maurizio Proietti, Alberto Pettorossi: Construction of Efficient Logic Programs by Loop Absorption and Generalization, in the Proceedings of Second International Workshop on Metaprogramming in Logic, Meta '90, Bruynooghe M. ed., 57-81, 1990
  • Rafanelli M., Maceratini R.: Proposal of an Expert System in Surgical Domain, in the Proceedings of 9th Intern. Congr. Medical Informatics, MIE '90, Springer-Verlag, 1990
  • Rafanelli M., Ricci F.L.: A Visual Interface for Browsing and Manipulating Statistical Entities, in the Proceedings of 5th Intern. Conf. on SSDBM, Michalewicz Z. ed., Springer-Verlag Berlin, 163-182, 1990
  • Rafanelli M., Ricci F.L.: A functional model for statistical entities, in the Proceedings of First Intern. Conf. on Database and Expert Systems Applications, DEXA '90, Vienna, Tjoa A.M., Wagner R.R. eds., Springer-Verlag Wien, 513-520, 1990
  • Rafanelli M., Shoshani A.: STORM: A Statistical Object Representation Model, in the Proceedings of 5th Intern. Conf. on SSDBM, Michalewicz Z. ed., Springer-Verlag Berlin, 14-29, 1990
  • Rafanelli M., Shoshani A.: On the representation problems of statistical object, in the Proceedings of Intern. Conference on Database Theory and Application, Techno Data '90, Richter D., Grabowski H. eds., Akademie-Verlag Berlin, 122-132, 1990
  • Regio M., Temperini M.: Implementation and Manipulation of Formal Objects: an Object Oriented view, in the Proceedings of Personal and Small Computers, 1990
  • Regio M., Temperini M.: Object Oriented Methodology for the Specification and the Treatment of Mathematical Objects, in the Proceedings of Computer Systems and Applications, Balagurusamy E., Sushila B. eds., Tata McGraw Hill Hyderabad, 1990
1989  [top]
  • Atzeni P., Torlone R.: Database Updates in the Weak Instance Model, in the Proceedings of IASTED International Symposium, Grindelwald, Switzerland, 445-448, 1989
  • Atzeni P., Torlone R.: Updating Databases in the Weak Instance Model, in the Proceedings of Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, 101-109, 1989
  • Paola Bertolazzi, Guerra C., Salza S.: A parallel algorithm for the visibility problem inside a single polygon, in the Proceedings of International Conference on Pattern Recognition, Springer-Verlag, 1989
  • Bianco L., Mingozzi A., Ricciardelli S., Spadoni V.: A new algorithm for the single vehicle delivery problem, in the Proceedings of Proceedings of the International Conference on Logistics, 1989
  • Cesarini F., Michele Missikoff, Soda G.: X-TUNER: An Expert System for Tuning Applications in a Relational Database Environment, in the Proceedings of CIL 89 Conference, 347-365, 1989
  • Cini M., Rossi G., Vecchio A.: Aircraft Rotation System, in the Proceedings of Proceedings XXIX Agifors Symposium, 1989
  • De Santis A., Germani A., Jetto L.: Some Results on the Finite Dimensional Approximation of the Algebraic Riccati Equation in Hilbert Space, in the Proceedings of Proceedings of the Workshop on the Riccati Equation in Control Systems and Design, 1989
  • De Santis A., Germani A., Jetto L., Passariello R.: A New Filtering Algorithm for Signal to Noise Ratio Improvement in Magnetic Resonance Imaging, in the Proceedings of Proceedings of the 3rd Symposium on Computer Assisted Radiology, 27-32, 1989
  • Gambosi G., Nardelli E., Talamo M.: A Pointer Free Data Structure for Mergeable Heaps and Min-Max Heaps, in the Proceedings of ICALP '89, 1989
  • Gandolfi A., Strom R.: Analysis of Antibody Binding to Conformation-Dependent Epitopes, in the Proceedings of International Workshop on Mathematical Modelling in Immunology and Medicine, Kiev, Mohler R., Asachenkov A. eds., IIASA Laxenburg, 103-110, 1989
  • Michele Missikoff: On the Evolution of Relational Model towards Semantic Data Model, in the Proceedings of IASTED International Symposium on Applied Informatics, 1989
  • Sara Nicoloso, Sales M.L.: The PLA-Folding Problem: Simulated Annealing and Iterative Improvement Approaches, in the Proceedings of 14th IFIP Conf. on System Modelling and Optimization, Sebastian H.J., Tammer K. eds., Lecture Notes in Control and Information Sciences, 143, Springer-Verlag, 510-518, 1989
  • Sara Nicoloso, Sales M.L.: The PLA-Folding Problem: Simulated Annealing and Iterative Improvement Approaches, Lecture Notes in Control and Information Sciences, 143, 1989
  • Alberto Pettorossi, Maurizio Proietti: Decidability Results and Characterization of Strategies for the Development of Logic Programs, in the Proceedings of Sixth International Conference on Logic Programming, Levi G., Martelli M. eds., Logic Programming Series, 1989
  • Rafanelli M.: An Epidemiological Inquiry on the Risk Factors in the Birth Depending on the Mother Age, in the Proceedings of 8th Intern. Congr. Medical Informatics, MIE '89, Springer-Verlag, 240-244, 1989
  • Rafanelli M.: Research Topics in Statistical and Scientific Database Management: IV SSDBM, in the Proceedings of Statistical and Scientific Database Management, Rafanelli M., Klensin J.C., Svensson P. eds., Springer-Verlag Berlin, 1-18, 1989
  • Rafanelli M., Maceratini R., Crollari S., Maggi M., Mascolini S.: Pancreatic cancer: an object oriented knowledge based system for the pre-operative differential diagnosis, in the Proceedings of 6th World Congress of Medical Informatics, Medinfo '89, North Holland, 635-639, 1989
  • Salza S., Terranova M.: Evaluating the Size of Queries on Relational Databases with non Uniform Distribution and Stochastic Dependence, in the Proceedings of ACM SIGMOD International Conf. on Management of Data, Portland, Oregon, Maier D. ed., 8-15, 1989
1988  [top]
  • Paola Bertolazzi, Guerra C., Salza S.: A systematic design methodology for a dynamic programming systolic array, in the Proceedings of IEEE International Conference on Systolic Arrays, 453-462, 1988
  • Bertuzzi A., Gandolfi A., Starace G., Vitelli R.: Influence of Cell Loss in the Analysis of Proliferating Populations by Flow Cytometry, in the Proceedings of IFAC Symposium on Modelling and Control in Biomedical Systems, Venezia, Cobelli C., Mariani L. eds., Pergamon Press Oxford, 257-260, 1988
  • Bonamico S., Cioni G.: Embedding Flexible Control Strategies into Object oriented Languages, in the Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes, Mora T. ed., Lecture Notes in Computer Science, 357, Springer-Verlag, 1988
  • Campisi D., La Bella A.: Transportations Investment and Dynamic Equilibrium in a Multiregional Input-Output System, in the Proceedings of Proceedings of the 13th IFIP Conference on System Modelling and Optimization, Iri M., Yajima K. eds., Lecture Notes in Control and Information Sciences, Springer-Verlag, 416-425, 1988
  • Cesarini F., Michele Missikoff, Soda G.: An Expert System Approach for Tuning Applications in a Relational Database Environment, in the Proceedings of IASTED Int'l Conference on Expert Systems: Theory and Application, 1988
  • Cini M., Magrassi P.: PONTIFEX: A Knowledge Based Decision Support System for Routing and Scheduling Problems, in the Proceedings of Proceedings of the 3rd International Conference on Expert Systems and the Leading Edge in Production and Operations Management, 543 - 549, 1988
  • Colagrossi A., Limongelli C.: Big Numbers P-adic Arithmetic: a Parallel Approach, in the Proceedings of Applied Algebra, Algebraic Algorithms and Error Correcting Codes, Mora T. ed., Lecture Notes in Computer Science, 357, Springer-Verlag, 1988
  • Carlo Gaibisso: A Partially Persistent Data Structure for the Set-Union Problem with Backtracking, in the Proceedings of Proceedings of the 5th International Meeting of Young Computer Scientists (IMYCS '88), Smolenice, Cecoslovacchia, 14-18 November 1988, Dassow J., Kelemen J. eds., Lecture Notes in Computer Science, 1988
  • Gambosi G., Italiano G.F., Talamo M.: Getting Back to the Past in Union-Find Problems, in the Proceedings of 5th STACS, 1988
  • Lampariello F., Del Bino G.: Automatic Parameter Estimation of Flow Cytometric DNA Distributions in the Study of Tumor Cell Kinetics, in the Proceedings of 8th IFAC/IFORS Symposium on Identification and System Parameter Estimation, Pechino, Chen H.F. ed., Pergamon Press Oxford, 1767-1772, 1988
  • Maceratini R., Rafanelli M., Pisanelli D.M., Crollari S.: Knowledge based systems: a support to the diagnosis and the therapy in the pancreatic cancer problem, in the Proceedings of Expert Systems in Medicine, Joly H. ed., EC2, 269-293, 1988
  • Meo Evoli L., Rafanelli M., Ricci F.L.: A Visual Interface for Queries on Statistical Databases, in the Proceedings of VIII Symposium on Computational Statistics, COMPSTAT '88, Copenaghen, Physica-Verlag Wien, 74-90, 1988
  • Alberto Pettorossi, Maurizio Proietti: Importing and Exporting Information in Program Development, in the Proceedings of IFIP TC2 Working Conference on Partial and Mixed Computation, Björner D., Ershov A.P. eds., North Holland, 405-426, 1988
  • Rafanelli M., Maceratini R., Crollari S.: The Management of E.S. and D.B.M.S.: Case of the Pancreatic Diseases, in the Proceedings of 10th Intern. Conference of the IEEE Engineering in Medicine and Biology Soc., EMBS '88, IEEE, 1351-1354, 1988
  • Rafanelli M., Ricci F.L.: A Statistical Functional Model for Statistical Tables, in the Proceedings of Internat. Sysposium on ``Modelling, Identification and Control,'' Grindelwald, Hamza M.H. ed., Acta Press Zurich, 136-139, 1988
  • Salinari S., Bertuzzi A., Vitelli R., Mancinelli R.: Motility of the Rat Uterine Horn: Analysis of Activatory Inputs, in the Proceedings of IFAC Symposium on Modelling and Control in Biomedical Systems, Venezia, Cobelli C., Mariani L. eds., Pergamon Press Oxford, 307-311, 1988
1987  [top]
  • Arbib C., Cioni G.: Meta-reasoning and data structuring for improving Prolog programming style, in the Proceedings of Artificial Intelligence II, 1987
  • Atzeni P., Chan E.P.F.: Independent Database Schemes under Functional and Inclusion Dependencies, in the Proceedings of Thirteenth International Conf. on Very Large Data Bases, Brighton, 159-166, 1987
  • Atzeni P., De Bernardis M.C.: A New Basis for the Weak Instance Model, in the Proceedings of Sixth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, 79-86, 1987
  • Atzeni P., Parker Jr. D.S.: Algorithms for Set Containment Inference, in the Proceedings of Workshop on Database Programming Languages, Roscoff, France, 164-181, 1987
  • Bertuzzi A., Gandolfi A., Lucidi S.: Constrained Cross-Validation Applied to Estimation of Kinetic Parameters of Cell Populations in Perturbed Growth, in the Proceedings of 13th IFIP Conference on System Modelling and Optimization, Tokyo, Yajima K., Iri M. eds., 1987
  • Colagrossi A., Miola A.: A normalization algorithm for truncated p-adic arithmetic, in the Proceedings of 8-th Symposium on Computer Arithmetic, 1987
  • Crollari S., Maceratini R., Pisanelli D.M., Rafanelli M.: Rule-based knowledge base for pancreatic cancer diagnosis, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 1127-1131, 1987
  • D'Atri A., Di Felice P., Lakshmanan V.S., Moscarini M.: On Global Context Dependencies and their Properties, in the Proceedings of Mathematical Foundations of Data Base Systems, Lecture Notes in Computer Science, 305, Springer-Verlag Berlin, 1987
  • D'Atri A., Di Felice P., Moscarini M.: Dynamic Query Interpretation in Relational Databases, in the Proceedings of 6-th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, San Diego, CA, 25-35, 1987
  • Gambosi G., Nešetřil J., Talamo M.: Posets, Boolean Representations and Quick Path Searching, in the Proceedings of ICALP '87, 1987
  • Gambosi G., Nešetřil J., Talamo M.: Efficient Representation of Taxonomies, in the Proceedings of TAPSOFT '87, 1987
  • Kasangian S., Labella A., Alberto Pettorossi: Enriched Categories for Local and Interaction Calculi, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 57-70, 1987
  • Labella A., Alberto Pettorossi: Universal Models in Categories for Process Synchronization, in the Proceedings of Advanced School on Mathematical Models for the Semantics of Parallelism, Lecture Notes in Computer Science, 280, Springer-Verlag, 183-198, 1987
  • Michele Missikoff: MOKA: A User Friendly Front-End for Knowledge Acquisition, in the Proceedings of Minnowbrook Workshop on Database Machine and Artificial Intelligence, Berra B. ed., 1987
  • Alberto Pettorossi: Derivation of Programs which Traverse Their Input Data Only Once, in the Proceedings of Advanced School on Programming Methodologies, Cioni G., Salwicki A. eds., Academic Prees, 165-184, 1987
  • Alberto Pettorossi, Ras Z.W., Zemankova M.: On Learning with Two Imperfect Teachers, in the Proceedings of Expert Systems: Theory and Applications, IASTED Conference, 1987
  • Alberto Pettorossi, Skowron A.: Higher Order Generalization in Program Derivation, in the Proceedings of International Joint Conference on Theory and Practice of Software Development, Lecture Notes in Computer Science, 250, Springer-Verlag, 182-196, 1987
  • Alberto Pettorossi, Skowron A.: The Parallel Evaluation of Functional Programs, in the Proceedings of Advanced International Summer School and Conference on 'Mathematical Logic and Its Applications' in honor of the 80th anniversary of Kurt Gödel's birth, Skordev D.G. ed., Plenum Press, 149-165, 1987
  • Maurizio Proietti: Connections between Partial Maps Categories and Tripos Theory, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 254-269, 1987
  • Rafanelli M.: An expert system for differential diagnosis in the pancreatic cancer, in the Proceedings of International Symposium on Applied Informatics, Grindelwald, Acta Press, 9-12, 1987
  • Rafanelli M.: A graphical approach for statistical summaries: the GRASS model, in the Proceedings of International Symposium on ``Microcomputers and their applications'', Hamza M.H. ed., Acta Press Cairo, 78-81, 1987
  • Rafanelli M., Maceratini R., Crollari S.: An intelligent D.B.M.S. for managing medical record oriented to pancreatic diseases, in the Proceedings of VII European Congress on ``Medical Informatics Europe'', MIE 87, Roma, 523-528, 1987
1986  [top]
  • Atzeni P., Parker Jr. D.S.: Formal Properties of Net-Based Knowledge Representation Schemes, in the Proceedings of Second IEEE International Conference on Data Engineering, Los Angeles, 700-706, 1986
  • Bielli M., Cini M.: Decision Support System for Urban Transportation Planning and Management, in the Proceedings of International Seminar on Management and Planning of Urban Transport Systems: from Theory to Practice, 1986
  • Chan E.P.F., Atzeni P.: On the Properties and Characterization of Connection-trap-free Schemes, in the Proceedings of Fifth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 140-147, 1986
  • Chen K.H., Doroszewski J., Alberto Pettorossi, Ras Z.W., Skowron A.: Mathematical Foundations of an Expert System for Medical Diagnosis, in the Proceedings of First International Conference on Artificial Intelligence and Its Impacts in Biology and Medicine, I.A. BIOMED 1986, 87-92, 1986
  • Fortunato E., Rafanelli M., Ricci F.L., Sebastio A.: A Logical Model and an Algebra for Statistical Databases, in the Proceedings of VII Symposium on Computational Statistics, COMPSTAT '86, Roma, De Antoni F., Lauro N., Rizzi A. eds., Physica-Verlag Wien, 89-90, 1986
  • Kucera L., Marchetti Spaccamela A., Talamo M.: Near Optimal Algorithms for Finding Minimum Steiner Trees on Random Graphs, in the Proceedings of MFCS '86, 1986
  • Mascari G., Miola A.: On the integration of numeric and symbolic computations, in the Proceedings of AAECC-4 Conference, Lecture Notes in Computer Science, 307, Springer-Verlag Karlsruhe, 1986
  • Alberto Pettorossi: Strategical Derivation of On-Line Programs, in the Proceedings of IFIP W.G. 2.1 TC2 Working Conference on Program Specification and Transformation, Meertens L.G.L.T. ed., North Holland, 73-88, 1986
  • Alberto Pettorossi, Skowron A.: Theories for Verifying Communicating Agents Behaviour in Recursive Equations Programs, in the Proceedings of Twentieth Annual Conference on Information Sciences and Systems, Dickinson B. ed., Princeton University, 828-833, 1986
  • Rafanelli M., Maceratini R., Pisanelli D.M., Crollari S.: SPES: an expert system in pancreatic cancer surgery, in the Proceedings of 8th Intern. Conference of the IEEE Engineering in Medicine and Biology Soc., EMBS '86, IEEE, 869-871, 1986
  • Salza S., Terranova M.: Evaluating the Cardinality of the Result of Relational Operations: A Probabilistic Approach, in the Proceedings of 6-th Advanced Database Symposium, Tokyo, Kambayashi J. ed., 223-231, 1986
1985  [top]
  • Arcieri M., Miola A., Panasiti F.: A package of tools for manipulation of sums and series, in the Proceedings of EUROCAL 85, Buchberger B. ed., Lecture Notes in Computer Science, 203, Springer-Verlag, 1985
  • Atzeni P., Chan E.P.F.: Efficient Query Answering in the Representative Instance Approach, in the Proceedings of Fourth ACM SIGACT SIGMOD Symp. on Principles of Database Systems, 181-188, 1985
  • Ausiello G., D'Atri A., Moscarini M.: Chordality Properties on Graphs and Minimal Connections in Semantic Data Models, in the Proceedings of Fourth Annual ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Portland, Oregon, 1985
  • Cioni G., Miola A.: How to treat decisions problems using different programming methodologies, in the Proceedings of Mathematical Problems in Computation Theory, 1985
  • Labella A., Alberto Pettorossi: Categorical Models of Process Cooperation, in the Proceedings of Workshop on Category Theory and Computer Programming, Lecture Notes in Computer Science, 240, Springer-Verlag, 282-298, 1985
  • Lampariello F., Lucidi S.: Analysis of DNA Distributions from Flow Cytometry by means of an Optimization Procedure, in the Proceedings of 12th IFIP Conference on System Modelling and Optimization, Budapest, Strazicky B., Prékopa A., Szelezsán J. eds., 1985
  • Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of AI Europa, 1985
  • Alberto Pettorossi, Skowron A.: A Methodology for Improving Parallel Programs by Adding Communications, in the Proceedings of Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 208, Springer-Verlag, 228-250, 1985
  • Alberto Pettorossi, Skowron A.: A System for Developing Distributed Communicating Programs, in the Proceedings of International Conference 'Parallel Computing 85', Feilmeier , Joubert , Schendel eds., North Holland, 241-246, 1985
  • Protasi M., Talamo M.: On the Maximum Size of Random Trees, in the Proceedings of CAAP 1985, Springer-Verlag, 1985
  • Rafanelli M.: Organization and information tools of a mental health department information system, in the Proceedings of 6th Intern. Congr. Medical Informatics, MIE '85, Springer-Verlag, 80-84, 1985
  • Rafanelli M., Ricci F.L.: STAQUEL: a query language for statistical macro-database management systems, in the Proceedings of International Conference ``Convention Informatique Latine'', CIL '85, Barcellona, Ruiz i Kaiser J. ed., Boixareu Barcellona, 625-637, 1985
  • Salza S., Terranova M.: Workload Modeling for Relational Database Systems, in the Proceedings of Fourth International Workshop on Database Machines, Grand Bahama Island, De Witt D.J., Boral H. eds., Springer-Verlag Berlin, 233-255, 1985
1984  [top]
  • Ausiello G., Paola Bertolazzi: Parallel computation models: an Introduction, in the Proceedings of Algorithm design for computer sistem design, Springer-Verlag, 161-182, 1984
  • Bovet D.P., Gambosi G., Menasce D.A.: Detection and Removal of Deadlocks in Store and Forward Communication Networks, in the Proceedings of Performance of Computer - Communication Systems, 1984
  • D'Atri A., Moscarini M.: On the Recognition and Design of Acyclic Databases, in the Proceedings of Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Waterloo, Canada, Hanser Verlag, 1984
  • Lucertini M., Paletta G.: Two-commodity network design with multiple demand, in the Proceedings of 22nd Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1984
  • Miola A.: An interactive system for manipulation of sums and series, in the Proceedings of International Conference in Artificial Intelligence, 1984
  • Miola A.: Complexity issues in algebraic algorithms, in the Proceedings of Mathematical Education, 1984
  • Alberto Pettorossi: A powerful strategy for deriving efficient programs by transformation, in the Proceedings of ACM Symposium on Lisp and Functional Programming, ACM Press, 273-281, 1984
  • Rafanelli M., Ricci F.L.: Statistical database: an interactive language for logical schema definition by means of a model based on graphs, in the Proceedings of VI International Conference on Computational Statistics, COMPSTAT '84, Praga, Havranek T., Sidak Z., Novak M. eds., Physica-Verlag Wien, 279-284, 1984
  • Rafanelli M., Ricci F.L., Perucci C.: An Integrated System for the General Practitioner Choice Management, in the Proceedings of 5th Intern. Congr. Medical Informatics, MIE '84, Springer-Verlag, 552-557, 1984
1983  [top]
  • Ausiello G., Protasi M., Talamo M.: Probabilistic Models for Hypergraphs and Database Schemes, in the Proceedings of Graph Theoretic Concepts in Computer Science, 1983
  • Batini C., Talamo M., Tamassia R.: An Algorithm for Automatic Layout of Entity Relationship Diagrams, in the Proceedings of 3rd International Conference on the Entity Relationship Approach, North Holland, 1983
  • Bertuzzi A., Clerico L., Gandolfi A., Germani A., Vitelli R.: Determination of DNA Synthesis Rate in Cell Populations with Locally Exponential S-Phase Influx, in the Proceedings of Mathematics in Biology and Medicine, Bari, Capasso V., Grosso E., Paveri-Fontana S.L. eds., Springer-Verlag Berlino, 260-265, 1983
  • Cioffi G., Lucertini M.: An evaluation model for interconnection networks of large distributed processing systems, in the Proceedings of 21st Allerton Conference on Computing Control and Communications, Urbana-Champagne, 1983
  • Di Pillo G., Grippo L., Lampariello F.: A Class of Structured Quasi-Newton Algorithms for Optimal Control Problems, in the Proceedings of 3th IFAC Workshop on Applications of Nonlinear Programming to Optimization and Control, Palo Alto, 101-107, 1983
  • Gamerman S., Salza S., Scholl M.: Analysis of Filtering Efficiency in the Database Machine VERSO, in the Proceedings of Third International Workshop on Database Machines, Munich, Leilich H.O., Missikoff M. eds., Springer-Verlag Berlin, 91-105, 1983
  • Labella A., Alberto Pettorossi: Categories for Handshaking Communications, in the Proceedings of Colloquia Mathematica Societatis Janos Bolyai 42. Algebra, Combinatorics and Logic in Computer Science, 555-582, 1983
  • Marchetti Spaccamela A., Talamo M.: Probabilistic Analysis of Graph Colouring Algorithms, in the Proceedings of CAAP '83, 1983
  • Michele Missikoff: Expert Systems Applications: A Methodological Approach for a Classification, in the Proceedings of Proc. of AI Europa Conference, 1983
  • Michele Missikoff, Scholl M.: Relational Queries in a Domain Based Relational System, in the Proceedings of Proc. of ACM-SIGMOD Conference, 1983
  • Alberto Pettorossi: Towards a Theory of Parallelism and Communications for Increasing Efficiency in Applicative Languages, in the Proceedings of 1980 Conference on Logic of Programs and Their Applications, Salwicki A. ed., Lecture Notes in Computer Science, 148, Springer-Verlag, 224-249, 1983
  • Protasi M., Talamo M.: A New Probabilistic Model for the Study of Algorithmic Properties of Random Graph Problems, in the Proceedings of FCT '83, Springer-Verlag, 1983
  • Rafanelli M., Ricci F.L.: A Management System for Unified Booking Center for Public Clinics, in the Proceedings of 4th World Congress of Medical Informatics, Medinfo '83, North Holland, 269-272, 1983
  • Rafanelli M., Ricci F.L.: Proposal of a logical model for statistical databases, in the Proceedings of II Intern. Workshop on Statistical Databases, Los Altos, California, Hammond R., McCarthy J.L. eds., Univ. California Berkeley, CA, 264-272, 1983
1982  [top]
  • Paola Bertolazzi, Pirozzi M.: Parallel algorithms for dynamic programming problems, in the Proceedings of II World Conference on Mathematics at the Service of Man, 139-145, 1982
  • Bordoni L., Colagrossi A., Miola A.: Linear algebraic approach for computing polynomial resultant, in the Proceedings of Computer Algebra, Calmet J. ed., Lecture Notes in Computer Science, 144, Springer-Verlag, 1982
  • Bruni C., Gandolfi A., Germani A.: Theoretical Investigation and Numerical Procedure for the Estimation of Antibody Affinity Distribution from Binding Data, in the Proceedings of IFIP Working Conference on Mathematical Modelling in Immunology and Medicine, Moscow, Marchuk G.I., Belykh L.N. eds., North-Holland Amsterdam, 97-108, 1982
  • Gandolfi A., Strom R.: 'Avidity-Plot' as a Tool for the Evaluation of Antibody Affinities toward Multivalent Antigens, in the Proceedings of IFIP Working Conference on Mathematical Modelling in Immunology and Medicine, Moscow, Marchuk G.I., Belykh L.N. eds., North-Holland Amsterdam, 237-246, 1982
  • Germani A., Monaco S.: Optimal feedback for distributed linear systems with white noise disturbance, in the Proceedings of Proceedings of American Control Conference, 219-223, 1982
  • Krempa J., Alberto Pettorossi, Skowron A.: F-computable Numbers, in the Proceedings of Symposium on Mathematical Foundations of Computer Science, Humboldt Universität Berlin, 24-39, 1982
  • La Bella A.: A model of Population and Economic Growth in a Multiregional System, in the Proceedings of Proceedings of the 10th IFIP Conference on System Model and Optimization, Drenik R.F., Kozin F. eds., Springer-Verlag, 1982
  • Miola A.: A unified view of approximate rational arithmetics and rational interpolation, in the Proceedings of 6-th Symposium on Computer Arithmetic, 1982
  • Michele Missikoff: A Domain Based Internal Schema for Relational Database Machines, in the Proceedings of Proc. of ACM-SIGMOD International Conference, 1982
  • Michele Missikoff, Terranova M.: The architecture of DBMAC, a relational data base Computer, in the Proceedings of Proceedings of the 2nd International Workshop on Data Base Machines, 127-152, 1982
  • Alberto Pettorossi, Skowron A.: Some Contributions of Mathematics to Recent Developments of Theoretical Computer Science, in the Proceedings of 2nd World Conference on Mathematics at the Service of Man, 588-595, 1982
  • Alberto Pettorossi, Skowron A.: Communicating Agents for Applicative Concurrent Programming, in the Proceedings of 5th International Symposium on Programming, Dezani-Ciancaglini , Montanari U. eds., Lecture Notes in Computer Science, 137, Springer-Verlag, 305-322, 1982
1981  [top]
  • Batini C., D'Atri A., Moscarini M.: Formal Tools for Top-down and Bottom-up Generation of Acyclic Relational Schemata, in the Proceedings of 7th International Conference on Graph-theoretic Concepts in Computer Science, Hanser Verlag, 219-229, 1981
  • Paola Bertolazzi, Lucertini M.: Task assignment in a multiprocessor system: a mathematical model, in the Proceedings of VIII Congresso IFAC, Pergamon Press, 1643-1647, 1981
  • Cioni G., Miola A., Truffi A.: Moving software systems to a minicomputer, in the Proceedings of Computing Environment for Mathematical Software, 1981
  • Germani A.: Polynomial approximation and nonlinear white noise integral, in the Proceedings of Proceedings of 20th IEEE on Decision and Control, 793-797, 1981
  • Michele Missikoff: A Method for Data Pool Implementation for Parallel Associative Processing, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: The logical Architecture of DBMAC, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: DBMAC: a Project for a Relational Database Machine, in the Proceedings of Proc. of 1st Workshop on Database Machines, 1981
  • Michele Missikoff, Terranova M.: An Overview of the Project DBMAC for a Relational Data Base Machine, in the Proceedings of Proc. of 6th ACM Workshop on Comp. Architecture for Non Numeric Processing, 1981
  • Alberto Pettorossi: Comparing and Putting Together Recursive Path Orderings, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems, in the Proceedings of ICALP '81, Lecture Notes in Computer Science, 115, Springer-Verlag, 432-447, 1981
  • Alberto Pettorossi: An Approach to Communications and Parallelism in Applicative Languages, in the Proceedings of International Colloquium on Formalization of Programming Concepts, Diaz J., Ramos I. eds., Lecture Notes in Computer Science, 107, Springer-Verlag, 432-446, 1981
  • Rafanelli M., Ricci F.L., Mirizio V.: A DBMS for an epidemiological research about mental diseases and relative hospitalization, in the Proceedings of 3rd Intern. Congr. Medical Informatics, MIE '81, Springer-Verlag, 715-723, 1981
1980  [top]
  • Di Pillo G., Grippo L., Lampariello F.: A Computing Technique for Solving Discrete Time Optimal Control Problems, in the Proceedings of 2nd IFAC Workshop on Control Applications of Nonlinear Programming and Optimization, Oberpfaffenhofen, FRG, 100-108, 1980
  • Miola A.: Towards an on-line integration of numerical and non-numerical computations, in the Proceedings of CNRS II-eme Colloque Algorithmique, 1980
  • Ortenzi B., Rafanelli M., Ricci F.L.: Problems and suggestions concerning a regional epidemiological observatory, in the Proceedings of 3rd World Congress of Medical Informatics, Medinfo '80, North Holland, 961-968, 1980
1979  [top]
  • Miola A.: Symbolic and Algebraic Manipulation today: Systems, algorithms, applications, in the Proceedings of Programming '79, 1979
1978  [top]
  • Cobelli C., Morato L., Salvan A., Toffolo G.: Parameter estimation in biological compartmental models with the transport rate parameters considered as stochastic processes. Validation on simulated data, in the Proceedings of the Summer Computer Simulation Conference, 1978
1977  [top]
  • Paola Bertolazzi, Bianco L., Ricciardelli S.: An approach to the solution of the location problem in urban emergency services, in the Proceedings of IFAC Workshop on Application to Complex Analysis, Bielsko Biala, Giugno 1977, 33-38, 1977
  • Cobelli C., Federspil G., Pacini G., Salvan A., Scandellari C.: A nonlinear model of the carbohydrate metabolism regulation system for oral and intravenous glucose tolerance tests, in the Proceedings of the International Federation of Automatic Control (IFAC) Symposium on Control Mechanisms in Bio- and Ecosystems, IFAC World Congress on Automatic Control, 4, 1977
1976  [top]
  • Cobelli C., Salvan A.: Reliability of parameter estimation in biological compartmental models. A computer analysis of several factors influencing the estimates, in the Proceedings of the 4th International Federation of Automatic Control (IFAC) Symposium on Identification and System Parameter Estimation, IFAC World Congress on Automatic Control, 1976
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -