Reports On-line
This page shows all IASI research reports available on-line. Click on the report number to download the PDF file.
  • Baruah S.K., Vincenzo Bonifaci, Bruni R., Marchetti-Spaccamela A.: ILP models for the allocation of recurrent workloads upon heterogeneous multiprocessors, IASI-CNR, , 2018
  • Francesco Carravetta: RECURSIVE CALCULATION OF THE SOLUTION TAYLOR SERIES COEFFICIENTS FOR A CLASS OF ANALYTIC ORDINARY DIFFERENTIAL EQUATIONS, IASI-CNR, , 2018
  • Pfetsch M.E., Giovanni Rinaldi, Paolo Ventura: Optimal patchings for consecutive ones matrices, IASI-CNR, , 11/2018
  • Fiscon G., Conte F.: COMPUTATIONAL ANALYSIS OF EXPRESSION PROFILING DATA IN PAPILLARY THYROID CANCER, IASI-CNR, , 2018
  • Conte F., Fiscon G.: A NETWORK-BASED APPROACH TO INVESTIGATE THE DIFFERENT RESPONSE TO VEMURAFENIB IN BRAF V600E MUTANT CANCERS, IASI-CNR, , 2018
  • Conte F., Fiscon G.: SWIM TOOL FOR STUDYING HUMAN PAPILLARY THYROID CARCINOMA, IASI-CNR, , 2018
  • Conte F.: AN INTEGRATED NETWORK ANALYSIS FOR UNVEILING CRUCIAL TRANSCRIPTION FACTORS IN TRIPLE-NEGATIVE BREAST CANCER, IASI-CNR, , 2018
  • Fiscon G.: NETWORK-BASED MODEL FOR STUDYING CHRONIC OBSTRUCTIVE PULMONARY DISEASE, IASI-CNR, , 2018
  • Tiziano Bacci, Sara Nicoloso: On the benchmark instances for the Bin Packing with Conflicts, IASI-CNR, , 9/2018
  • Tiziano Bacci, Sara Nicoloso: A heuristic algorithm for the Bin Packing Problem with Conflicts on interval graphs, IASI-CNR, , 9/2018
  • Tiziano Bacci, Sara Mattia, Paolo Ventura: A new algorithm for computing a lower bound for the restricted Block Relocation Problem, IASI-CNR, , 9/2018
  • Tiziano Bacci, Sara Mattia, Paolo Ventura: A new heuristic algorithm for the restricted Block Relocation Problem, IASI-CNR, , 9/2018
  • Schirra S, Di Francesco M, Claudio Gentile, Giuseppe Stecca, Zuddas P: An Integral LP relaxation for a Drayage Problem, IASI-CNR, , 2017
  • Claudio Gentile, Mancini S., Giuseppe Stecca, Suanno Maria: Solving orienteering problem in big event management with a matheuristic approach, IASI-CNR, , 2017
  • Giuseppe Stecca, Baffo I, Kaihara T: Multi-period multi-echelon inventory control policies for hospital pharmacies with product bundling, IASI-CNR, , 12/2017
  • Mancini S., Giuseppe Stecca: A Large Neighborhood Search Based Matheuristic For The Tourist Cruises Itinerary Planning, IASI-CNR, , 12/2017
  • D'Ambrosio C., Frangioni A., Claudio Gentile: Strengthening the Sequential Convex MINLP Technique by Perspective Reformulations, IASI-CNR, , 2017
  • Frangioni A., Claudio Gentile, Hungerford J.: Decompositions of Semidefinite Matrices and the Perspective Reformulation of Nonseparable Quadratic Programs, IASI-CNR, , 2016
  • De Angelis E., Fioravanti F., Pettorossi A., Maurizio Proietti: Semantics-based generation of verification conditions via program specialization, IASI-CNR, , 2016
  • De Angelis E., Fioravanti F., Meo M.C., Pettorossi A., Maurizio Proietti: Verifying Controllability of Time-Aware Business Processes, IASI-CNR, , 2016
  • Giuseppe Pirillo: Some recent results of Fibonacci numbers, Fibonacci words and Sturmian words, IASI-CNR, , 2016
  • Bruni C., Federica Conte, Federico Papa, Carmela Sinisgalli: Optimal number and sizes of the doses in fractionated radiotherapy, IASI-CNR, , 9/2016
  • Federico Papa, Binda F, Giovanni Felici, Franzetti M, Alberto Gandolfi, Carmela Sinisgalli, Balotta C: A simple model of HIV epidemic in Italy: the role of the anti-retroviral treatment, IASI-CNR, , 9/2016
  • Vincenzo Bonifaci, Brandenburg B., D'Angelo G., Marchetti Spaccamela A.: Multiprocessor Real-Time Scheduling with Hierarchical Processor Affinities, IASI-CNR, , 5/2016
  • Pola G., Alessandro Borri, Di Benedetto M. D.: A study on Symbolic Control Design with Quantized State Measurements, IASI-CNR, , 4/2016
  • Alessandro Borri, Simona Panunzi, Pasquale Palumbo, Manes C., Andrea De Gaetano: Preliminary results on glucose control with sampled information, IASI-CNR, , 4/2016
  • Alessandro Borri, Francesco Carravetta, Pasquale Palumbo: A Cubification Approach for the Approximate Moments Computation in Stochastic Differential Equations: Application to the Chemical Langevin Equation, IASI-CNR, , 4/2016
  • Giampaolo Liuzzi, Lucidi S., Manno A., Rinaldi F.: A SPACE TRANSFORMATION DECOMPOSITION TECHNIQUE FOR SINGLY LINEARLY CONSTRAINED PROBLEMS SUBJECT TO SIMPLE BOUNDS, IASI-CNR, , 2015
  • Federica Conte, Federico Papa, Carmela Sinisgalli: Minimum value of the maximal entry of n-dimensional vectors with constant sum of the entries and of the squared entries, IASI-CNR, , 2015
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Proving Horn Clause Specifications of Imperative Programs, IASI-CNR, , 2015
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification using Constraint Handling Rules and Array Constraint Generalizations, IASI-CNR, , 2015
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Automated Verification of Relational Program Properties, IASI-CNR, , 2015
  • Frangioni A., Claudio Gentile: New MIP Formulations for the Single-Unit Commitment Problems with Ramping Constraints, IASI-CNR, , 2015
  • Sara Mattia, Rossi F., Servilio M., Smriglio S.: STAFFING AND SCHEDULING FLEXIBLE CALL CENTERS BY TWO-STAGE ROBUST OPTIMIZATION, IASI-CNR, , 2015
  • Sara Nicoloso, Pietropaoli U.: Vertex-colouring of 3-chromatic circulant graphs, IASI-CNR, , 2015
  • Weitschek E., Giulia Fiscon, Fustaino V, Giovanni Felici, Paola Bertolazzi: Analysis of microarray and RNA-sequencing gene expression profiles through clustering and classification techniques, IASI-CNR, , 12/2014
  • Giulia Fiscon, Weitschek E., Paola Bertolazzi, De Cola M C, De Salvo S, Bramanti P, Giovanni Felici: EEG signals analysis to detect Alzheimer's disease patients, IASI-CNR, , 12/2014
  • Emanuele De Angelis, Fioravanti F., Navas J, Maurizio Proietti: Verification of Programs by Combining Iterated Specialization with Interpolation, IASI-CNR, , 2014
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: A Rule-based Verification Strategy for Array Manipulating Programs, IASI-CNR, , 2014
  • Sara Mattia, Poss M.: Efficient approaches for the robust network loading problem, IASI-CNR, , 2014
  • Maurizio Proietti, Seki H.: Logic-Based Program Synthesis and Transformation, Preliminary Proceedings, IASI-CNR, , 2014
  • De Santis M., Festa P., Giampaolo Liuzzi, Lucidi S., Rinaldi F.: A nonmonotone GRASP, IASI-CNR, , 2/2014
  • Giampaolo Liuzzi, Lucidi S., Piccialli V.: Exploiting derivative-free local searches in DIRECT-type algorithms for global optimization, IASI-CNR, , 2/2014
  • Giulia Fiscon, Paola Paci, Colombo T, Iannello G: Structural Analysis of Long Non-coding RNAs, IASI-CNR, , 12/2013
  • Weitschek E., Arisi I., Giovanni Felici, Paola Bertolazzi: Knowledge extraction in clinical data, IASI-CNR, , 12/2013
  • Weitschek E., Cunial F, Giovanni Felici: Discovering genome-wide k-mer compositional rules using logic formulas, IASI-CNR, , 12/2013
  • Weitschek E., Giovanni Felici, Paola Bertolazzi: Microarray Logic Analyzer Software, IASI-CNR, , 12/2013
  • Weitschek E., Daniele Santoni, De Cola M C, Giovanni Felici: About similarity of DNA reads, IASI-CNR, , 12/2013
  • Weitschek E., Giulia Fiscon, Giovanni Felici: Supervised Learning Meets DNA Barcoding Species Classification, IASI-CNR, , 12/2013
  • Weitschek E., Polychronopoulos D, Almirantis Y, Giovanni Felici: Conserved non coding elements classification, IASI-CNR, , 12/2013
  • Giuseppe Pirillo, Justin J.: Repetitivity of semigroups and a result of Cassaigne, Currie, Schaeffer and Shallit, IASI-CNR, , 2013
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Array Programs by Transforming Verification Conditions, IASI-CNR, , 2013
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Program Verification via Iterated Specialization, IASI-CNR, , 2013
  • Fioravanti F., Maurizio Proietti, Senni V.: Efficient Generation of Test Data Structures Using Constraint Logic Programming and Program Transformation, IASI-CNR, , 2013
  • Alberto Gandolfi, Pugliese A., Carmela Sinisgalli: Epidemic dynamics and host immune response: a nested approach, IASI-CNR, , 2013
  • Paola Bertolazzi, Bock M.E., Guerra C., Paola Paci, Daniele Santoni: On the integration of protein-protein interaction networks with gene expression and 3d structural data: what can be gained?, IASI-CNR, , 2013
  • Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: Predicting protein-ligand and protein-peptide interfaces, IASI-CNR, , 3/2013
  • Fasano G., Giampaolo Liuzzi, Lucidi S., Rinaldi F.: A Linesearch-based Derivative-free Approach for Nonsmooth Optimization, IASI-CNR, , 1/2013
  • De Cola C, Giovanni Felici, Szachniuk M.: The Orderly Colored Longest Path Problem, IASI-CNR, , 2012
  • Giuseppe Pirillo, Michel C.: Some properties of dinucleotide circulaire codes,, IASI-CNR, , 2012
  • Lampariello F., Giampaolo Liuzzi: Global optimization of protein-peptide docking by a filling function method, IASI-CNR, , 12/2012
  • Alberto Gandolfi, Iannelli M., Marinoschi G.: Time evolution for a model of epidermis growth, IASI-CNR, , 2012
  • Emanuele De Angelis, Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Programs via Iterated Specialization, IASI-CNR, , 2012
  • Smith F., Maurizio Proietti: Rule-Based Behavioral Reasoning on Semantic Business Processes, IASI-CNR, , 2012
  • Giuseppe Pirillo, Michel C.: A permuted set of a trinucleotide circular code coding the $20$ amino acids in variant genetic codes, IASI-CNR, , 2012
  • Emanuele De Angelis, Pettorossi A., Maurizio Proietti: Using Answer Set Programming Solvers to Synthesize Concurrent Programs, IASI-CNR, , 2012
  • Paola Bertolazzi, Bock M.E., Guerra C.: On the functional and structural characterization of hubs in protein-protein interaction networks, IASI-CNR, , 2012
  • Giuseppe Pirillo, Bussoli L.: A note on self-complementary trinucleotide circular codes,, IASI-CNR, , 2012
  • Giampaolo Liuzzi, Rinaldi F.: A first-order method for $ell_0$-penalized problems with simple constraints, IASI-CNR, , 2012
  • Lampariello F., Giampaolo Liuzzi: A filling function method for unconstrained global optimization, IASI-CNR, , 10/2012
  • Cacace F., Germani A., Pasquale Palumbo: A study on observer-based algorithms to infer information from gene expression data, IASI-CNR, , 2012
  • Anna Formica, Mauro Mazzei, Elaheh Pourabbas, Maurizio Rafanelli: A 16-intersection matrix for the polygon-polyline topological relation for geographic pictorial query languages, IASI-CNR, , 2012
  • Li J., Wang M., Andrea De Gaetano, Pasquale Palumbo, Simona Panunzi: SOME RESULTS ON THE GLOBAL STABILITY OF THE EQUILIBRIUM FOR AN IVGTT MODEL, IASI-CNR, , 2012
  • Pasquale Palumbo, Pepe P., Simona Panunzi, Andrea De Gaetano: A study on observer-based glucose control by means of intravenous insulin administration, IASI-CNR, , 2012
  • Alessandro Borri, Francesco Carravetta, Gabriella Mavelli, Pasquale Palumbo: A study on the structural properties and the solution of the Chemical Master Equation, IASI-CNR, , 10/2012
  • Alessandro Bertuzzi, Fasano A., Alberto Gandolfi, Carmela Sinisgalli: Modelling the evolution of a tumoural multicellular spheroid as a two-fluid Bingham-like system, IASI-CNR, , 2012
  • Cacace F., Germani A., Pasquale Palumbo: The Observer Follower Filter, IASI-CNR, , 2012
  • Naimo A.: New synthetic wind forecast data generation model, IASI-CNR, , 12/2011
  • Giuseppe Pirillo: Dodecagono regolare e frazione continua di $sqrt 3$, IASI-CNR, , 2011
  • Michel C.J., Giuseppe Pirillo, Pirillo M.A.: A classification of 20-trinucleotide circular codes, IASI-CNR, , 2011
  • Bussoli L., Michel C.J., Giuseppe Pirillo: On Conjugation Partitions of Sets of Trinucleotides, IASI-CNR, , 2011
  • Bussoli L., Michel C.J., Giuseppe Pirillo: On some forbidden configurations for self-complementary trinucleotide circular codes, IASI-CNR, , 2011
  • Bussoli L., Michel C.J., Giuseppe Pirillo: On 51 forbidden configurations for self-complementary circular codes, IASI-CNR, , 2011
  • Pettorossi A., Maurizio Proietti, Senni V.: Constraint-Based Correctness Proofs for Logic Program Transformations, IASI-CNR, , 2011
  • Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem with a maximal damage constraint on normal tissues, IASI-CNR, , 2011
  • Castro J, Frangioni A., Claudio Gentile: Perspective Reformulations of the CTA Problem With L2 Distances, IASI-CNR, , 12/2011
  • Alessandro Bertuzzi, Bruni C., Federico Papa, Carmela Sinisgalli: Optimal solution for a cancer radiotherapy problem, IASI-CNR, , 2011
  • Bonato T., Jünger M., Reinelt G., Giovanni Rinaldi: Lifting and separation procedures for the cut polytope, IASI-CNR, , 2011
  • Francesco Carravetta: On the equivalence between nonlinear- and fractional bilinear- control systems, IASI-CNR, , 2011
  • Grippo L., Palagi L., Piacentini M., Piccialli V., Giovanni Rinaldi: SpeeDP: An algorithm to compute SDP bounds for very large Max-Cut instances, IASI-CNR, , 2011
  • Giampaolo Liuzzi, Lucidi S., Rinaldi F.: Derivative-free methods for constrained mixed-integer optimization, IASI-CNR, , 10/2011
  • Muzi F, De Sanctis A, Pasquale Palumbo: A study on smart grid protection based on synchronized sampling, IASI-CNR, , 2011
  • Pasquale Palumbo, Ditlevsen S., Alessandro Bertuzzi, Andrea De Gaetano: MATHEMATICAL MODELING OF THE GLUCOSE-INSULIN SYSTEM: A REVIEW PAPER, IASI-CNR, , 2011
  • Fasano A., Alberto Gandolfi: The steady state of multicellular tumour spheroids: a modelling challenge, IASI-CNR, , 2011
  • Weitschek E., Van Velzen R, Giovanni Felici: Species classification using DNA Barcode sequences: A comparative analysis, IASI-CNR, , 2011
  • Sara Nicoloso, Pietropaoli U.: Bipartite finite Toeplitz graphs, IASI-CNR, , 2011
  • Michel C.J., Giuseppe Pirillo: Strong Trinucleotide Circular Codes, IASI-CNR, , 2011
  • Di Pillo G., Giampaolo Liuzzi, Lucidi S.: A primal-dual algorithm for nonlinear programming exploiting negative curvature directions, IASI-CNR, , 2/2011
  • White L.B., Francesco Carravetta: Optimal Smoothing for Finite State Hidden Reciprocal Processes, IASI-CNR, , 2011
  • Francesco Carravetta, Sorge M.M.: On the solution of Markov-switching rational expectation models, IASI-CNR, , 2011
  • Palagi L., Piccialli V., Rendl F., Giovanni Rinaldi, Wiegele A.: Computational approaches to Max-Cut, IASI-CNR, , 2010
  • Caterina De Simone, Anna Galluccio: Edge-colouring of joins of regular graphs, II, IASI-CNR, , 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: Querying semantically annotated business processes, IASI-CNR, , 2010
  • Fioravanti F., Pettorossi A., Maurizio Proietti, Senni V.: Generalization Strategies for the Verification of Infinite State Systems, IASI-CNR, , 2010
  • Michele Missikoff, Maurizio Proietti, Smith F.: Linking Ontologies to Business Process Schemas, IASI-CNR, , 2010
  • Anna Formica: Semantic Web Search Based On Rough Sets And Fuzzy Formal Concept Analysis, IASI-CNR, , 12/2010
  • Giampaolo Liuzzi, Lucidi S., Rinaldi F.: Derivative-free methods for bound constrained mixed-integer optimization, IASI-CNR, , 11/2010
  • Vetrini L.: Egovernment in Europa: verso una cultura della valutazione dei risultati, IASI-CNR, , 2010
  • Sara Nicoloso, Pietropaoli U.: On the chromatic number of Toeplitz graphs, IASI-CNR, , 10/2010
  • d'Onofrio A., Alberto Gandolfi: Resistance to anti-tumor chemotherapy due to bounded-noise transitions, IASI-CNR, , 9/2010
  • Andrea De Gaetano, Matone A., Agnes A.M., Pasquale Palumbo, Ria F., Sabina Magalini: Modeling rejection immunity, IASI-CNR, , 2010
  • Francesco Carravetta, Pasquale Palumbo, Pepe P.: Quadratic optimal control of linear systems with time-varying input delay, IASI-CNR, , 9/2010
  • Francesco Carravetta: 2D-Recursive Modelling of Homogeneous Discrete Gaussian Markov Fields, IASI-CNR, , 2010
  • Pasquale Palumbo, Gabriella Mavelli, Farina L., Alberghina L.: Networks and Circuits in Cell Regulation, IASI-CNR, , 5/2010
  • Pettorossi A., Maurizio Proietti, Senni V.: Transformations of logic programs on infinite lists, IASI-CNR, , 2010
  • Di Pillo G., Giampaolo Liuzzi, Lucidi S.: An Exact Penalty-Lagrangian approach for Large-Scale Nonlinear Programming, IASI-CNR, , 2010
  • Arisi I., D'Onofrio M., Brandi R., Di Mambro A., Felsani A., Capsoni S., Drovandi G., Giovanni Felici, Weitschek E., Paola Bertolazzi, Cattaneo A.: Logic Classification and Feature Selection from Gene Expression Profile in the Brain of the AD11 ANTI-NGF Mice Model of Alzheimer's Disease at Different Stages of Neurodegeneration, IASI-CNR, , 2010
  • Di Lorenzo D., Giampaolo Liuzzi, Rinaldi F., Schoen F., Sciandrone M.: A Concave Optimization-Based Approach for Sparse Portfolio Selection, IASI-CNR, , 2010
  • Samson A., Matone A., Simona Panunzi, Andrea De Gaetano: Oral Glucose Tolerance Test Modelling: Physiological Pluasibility and Robust Parameter Estimation, IASI-CNR, , 2009
  • Giampaolo Liuzzi, Risi A.: A decomposition algorithm for unconstrained optimization problems with partial derivative information, IASI-CNR, , 2009
  • Spinelli V., Giovanni Felici, Simeone B.: Classification techniques and error control in logic mining, IASI-CNR, , 2009
  • Paola Bertolazzi, Giovanni Felici, Weitschek E.: Species classification with logic formulas and barcode, IASI-CNR, , 2009
  • Giovanni Felici, Spinelli V.: Genetic procedure for over-training control in logic mining, IASI-CNR, , 2009
  • Alessandro Bertuzzi, Bruni C., Fasano A., Alberto Gandolfi, Federico Papa, Carmela Sinisgalli: Response of tumour spheroids to radiation: modelling and parameter estimation, IASI-CNR, , 2009
  • d'Onofrio A., Alberto Gandolfi: Chemotherapy of vascularised tumours: role of vessel density and the effect of vascular "pruning", IASI-CNR, , 2009
  • Alberto Gandolfi, Iannelli M., Marinoschi G.: An age-structured model of epidermis growth, IASI-CNR, , 2009
  • Germani A., Manes C., Pasquale Palumbo: State estimation of stochastic systems with switching measurements: a polynomial approach, IASI-CNR, , 2009
  • Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: Frequency-based model validation and parameter identification of a sea-surface vehicle, IASI-CNR, , 2009
  • Francesco Carravetta, Giovanni Felici, Pasquale Palumbo: Regulation of a manned sea-surface vehicle via stochastic optimal control, IASI-CNR, , 2009
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: 2-clique-bond of stable set polyhedra, IASI-CNR, , 2009
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, , 2009
  • Frangioni A., Claudio Gentile, Grande E., Pacifici A.: Projected Perspective Reformulations with applications in design problems, IASI-CNR, , 2009
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs II: XX-graphs are G-perfect, IASI-CNR, , 2009
  • De Nicola A., Michele Missikoff, Maurizio Proietti, Smith F.: A Logic-Based Method for BPMN Diagrams Verification, IASI-CNR, , 2009
  • Pettorossi A., Maurizio Proietti, Senni V.: The Transformational Approach to Program Development, IASI-CNR, , 2009
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: The stable set polytope of claw-free graphs I: XX-strip composition versus gear composition, IASI-CNR, , 2009
  • Pettorossi A., Maurizio Proietti, Senni V.: Deciding Full Branching Time Logic by Program Transformation, IASI-CNR, , 2009
  • Pettorossi A., Maurizio Proietti, Senni V.: Transformational Verification of Linear Temporal Logic, IASI-CNR, , 2009
  • Anna Formica: Similarity Reasoning for Fuzzy Concept Lattices, IASI-CNR, , 2009
  • Anna Formica: Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web, IASI-CNR, , 2009
  • Rendl F., Giovanni Rinaldi, Wiegele A.: Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations, IASI-CNR, , 2008
  • Fiorenzani T., Manes C., Oriolo G., Peliti P.: Comparative Study of Unscented Kalman Filter and Extended Kalman Filter for Position/Attitude Estimation in Unmanned Aerial Vehicles, IASI-CNR, , 2008
  • Farina L., Germani A., Gabriella Mavelli, Pasquale Palumbo: Identification of regulatory network motifs from gene expression data, IASI-CNR, , 2008
  • Paola Bertolazzi, Giovanni Felici, Guarracino M.: Logic formulas based knowledge discovery and its application to the classification of biological data, IASI-CNR, , 2008
  • Tininini L., Paola Bertolazzi, Godi A., Lancia G.: Collhaps 2.0: a heuristic approach to haplotype inference by parsimony, IASI-CNR, , 2008
  • Paola Bertolazzi, Guerra C., Giampaolo Liuzzi: A global optimization algorithm for protein structure alignment, IASI-CNR, , 2008
  • Senni V., Pettorossi A., Maurizio Proietti: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs, IASI-CNR, , 2008
  • Paola Bertolazzi, Giovanni Felici, Lancia G.: Application of feature selection and classification to computational molecular biology, IASI-CNR, , 2008
  • Frangioni A., Claudio Gentile: A Computational Comparison of Reformulations of the Perspective Relaxation: SOCP vs. Cutting Planes, IASI-CNR, , 2008
  • Giuseppe Pirillo: Contribution à la combinatoire des mots, Doctorat d'Etat ès Sciences, IASI-CNR, , 12/2007
  • Buchheim C., Giovanni Rinaldi: Compact Integer Programming Formulations for Boolean Optimization Problems, IASI-CNR, , 12/2007
  • Francesco Carravetta: Nearest-neighbour modelling of reciprocal chains, IASI-CNR, , 11/2007
  • Sara Nicoloso, Pietropaoli U.: Vertex-colouring of circulant graphs: a combinatorial approach, IASI-CNR, , 10/2007
  • Frangioni A., Claudio Gentile, Lacalandra F.: Hybrid Lagrangian-MILP approaches for unit commitment problems, IASI-CNR, , 9/2007
  • Paola Bertolazzi, Giovanni Felici, Festa P.: Logic Based Methods for SNPs Tagging and Reconstruction, IASI-CNR, , 7/2007
  • Paola Bertolazzi, Giovanni Felici: Learning to Classify Species with Barcodes, IASI-CNR, , 7/2007
  • Sara Nicoloso, Pietropaoli U.: Isomorphism Testing for Circulant Graphs, IASI-CNR, , 6/2007
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: On the stable set polytope of claw-free graphs, IASI-CNR, , 6/2007
  • Simona Panunzi, Andrea De Gaetano, Mingrone G.: Insulin sensitivity determination from the discrete single delay model, IASI-CNR, , 5/2007
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: Gear composition of stable set polytopes and G-perfection, IASI-CNR, , 5/2007
  • Frangioni A., Claudio Gentile, Lacalandra F.: Tighter approximated MILP formulations for Unit Commitment Problems, IASI-CNR, , 4/2007
  • Giampaolo Liuzzi, Lucidi S.: A derivative-free algorithm for inequality constrained nonlinear programming, IASI-CNR, , 4/2007
  • Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying Infinite State Systems by Specializing Constraint Logic Programs, IASI-CNR, , 2007
  • Anna Formica: Similarity of XML-Schema Elements: A Structural and Information Content Approach, IASI-CNR, , 1/2007
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering and identification for discrete-time nonlinear uncertain stochastic system, IASI-CNR, , 12/2006
  • Muratore G.: Supply chain management: a survey, IASI-CNR, , 12/2006
  • Pasquale Palumbo, Andrea De Gaetano: State feedback control of the glucose-insulin system, IASI-CNR, , 11/2006
  • Muratore G.: A mathematical model for energy markets, IASI-CNR, , 11/2006
  • Germani A., Graziosi F., Manes C., Ocera G., Pasquale Palumbo: Recursive filtering for log-Rice signals, IASI-CNR, , 10/2006
  • Muratore G.: Capacitated survivable networks and polyhedra, IASI-CNR, , 10/2006
  • Pasquale Palumbo, Ong-Clausen W.H., Simona Panunzi, Andrea De Gaetano: Analysis of an impulsive model of subcutaneously delivered insulin kinetics, IASI-CNR, , 10/2006
  • Muratore G.: A new enumeration scheme to solve discrete optimization problems with GRID computing, IASI-CNR, , 9/2006
  • Anna Formica: Concept similarity in Formal Concept Analysis: an Information Content Approach, IASI-CNR, , 9/2006
  • Anna Formica: Concept similarity by evaluating Information Contents and Feature Vectors: a combined approach (To appear in Communications of ACM), IASI-CNR, , 6/2006
  • Anna Galluccio, Claudio Gentile, Paolo Ventura: New facet defining inequalities for the Stable Set Polytope, IASI-CNR, , 5/2006
  • Frangioni A., Claudio Gentile: Experiments with a hybrid Interior Point/Combinatorial Approach for Network Flow Problems, IASI-CNR, , 4/2006
  • Pettorossi A., Maurizio Proietti: Totally Correct Logic Program Transformations Via Well-Founded Annotations, IASI-CNR, , 2/2006
  • Paola Bertolazzi, Giovanni Felici, Festa P., Lancia G.: Logic Classification and Feature Selection for Biomedical Data, IASI-CNR, , 2/2006
  • Frangioni A., Claudio Gentile, Lacalandra F.: Solving Unit Commitment Problems with General Ramp Constraints, IASI-CNR, , 1/2006
  • Paola Bertolazzi, Godi A., Labbè M., Tininini L.: Solving haplotyping inference parsimony problem using a new basic polynomial formulation, IASI-CNR, , 1/2006
  • Manes C., Martinelli A., Martinelli F., Pasquale Palumbo: Mobile robot localization based on a polynomial approach, IASI-CNR, , 1/2006
  • Frangioni A., Claudio Gentile: SDP Diagonalizations and Perspective Cuts for a Classs of Nonseparable MIQP, IASI-CNR, , 12/2005
  • Anna Formica: Ontology-based concept similary in Formal Concept Analysis, IASI-CNR, , 5/2005
  • Wolsey L.A.: Lot-Sizing with Production and Delivery Times Window, IASI-CNR, , 4/2005
  • Anna Formica: Similary of XML-Schema Elements supported by Domain Ontologies, IASI-CNR, , 3/2005
  • Picchini U., Andrea De Gaetano, Ditlevsen S.: System noise modelization in glucose-insulin dynamics, IASI-CNR, , 2/2005
  • Anna Formica: Legality of XML-Schema Type Hierarchies, IASI-CNR, , 2/2005
  • Frangioni A., Claudio Gentile: Prim-Based BCT Preconditioners for Min-Cost Flow Problems, IASI-CNR, , 1/2005
  • Simona Panunzi, Pasquale Palumbo, Andrea De Gaetano: Modeling IVGTT data with delay-differential equations, IASI-CNR, , 12/2004
  • Anna Formica, Elaheh Pourabbas: Content based similarity of geographic classes organized as partition hierarchies, IASI-CNR, , 12/2004
  • Malvestuto F.M., Elaheh Pourabbas: Local computation of answers to table queries on summary databases, IASI-CNR, , 11/2004
  • Pasquale Palumbo, Simona Panunzi, Andrea De Gaetano: Qualitative behaviour of a family of delay-differential models of the glucose-insulin system, IASI-CNR, , 11/2004
  • Andrea De Gaetano, Di Martino D., Germani A., Manes C., Pasquale Palumbo: Distributed-delay models of the glucose-insulin homeostasis and asymptotic state observation, IASI-CNR, , 10/2004
  • Tininini L., Paola Bertolazzi, Godi A.: Collhaps: a new heuristic algorithm for haplotype inference by maximum parsimony, IASI-CNR, , 10/2004
  • Avenali A., Batini C., Paola Bertolazzi, Missier P.: Brokering infrastructure for minimum cost data procurement based on information quality - quantity models, IASI-CNR, , 09/2004
  • Claudio Gentile, Paolo Ventura, Weismantel R.: Mod-2 cuts generation yields the convex hull of bounded integer feasible sets, IASI-CNR, , 7/2004
  • Anna Galluccio, Nobili P.: A (1-1/2Q) - Approximation algorithm for max vertex cover in clique-coverable graphs, IASI-CNR, , 6/2004
  • Germani A., Manes C., Pasquale Palumbo: A Family of polynomial filters for discrete-time nonlinear stochastic systems, IASI-CNR, , 5/2004
  • Naddef D., Giovanni Rinaldi: The symmetric traveling salesman polytope: new facets from the graphical relaxation, IASI-CNR, , 03/2004
  • Giampaolo Liuzzi, Lucidi S., Sciandrone M.: A derivative-free algorithm for linearly constrained finite minimax problems, IASI-CNR, , 1/2004
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: Polynomial approach for filtering and identification of a class of uncertain systems, IASI-CNR, , 12/2003
  • d'Onofrio A., Alberto Gandolfi: Tumour eradication by antiangiogenic therapy: analysis and extensions of the model by Hahnfeldt et al. (1999), IASI-CNR, , 11/2003
  • Alessandro Bertuzzi, Fasano A., Alberto Gandolfi: A free boundary problem with unilateral constraints describing the evolution of a tumour cord under the influence of cell killing agents, IASI-CNR, , 2003
  • Germani A., Manes C., Pasquale Palumbo: A Polynomial approach for simultaneous channel estimation and data detection, IASI-CNR, , 10/2003
  • Avenali A., Batini C., Paola Bertolazzi, Missier P.: A formulation of the data quality optimization problem in Cooperative Information Systems, IASI-CNR, , 2003
  • Giovanni Felici, Claudio Gentile, Farina V., Peri F., Rubeis L., Maugeri M., Peri A.: An Integrated Optimization Approach for Crude Oil Distribution by Ships, IASI-CNR, , 09/2003
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: State observation for systems with linear dynamics and polynomial output, IASI-CNR, , 9/2003
  • Frangioni A., Claudio Gentile: Solving Nonlinear Single-Unit Commitment problems with ramping constraints, IASI-CNR, , 9/2003
  • Alessandro Bertuzzi, Fasano A., Filidoro L., Alberto Gandolfi, Carmela Sinisgalli: Dynamics of tumour cords following changes in oxygen availability: a model including a delayed exit from quiescence, IASI-CNR, , 1/2003
  • Fioravanti F., Pettorossi A., Maurizio Proietti: Transformation Rules for Locally Stratified Constraint Logic Programs, IASI-CNR, , 7/2003
  • Giovanni Felici, Remshagen A., Truemper K.: The Futile Questioning Problem, IASI-CNR, , 2003
  • Di Martino D., Germani A., Manes C., Pasquale Palumbo: Quadratic filtering for simultaneous state and parameter estimation of uncertain systems, IASI-CNR, , 06/2003
  • Germani A., Manes C., Pasquale Palumbo, Sciandrone M.: A Higher Order Method for the Solution of Nonlinear Scalar Equations, IASI-CNR, , 6/2003
  • Conforti M., Anna Galluccio, Guido Proietti: Augmentation problems and network matrices, IASI-CNR, , 2003
  • Giovanni Felici, Giovanni Rinaldi, Sforza A., Truemper K.: A methodology for traffic signal control based on logic programming, IASI-CNR, , 12/2002
  • Fioravanti F., Pettorossi A., Maurizio Proietti: Combining logic programs and monadic second order logics by program transformation, IASI-CNR, , 12/2002
  • Alessandro Bertuzzi, d'Onofrio A., Fasano A., Alberto Gandolfi: Modelling cell populations with spatial structure: steady state and treatment-induced evolution of tumour cords, IASI-CNR, , 2002
  • Frangioni A., Claudio Gentile: Perspective cuts for 0-1 mixed integer programs, IASI-CNR, , 11/2002
  • Alessandro Bertuzzi, d'Onofrio A., Fasano A., Alberto Gandolfi: Regression and regrowth of tumour cords following single-dose anticancer treatment, IASI-CNR, , 2002
  • Germani A., Manes C., Pasquale Palumbo: A minimum variance filter for discrete-time linear systems perturbed by unknown nonlinearities, IASI-CNR, , 9/2002
  • Caramia M., Giovanni Felici, Pezzoli A.: Improving search results with data mining in a thematic search engine, IASI-CNR, , 09/2002
  • Eisenbrand F., Paolo Ventura: A compact linear program for testing optimality of perfect matchings, IASI-CNR, , 2002
  • Germani A., Manes C., Pasquale Palumbo: Polynomial extended Kalman filtering for discrete-time nonlinear stochastic systems, IASI-CNR, , 7/2002
  • Pettorossi A., Maurizio Proietti: Transformations of logic programs with goals as arguments, IASI-CNR, , 07/2002
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering for stochastic systems with Markovian switching coefficients, IASI-CNR, , 2002
  • Anna Galluccio, Pêcher A.: On the circular chromatic number of partitionable graphs, IASI-CNR, , 04/2002
  • Malucelli F., Sara Nicoloso: Optimal partition of a bipartite graph into non-crossing matchings, IASI-CNR, , 2002
  • Claudio Gentile, Giovanni Rinaldi, Haus U.-U., Koppe M., Weismantel R.: On the way to perfection: primal operations for stable sets in graphs, IASI-CNR, , 1/2002
  • De Angelis V., Giovanni Felici, Impelluso P.: Simulation based decision support system for the optimal planning of a transfusion centre, IASI-CNR, , 12/2001
  • Di Giacomo P., Giovanni Felici, Maceratini R., Truemper K.: Diagnosis of hepatocellular carcinoma via logic-based new supervised learning method, IASI-CNR, , 11/2001
  • Fioravanti F., Pettorossi A., Maurizio Proietti: Verification of sets of infinite state processes using program transformation, IASI-CNR, , 11/2001
  • Anna Galluccio, Guido Proietti: Polynomial time algorithms for 2-edge-connectivity augmentation problems, IASI-CNR, , 10/2001
  • Anna Formica, Michele Missikoff: Concept similarity in Symontos: an enterprise ontology management tool, IASI-CNR, , 09/2001
  • Giovanni Rinaldi, Voigt U., Woeginger G.J.: The mathematics of playing olf: a new class of difficult non-linear mixed integer programsg, IASI-CNR, , 2001
  • Germani A., Manes C., Pasquale Palumbo: Filtering of switching systems via a singular minimax approach, IASI-CNR, , 07/2001
  • Pettorossi A., Maurizio Proietti, Renault S.: Derivation of efficient logic programs by specialization and reduction of nondeterminism, IASI-CNR, , 07/2001
  • Anna Formica: Satisfiability of object-oriented database constraints with set and bag attributes, IASI-CNR, , 05/2001
  • Germani A., Manes C., Pasquale Palumbo: State estimation of a class of stochastic variable structure systems, IASI-CNR, , 05/2001
  • Pettorossi A., Maurizio Proietti: Program Derivation = Rules + Strategies, IASI-CNR, , 04/2001
  • Eisenbrand F., Giovanni Rinaldi, Paolo Ventura: Primal separation for 0/1 polytopes, IASI-CNR, , 03/2001
  • Germani A., Manes C., Pasquale Palumbo: Kalman-Bucy filtering for singular stochastic differential systems, IASI-CNR, , 02/2001
  • Fioravanti F., Pettorossi A., Maurizio Proietti: Verifying CTL properties of infinite state systems by specializing constraint logic programs, IASI-CNR, , 1/2001
  • d'Onofrio A., Elaheh Pourabbas: A functional approach for modelling temporal thematics maps, IASI-CNR, , 12/2000
  • Elaheh Pourabbas, Maceratini R., Maurizio Rafanelli, Ricci F.L.: An information system for virtual hospitalization management, IASI-CNR, , 12/2000
  • Germani A., Manes C., Pasquale Palumbo: Optimal linear filtering for bilinear stochastic differential systems with unknown inputs, IASI-CNR, , 12/2000
  • Frangioni A., Claudio Gentile: Interior point methods for network problems, IASI-CNR, , 12/2000
  • Anna Formica: Finite satisfiability of object-oriented database integrity constraints with inequality and null-values, IASI-CNR, , 12/2000
  • Anna Galluccio, Goddyn L.A.: On chromatic numbers of graphs, IASI-CNR, , 11/2000
  • Alessandro Bertuzzi, Fasano A., Alberto Gandolfi, Marangi D.: Cell kinetics in tumour cords studied by a model with variable cell cycle length, IASI-CNR, , 11/2000
  • Avis D., Caterina De Simone, Nobili P.: On the chromatic polynomial of a graph, IASI-CNR, , 10/2000
  • Anna Galluccio, Guido Proietti: Polynomial time algorithms for edge-connectivity augmentation problems, IASI-CNR, , 10/2000
  • Anna Formica, Frank H.: Consistency of the static and dynamic components of object-oriented specifications, IASI-CNR, , 10/2000
  • Francesco Carravetta, Gabriella Mavelli: Stochastic control of bilinear systems: the optimal quadratic contyroller, IASI-CNR, , 09/2000
  • Elaheh Pourabbas, Maurizio Rafanelli: A pictorial query language extended with cardinal and positional operators for querying geographic databases, IASI-CNR, , 09/2000
  • Alessandro Bertuzzi, Faretta M., Alberto Gandolfi, Carmela Sinisgalli, Starace G., Valoti G., Ubezio P.: Kinetic heterogeneity of an experimental tumour revealed by bromodeoxyuridine incorporation and mathematical modelling, IASI-CNR, , 09/2000
  • Anna Formica, Michele Missikoff: Refinement hierarchies in structural conceptual models, IASI-CNR, , 06/2000
  • Salinari S., Alessandro Bertuzzi, Mingrone G., Capristo E., Pietrobelli A., Campioni P., Greco A.V., Heymsfield S.B.: Bioimpedance analysis model accurately predicts lower limb muscle volume: validation using magnetic resonance imaging, IASI-CNR, , 06/2000
  • Germani A., Manes C., Pasquale Palumbo: Polynomial filtering for stochastic non-Gaussian descriptor systems, IASI-CNR, , 05/2000
  • Pettorossi A., Maurizio Proietti: Transformations rules for a higher order logic programming language, IASI-CNR, , 05/2000
  • McCormick S.T., Rao M.R., Giovanni Rinaldi: When is min cut with negative edges easy to solve? Easy and difficult objective functions for max cut, IASI-CNR, , 04/2000
  • Francesco Carravetta, Gabriella Mavelli: A second order analysis for a class of stochastic optimal control problems, IASI-CNR, , 03/2000
  • Giovanni Felici, Claudio Gentile, Giovanni Rinaldi: Solving large MIP models in supply chain management by branch & cut, IASI-CNR, , 1/2000
  • Elaheh Pourabbas, Maurizio Rafanelli, Ricci F.L., Ferri F.: Linking geographic and multidimensional environments by OLAP operators, IASI-CNR, , 12/1999
  • Cantone D., Omodeo E.G., Ursino P.: Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators, IASI-CNR, , 12/1999
  • Alessandro Bertuzzi, Alberto Gandolfi: A model for estimating cell kinetic parameters of experimental tumours studied by bromodeoxyuridine labelling and flow cytometry, IASI-CNR, , 12/1999
  • Naddef D., Giovanni Rinaldi: Branch and cut algorithms for the vehicle routing problem, IASI-CNR, , 1999
  • Alessandro Bertuzzi, Alberto Gandolfi: The problem of evaluating the in vivo cell kinetics in tumours, IASI-CNR, , 11/1999
  • Pettorossi A., Maurizio Proietti: Perfect model checking via unfold/fold transformations, IASI-CNR, , 11/1999
  • Alessandro Bertuzzi, Fasano A., Alberto Gandolfi: A mathematical model for the growth of tumor cords incorporating the dynamics of a nutrient, IASI-CNR, , 10/1999
  • Mingrone G., Alessandro Bertuzzi, Capristo E., Greco A.V., Manco M., Pietrobelli A., Salinari S., Heymsfield S.B.: Unreliable use of standard muscle hydration value in obesity, IASI-CNR, , 10/1999
  • Francesco Carravetta, Germani A., Manes C.: Filtering of nonlinear stochastic feedback systems, IASI-CNR, , 10/1999
  • Anna Galluccio, Goddyn L.A., Hell P.: High girth graphs avoiding a minor are nearly bipartite, IASI-CNR, , 09/1999
  • Giovanni Felici, Claudio Gentile: A polyhedral approach for the staff rostering problem, IASI-CNR, , 09/1999
  • Anna Galluccio, Loebl M., Vondřak J.: Optimization via enumeration: a new algorithm for the max cut problem, IASI-CNR, , 7/1999
  • Anna Galluccio, Guido Proietti: Towards a 4/3-approximation algorithm for biconnectivity, IASI-CNR, , 06/1999
  • Caterina De Simone, Gasparyan G., Nobili P.: Square bipartite designs, IASI-CNR, , 05/1999
  • Lucidi S., Sciandrone M., Tseng P.: Objective-derivative-free methods for constrained optimization, IASI-CNR, , 5/1999
  • Germani A., Gabriella Mavelli: The polynomial approach to the LQ non-Gaussian regulator problem, IASI-CNR, , 04/1999
  • Conforti M., Giovanni Rinaldi, Wolsey L.A.: On the cut polyhedron, IASI-CNR, , 4/1999
  • Paola Bertolazzi, Di Battista G., Didimo W.: Quasi-upward planarity, IASI-CNR, , 03/1999
  • Giovanni Felici, Claudio Gentile: General polyhedral properties of integer block structured problems, IASI-CNR, , 02/1999
  • Augerat P., Belenguer J.M., Benavent E., Corberán A., Naddef D., Giovanni Rinaldi: Computational results with a branch and cut code for the capacitated vehicle routing problem, IASI-CNR, , 1998
  • Sciandrone M., Placidi G., Testa L., Sotgiu A.: Compact low field MRI magnet: design and optimization, IASI-CNR, , 12/1998
  • Grumbach S., Maurizio Rafanelli, Tininini L.: Equivalence of aggregate queries and aggregate view usability, IASI-CNR, , 12/1998
  • Lampariello F., Sciandrone M.: Efficient training of RBF neural networks for pattern recognition, IASI-CNR, , 12/1998
  • Renault S., Pettorossi A., Maurizio Proietti: Design, implementation, and use of the MAP transformation system, IASI-CNR, , 12/1998
  • Francesco Carravetta, Germani A., Shuakayev M.K.: A new suboptimal approach to the filtering problem for cubic-sensor-like nonlinear systems, IASI-CNR, , 12/1998
  • Paola Bertolazzi, Di Battista G., Didimo W.: Computing orthogonal drawings with the minimum number of bends, IASI-CNR, , 12/1998
  • Belisari S., Cini M., Carlo Gaibisso, Lancia M., Vitale M.: Mobile code implementation of an audio-conference application: design choices and evaluation, IASI-CNR, , 11/1998
  • Elaheh Pourabbas, d'Onofrio A., Maurizio Rafanelli: A method to estimate the incidence of communicable diseases under seasonal fluctuations with application to cholera, IASI-CNR, , 11/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, IASI-CNR, , 11/1998
  • Cannarella M., Draoli M., Carlo Gaibisso, Gambosi G., Lancia M.: Designing reliable ATM networks for multimedia interactive IP applications, IASI-CNR, , 11/1998
  • Anna Galluccio, Hell P., Nešetřil J.: The complexity of H-colouring of bounded degree graphs, IASI-CNR, , 11/1998
  • Avis D., Caterina De Simone, Nobili P.: On the shameful conjecture, IASI-CNR, , 11/1998
  • Giovanni Felici, Sun F.-S., Truemper K.: A method for controlling errors in two-class classifications, IASI-CNR, , 11/1998
  • Truemper K.: Efficient algorithms for subclasses of the futile questioning problem, IASI-CNR, , 11/1998
  • Padberg M.: Almost perfect matrices and graphs, IASI-CNR, , 10/1998
  • Jünger M., Giovanni Rinaldi, Thienel S.: Practical performance of efficient minimum cut algorithms, IASI-CNR, , 10/1998
  • Padberg M.: Approximating separable nonlinear functions via mixed zero-one programs, IASI-CNR, , 10/1998
  • Draoli M., Carlo Gaibisso, Lancia M., Mastromartino E.A.: Desktop videoconferencing over a switched LAN/MAN interconnected system: modeling, designing, dimensioning and tuning issues, IASI-CNR, , 10/1998
  • Anna Galluccio, Loebl M.: On the theory of Pfaffian orientations II: T-joins, K-cuts, and duality of enumeration, IASI-CNR, , 10/1998
  • Alessandro Bertuzzi, Alberto Gandolfi: Cell kinetics in a tumour cord, IASI-CNR, , 10/1998
  • Pettorossi A., Maurizio Proietti: The list introduction strategy for the automatic derivation of programs, IASI-CNR, , 10/1998
  • Anna Galluccio, Loebl M.: Max cut in toroidal graphs, IASI-CNR, , 10/1998
  • Alessandro Bertuzzi, Mingrone G., Alberto Gandolfi, Greco A.V., Salinari S.: Analysis by a mathematical model of dodecanedioic acid disposal in humans, IASI-CNR, , 09/1998
  • Anna Formica: Finite satisfiability of integrity constraints in object-oriented database schemas, IASI-CNR, , 09/1998
  • Beeri C., Anna Formica, Michele Missikoff: Inheritance hierarchy design in object-oriented databases, IASI-CNR, , 09/1998
  • Grippo L., Sciandrone M.: On the convergence of the block nonlinear Gauss-Seidel method under convex constraints, IASI-CNR, , 09/1998
  • Aureli F., Formisano A., Omodeo E.G., Temperini M.: Map calculus: initial application scenarios and experiments based on Otter, IASI-CNR, , 06/1998
  • Di Pillo G., Lucidi S., Palagi L., Roma M.: A controlled random search algorithm with local Newton-type search for global optimization, IASI-CNR, , 5/1998
  • Germani A., Gabriella Mavelli: Optimal quadratic solution for the nongaussian finite-horizon regulator problem, IASI-CNR, , 11/1997
  • Pettorossi A., Maurizio Proietti: Synthesis and transformation of logic programs using unfold/fold proofs, IASI-CNR, , 06/1997
  • Anna Galluccio, Loebl M.: A theory of Pfaffian operations : 1. Perfect matchings and permanents, IASI-CNR, , 04/1997
  • Anna Formica, Michele Missikoff: Analysis of the inheritance process in strongly typed OODB systems, IASI-CNR, , 09/1996
  • Anna Galluccio, Loebl M.: Cycles of binary matroids with no F*_7 -minor, IASI-CNR, , 05/1996
  • Anna Formica, Groger H.D., Michele Missikoff: An efficient method for checking object-oriented database schema correctness, IASI-CNR, , 03/1996
  • Caterina De Simone, Mannino C.: Easy instances of the plant location problem, IASI-CNR, , 01/1996
  • Anna Galluccio, Loebl M.: Even cycles and H-Homeomorphisms, IASI-CNR, , 12/1995
  • Pettorossi A., Maurizio Proietti: Rules and strategies for transforming functional and logic programs, IASI-CNR, , 12/1995
  • Di Loreto F., Ferri F., Massari F., Maurizio Rafanelli: A pictorial declarative query language for geographic information systems, IASI-CNR, , 10/1995
  • Anna Galluccio, Loebl M.: Even directed cycles in H-free digraphs, IASI-CNR, , 07/1995
  • Caterina De Simone, Diehl M., Jünger M., Mutzel P., Reinelt G., Giovanni Rinaldi: Exact ground states of Ising spin glasses: new experimental results with a branch and cut algorithm, IASI-CNR, , 11/1994
  • Anna Formica, Michele Missikoff: Correctness of inheritance hierarchies in recursive object-oriented database schemas, IASI-CNR, , 07/1994
  • Jünger M., Reinelt G., Giovanni Rinaldi: The traveling salesman problem, IASI-CNR, , 01/1994
  • Pettorossi A., Maurizio Proietti: Transformation of logic programs: foundations and techiques, IASI-CNR, , 11/1993
  • Brunetta L., Conforti M., Giovanni Rinaldi: A branch-and-cut algorithm for the resolution of the equicut problem, IASI-CNR, , 07/1993
  • Maurizio Rafanelli, Shoshani S.: A model for the graphical representation of aggregate data., IASI-CNR, , 12/1992
  • Caterina De Simone, Giovanni Rinaldi: A cutting plane algorithm for the max-cut problem., IASI-CNR, , 11/1992
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -