http://bioinf.dimi.uniud.it/authors/carla-piazza/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/alberto-policriti/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/agostino-dovier/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/marino-miculan/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/nicolo-rossi/ 2019-12-09T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/tommaso-dreossi/ 2019-12-09T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/nicola-gigante/ 2019-07-25T13:00:00+00:00 http://bioinf.dimi.uniud.it/authors/alberto-casagrande/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/nicola-vitacolonna/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/roberto-pagliarini/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/authors/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication-type/1/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication-type/2/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication-type/6/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1267085/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/adhesive-categories-algebraic-rewriting-graph-rewriting-hypergraphs-rewriting-systems-term-graphs/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1273007/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/algorithms-blockchain-lumpability-markov-chains/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/andrea-schaerf/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/artificial-intelligence-blockchain-machine-learning/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/automata-bisimulation-incremental-minimization/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/autonomic-computing-bisimulations-distributed-systems-eca-rules-formal-methods-iot-programming-verification/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/b.-riccardi/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1275664/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/c.-bianchini/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/c.-londero/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/cascade-decomposition-krohn-rhodes-theorem-wheeler-automata/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1282364/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/co-lexicographical-sorting-deterministic-finite-automata-graph-indexing-string-matching-wheeler-languages/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1279045/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/compression-lumpability-neural-networks-pruning/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/d.-castelnovo/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/d.-della-giustina/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/d.-martincigh/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/d.-ressi/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/d.-smuseva/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/e.-talotti/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1283244/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/edge-failure-graphs-quantum-walks/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-1276846/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/elliptic-curve-cryptography-ecc-key-vulnerabilities-standardized-curves-weak-keys/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/eugenia-zanazzo/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/f.-gadducci/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/fabio-marroni/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/g.-dagostino/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/g.-l.-foresti/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/g.-manzini/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/gabriele-di-gaspero/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/gabriele-magris/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/giovanni-gabelli/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/highlights/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-1277827/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/l.-geatti/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/m.-paier/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/m.-pasqua/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/m.-pizzolitto/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/medical-student-scheduling-local-search-simulated-annealing/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/michele-morgante/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/n.-prezza/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1283225/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/network-discovery-network-mapping-network-security-vulnerability-assessment/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication_types/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1267524/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/r.-romanello/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/s.-rossi/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/sara-ceschia/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-1273906/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tags/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1279005/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1286184/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-1286184/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication-type/0/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1271465/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/a.-altarui/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/a.-cimatti/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/a.-colautti/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/a.-d.-palu/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/a.-d.-schiava/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/a.-dal-palu/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/a.-dalla-pieta/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/a.-formisano/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/a.-montanari/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/a.-orlandini/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/a.-zucchetto/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246204/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/ackermann-codes-continued-fractions-hereditarily-finite-sets-set-approximations/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1262146/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/additional-key-words-and-phrasesgraph-compression-burrows-wheeler-transform-fm-index-fpt-myhill-nerode-theorem-powerset-construction-wheeler-graphs/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/alessandra-boletta/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/alldifferent-constraint-propagation-gpu-computing-parallelism/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1257724/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1245444/ 2023-12-02T19:10:44+01:00 http://bioinf.dimi.uniud.it/publication/11390-1245444/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1267056/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/anne-kallehauge-nielsen/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/anomaly-detection-autoencoder-continuous-learning-cybersecurity-intrusion-detection-systems-nsl-kdd-sf-soinn/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-planning-answer-set-programming-hierarchical-planning-multi-agent-epistemic-planning/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-clifford-t-synthesis-cnot-minimization-quantum-circuit-synthesis/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-clifford-t-synthesis-cnot-minimization-quantum-circuit-synthesis-topological-constraint/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-data-to-text-explainable-ai/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1271546/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/attribute-based-communication-distributed-systems-eca-rules-edge-computing-formal-methods-iot-programming/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1239284/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/automatic-smart-contract-generation-blockchain-carne-pri-distributed-ledger-technology-domain-specific-graphical-language-smart-contracts-supply-chain/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/b.-kodric/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/bigraphs-containers-contract-based-design-formal-methods-system-security-verification/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/breast-cancer-gain-of-function-lncrnas-mutant-p53/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/c.-taticchi/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/ceur-ws-latex-class-paper-formatting-paper-template/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/christian-frezza/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/christine-podrini/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1262304/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1270025/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1257464/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1257684/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/d.-cantone/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/d.-cenzato/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/d.-solda/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1266244/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/diagnostic-imaging-information-theory-observer-variation-research-design-sensitivity-and-specificity/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1267206/ 2023-12-02T19:09:41+01:00 http://bioinf.dimi.uniud.it/publication/11390-1267206/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/dynamical-systems-infinite-state-systems-invariants-k-induction/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/e.-g.-omodeo/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/e.-pontelli/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1270487/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/elisa-a-nigro/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/f.-fabiano/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/f.-fabris/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/f.-faloci/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/f.-fogolari/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/f.-tardivo/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/finite-automata-ordering-languages-regular-languages-wheeler-automata/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/finite-automata-regular-languages-wheeler-languages/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/g.-baldassarre/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/g.-comi/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/g.-esposito/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/g.-voltan/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/gianfranco-distefano/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/giovanna-musco/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/graph-theory-network-discovery-round-trip-graphs/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1254513/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/graphs-quantum-computing-quantum-speed-up-quantum-walks/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/i.-rigo/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1267427/ 2023-12-02T19:09:41+01:00 http://bioinf.dimi.uniud.it/publication/11390-1267427/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/l.-cesaratto/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/l.-dorigo/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/l.-iacumin/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/l.-iuri/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/l.-michel/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/l.-zandona/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/lacticaseibacillus-wga-lp/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/laura-cassina/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1264484/ 2023-12-02T19:09:41+01:00 http://bioinf.dimi.uniud.it/publication/11390-1264484/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/m.-coan/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/m.-s.-nicoloso/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/m.-toso/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/marco-chiaravalli/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/maria-elena-steidl/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/mariam-aslanyan/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/matteo-lampis/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/ming-yang/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1260704/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/n.-cotumaccio/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/n.-rossi/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1244389/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1268013/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1241530/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/p.-mori/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1266184/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1245484/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1246308/ 2023-12-02T19:10:41+01:00 http://bioinf.dimi.uniud.it/publication/11390-1246308/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1256924/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1251847/ 2023-12-02T19:09:58+01:00 http://bioinf.dimi.uniud.it/publication/11390-1251847/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/r.-becker/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/r.-borelli/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/r.-girometti/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/r.-spizzo/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/r.-wille/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/ronald-roepman/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/s.-h.-kim/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/s.-bistarelli/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/s.-borgna/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/authors/s.-tonetta/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-1257686/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/specification-verification-and-synthesis-security-protocols-practical-verification-privacy-formal-methods/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-1271466/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1265544/ 2023-12-02T19:09:59+01:00 http://bioinf.dimi.uniud.it/publication/11390-1265544/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1256884/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/valeria-mannella/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/project/biodiversity/ 2022-08-31T00:00:00+00:00 http://bioinf.dimi.uniud.it/tag/pnrr/ 2022-08-31T00:00:00+00:00 http://bioinf.dimi.uniud.it/project/ 2022-08-31T00:00:00+00:00 http://bioinf.dimi.uniud.it/publication/11390-1223062/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1238704/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1230904/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/a-dovier/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/a-formisano/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-1224850/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/a.-brunello/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/a.-chiapperini/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/a.-felice/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/a.-i.-tomescu/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/algebraic-reasoning-categorical-logic-eilenberg-moore-algebras-equational-axiomatisations-fuzzy-sets-monads/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/anne-k.-nielsen/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-epistemic-reasoning-multi-agent-planning-robot-operating-system/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/asp-autonomous-vehicles-minizinc-planning-rush-hour/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/attribute-based-communication-systems-autonomic-computing-eca-rules-formal-methods/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/attribute-based-memory-updates/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/bernstein-coefficients-neural-network-verification-parametric-dynamical-systems-signal-temporal-logic/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/bigraphs-graph-rewriting-systems-integer-linear-programming-weighted-bigraphs/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/branching-heuristics-gpu-parallelism-sat-solving/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/breath-representation-icu-monitoring-mechanical-ventilator-respiratory-asynchronies/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/claude-stolze/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1233165/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1230764/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/concurrency-theory-distributed-systems-process-algebra/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1234671/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1234674/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/diagnostic-information-diagnostic-test-performance-informational-diagnostic-channels-inter-rater-agreement-quality-measures-shannon-information-theory/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1229814/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1238705/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/distributed-systems/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/e-pontelli/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/eca-rules/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/edge-computing/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/eleonora-pippia/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/elisa-agnese-nigro/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/enrico-lena/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/tag/environmental-surveillance-legionella-machine-learning-spatio-temporal-data-mining/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1234672/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/events-hybrid-automata-systems-biology-time-uncertainty/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/federico-fogolari/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1221558/ 2023-12-02T19:10:44+01:00 http://bioinf.dimi.uniud.it/publication/11390-1221558/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/francesco-fabris/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/francesco-quintavalle/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1221680/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/g-gupta/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1234673/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/heisenberg-picture-language-mirroring-memory-in-quantum-automata-quantum-automata/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/high-performance-computing/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1243686/ 2023-12-02T19:09:41+01:00 http://bioinf.dimi.uniud.it/publication/11390-1243686/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1240266/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/internet-of-things/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/l.-cian/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/luca-dorigo/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/m.-civilini/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-collevati/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/m.-franchi/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-peressotti/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1216950/ 2023-12-02T19:10:38+01:00 http://bioinf.dimi.uniud.it/publication/11390-1216950/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/markov-processes/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/massimo-comuzzo/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/michele-pasqua/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1235066/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/modeling/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1234670/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/multiparty-session-types-process-algebras-open-systems/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/mv-hermenegildo/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/n.-rizzo/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/n.-saccomanno/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1233204/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/tag/parallelism/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/publication/11390-1229225/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/pietro-di-gianantonio/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1262184/ 2023-12-02T19:10:43+01:00 http://bioinf.dimi.uniud.it/publication/11390-1262184/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1286186/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/programming/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/r-rocha/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/r.-gentilini/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/roberto-borelli/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/s.-de-martin/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/smart-devices/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/publication/11390-1229284/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1239947/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/t.-dreossi/ 2024-09-14T18:57:46+02:00 http://bioinf.dimi.uniud.it/authors/thao-dang/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1239226/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/theory-and-models/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/umberto-lucangelo/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/highlights/11390-1222430/ 2023-12-02T19:09:40+01:00 http://bioinf.dimi.uniud.it/publication/11390-1222430/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/03d45-11u05-ackermanns-numbering-encodings-ms-classification-2020-multisets-transcendental-numbers/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1229224/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/publication/11390-1211284/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/a-casagrande/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1211636/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/a.-burigana/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/a.-de-nardin/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/a.-marin/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/adpkd-drug-repositioning-metabolism-systems-biology-systems-medicine-therapeutics/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/aggregation-techniques-bisimilarity-ctmcs-lumpability-process-algebra/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/algorithms-lumpability-markov-chains/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263206/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1221563/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/andrea-formisano/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1210973/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/tag/automatic-monitoring-machine-learning-mechanical-ventilator-respiratory-asynchrony/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/tag/autonomic-computing-bisimulations-eca-rules-formal-methods-verification/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/b.-belletti/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/belief-update-epistemic-planning-knowledge-representation-multi-agent/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/c.-piciarelli/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/c.-stolze/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/tag/categorical-logic-closure-operators-spatial-logic-topological-semantics/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1218729/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1216636/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1224490/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/d-cantone/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1210261/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/domenico-cantone/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/e.-marzano/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/eg-omodeo/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/enrico-pontelli/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/f-fabris/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/f.-puglisi/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/fabio-tardivo/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/formal-methods-practical-verification-privacy-security-protocols-specification-verification-and-synthesis/ 2024-09-14T18:58:08+02:00 http://bioinf.dimi.uniud.it/authors/giovanna-dagostino/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/hilberts-10th-problem-exponential-growth-relation-finite-fold-diophantine-representation-rule-them-all-equation-pells-equation/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/j.-hillston/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/jarno-alanko/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/l.-gerratana/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/l.-pellizzari/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/authors/lluis-blanch/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/m.-verardo/ 2024-09-14T18:57:31+02:00 http://bioinf.dimi.uniud.it/tag/markovian-models-non-interference-process-algebra/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/massimo-ferluga/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246307/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1215625/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/multiparty-session-types-open-systems-process-algebras/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/tag/network-traffic-analysis-shallow-packet-inspection-temporal-analysis-user-de-anonymization/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/nicola-prezza/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/non-interference-process-algebra-stochastic-models/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1217386/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1221079/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/p.-di-gianantonio/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/p.-gallo/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1208859/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1208602/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/rafael-fernandez/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1211826/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/regular-languagesfinite-automataburrows-wheeler-transformwheeler-languagesgraph-indexing/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/set-constraints/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1231687/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/t.-c.-son/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1262164/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1213773/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication-type/5/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1196091/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/a.-bozzato/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/a.-tarzariol/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/agreement-measures-information-agreement-multi-value-ordered-categorical-ratings/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/tag/asp-computation-asp-solvers-gpu-computing-simt-parallelism/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/asp-big-data-analysis-bioinformatics/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/backtraking-cyber-physical-systems-hybrid-automata-optimal-parameter-synthesis-reachability/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/bernstein-expansion/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1193659/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/tag/cohens-kappa-statistic-diagnostic-agreement-information-measures-inter-reader-agreement-multivalue-ordered-categorical-ratings/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/tag/complexity-computability-teaching-computer-science-turing-machines/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1189153/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/d.-tosone/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/e.-pippia/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/e.-tiberi/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/e.-zanazzo/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1189139/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/epistemic-reasoning-multi-agent-multi-shot-asp-planning-possibilities/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1262204/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/f.-burco/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/f.-de-martino/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/f.-vella/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1187991/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1184643/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1195041/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/j.-alanko/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1218240/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/neural-net-control-systems/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/neural-network/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1178483/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/r-giacobazzi/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/r.-furlanetto/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1182128/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/rossano-girometti/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1182006/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1196086/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1182025/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1196053/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1168334/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/action-language-epistemic-reasonings-multi-agent-non-well-founded-sets-possibilities/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1173716/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/alexandre-rocca/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1173445/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1144754/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/andrea-bracciali/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/andrea-brunello/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/andrea-marin/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/angelo-montanari/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/annalisa-barla/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/asp-solving-distributed-computation-logic-programming/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/business-intelligence-contact-center-data-integration-data-mining-data-warehousing-operator-performance-assessment-information-systems-computer-science-applications1707-computer-vision-and-pattern-recognition-strategy-and-management1409-tourism/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/claudio-piciarelli/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/tag/computation-theory-computer-circuits-logic-programming-planning-semantics/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-all/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1147581/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/description-logic/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/tag/description-logic-knowledge-representation-set-theory/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1262205/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/e.-omodeo/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/authors/enrico-marzano/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1158723/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/eric-fanchon/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/exponential-growth-relation-finite-fold-diophantine-representation-hilberts-10th-problem-pells-equation/ 2024-09-14T18:58:13+02:00 http://bioinf.dimi.uniud.it/publication/11390-1150833/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/f-fabiano/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/f.-igne/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/federico-igne/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/gian-luca-foresti/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/authors/gunnar-w.-klau/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/i.-riouak/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246344/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/jane-hillston/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/l.-giordano/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/leif-peterson/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/leisure-and-hospitality-management-information-systems-and-management/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-de-bortoli/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/markovian-models-non-interference-process-algebra-human-computer-interaction-computer-networks-and-communications-1707-software/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/massimo-bartoletti/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/tag/multi-agent-systems-action-languages-epistemic-reasoning-multi-agent-non-well-founded-sets-planning-possibilities/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/publication/11390-1162494/ 2024-09-14T18:57:45+02:00 http://bioinf.dimi.uniud.it/authors/oded-maler/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/paolo-gallo/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/pietro-totis/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/polymodal-logic/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1147418/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/publication/11390-1173447/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/roberto-tagliaferri/ 2024-09-14T18:57:58+02:00 http://bioinf.dimi.uniud.it/authors/sabina-rossi/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/set-theory/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1195927/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/theoretical-computer-science-computer-science-all/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1168947/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1145439/ 2024-09-14T18:58:07+02:00 http://bioinf.dimi.uniud.it/publication/11390-1177489/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/2d-object-reconstruction-answer-set-programming-geometric-reasoning/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/a-dal-palu/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/alessandro-dal-palu/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/alessandro-larcher/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/alessio-mansutti/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/algebraic-logic-automated-equational-reasoning-modal-translation-methods-pairing-relation-algebras-set-theoretic-deduction/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/ana-s-h-costa/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/andrea-omicini/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1136840/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/behavioural-equivalences-product-forms-stochastic-models-quantitative-analysis-stochastic-automata-theoretical-computer-science-information-systems-computer-science-applications-computer-vision-and-pattern-recognition-computational-theory-and-mathematics/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/bisimilarity-modal-logic-characterizations-reactive-probabilistic-systems-theoretical-computer-science-computer-science-all/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/brain-computer-interface-eeg-p300-event-related-potential-predictive-speller/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/cataloguing-system/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1143474/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/cosetta-saba/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1143482/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/diego-di-bernardo/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246345/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1144942/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/edoardo-gaude/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/enrico-denti/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1124901/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1138453/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1136807/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/fabio-benigni/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/feng-qian/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/ferdinando-fioretto/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/formal-semantics-labelled-systems-labelled-variables-logic-programming-metainterpretation-situated-intelligence-theoretical-computer-science-algebra-and-number-theory-information-systems-computational-theory-and-mathematics/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/francesco-montorsi/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/giacomo-alzetta/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1143470/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/hyunho-kim/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1141314/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/isaline-rowe/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/ivano-di-meo/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/j-jarmolowska/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/leonardo-taglialegne/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/linda-anticoli/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/lisa-parolo/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1128044/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/luca-drusian/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1142576/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/marco-bernardo/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/marco-peressotti/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1257224/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/mm-turconi/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/monika-pema/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246346/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/non-theatrical-cinema/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/p-busan/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/paolo-zuliani/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/publication/11390-1136817/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1141348/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/authors/petra-marlazzi/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263205/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/pp-battaglini/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1158242/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/tag/relational-modelling/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/roberta-calegari/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/software/ 2024-09-14T18:57:30+02:00 http://bioinf.dimi.uniud.it/tag/tca-cycle-cancer-metabolism-cancer-signaling-epithelial-transformation-fumarate-hydratase-metabolic-reprogramming-papillary-carcinoma-rapamycin-renal-cancer-renal-cysts/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/theoretical-computer-science-software-logic-computational-theory-and-mathematics/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/thomas-hildebrandt/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/umberto-capitanio/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1139705/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/valeria-tiranti/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/video-art/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/academic/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/tag/bioinformatics/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/apps/cimice/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/cola/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/dynamic/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/tag/dynamical-systems/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/erne/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/fiasco/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/gam-ngs/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/tag/genetic-networks/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/tag/genome-sequences-processing/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/propesca/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/tag/protein-folding/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/pyhybridanalysis/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/sapo/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/apps/wga-lp/ 2017-11-30T09:00:00+00:00 http://bioinf.dimi.uniud.it/project/encase/ 2017-11-30T00:00:00+00:00 http://bioinf.dimi.uniud.it/tag/prid/ 2017-11-30T00:00:00+00:00 http://bioinf.dimi.uniud.it/authors/a.-felty/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/a.-filinski/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/adriano-peron/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/alexandru-i.-tomescu/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/alice-tarzariol/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1126260/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/andrea-albarelli/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/artificial-intelligence-computer-science-applications1707-computer-vision-and-pattern-recognition/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/bernstein-coefficients-polynomial-dynamical-systems-reachability-theoretical-computer-science-software-hardware-and-architecture/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/burrows-wheeler-transform-compressed-computation-lempel-ziv-repetitive-text-collections-software/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/c.-coen/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/computer-science/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/cyber-physical-systems-falsification-gaussian-processes-model-based-testing-robustness-theoretical-computer-science-computer-science-all/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/davide-scaglione/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1120405/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/domain-modeling-logic-programming-planning-tabling-software/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1124435/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/eugenio-g.-omodeo/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/f.-rabe/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/francesco-contaldo/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1126250/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/g.-dowek/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1096381/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/human-computer-interaction-type-theory-theoretical-computer-science-logical-frameworks/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/jindrich-vodrazka/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/k.-chaudhuri/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/k.-sojakova/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/lempelaziv-factorization-repetition-aware-data-structures-repetitive-text-collections-run-length-encoded-bwt-computer-science-all-computer-science-applications1707-computer-vision-and-pattern-recognition-applied-mathematics/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/luca-bortolussi/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/lukas-chrpa/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119228/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/mara-miculan/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/marco-de-bortoli/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119230/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/matteo-sottana/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119933/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1122599/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/neng-fa-zhou/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119232/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1123984/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1193549/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/pontelli-enrico/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119931/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1120541/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1108075/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1104979/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/roman-bartak/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/authors/sara-pinosio/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/simone-silvetti/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/t.-altenkirch/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/theoretical-computer-science-information-systems-computer-science-applications1707-computer-vision-and-pattern-recognition-computational-theory-and-mathematics/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/theoretical-computer-science-software-hardware-and-architecture-computational-theory-and-mathematics-artificial-intelligence/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/publication/11390-1122838/ 2024-09-14T18:57:44+02:00 http://bioinf.dimi.uniud.it/tag/vitis-vinifera-clonal-variation-mosaic-structural-variation-next-generation-sequencing-reduction-of-heterozygosity-snps-biotechnology-agronomy-and-crop-science-plant-science/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/w.-ricciotti/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099032/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/action-languages-planning-tabling-computer-science-all/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/ai/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/ai-and-games-modeling-teaching-logic-programming-computer-science-all/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/asp-computation-asp-solvers-gpus-simt-parallelism-computer-science-all-theoretical-computer-science/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/asp-cancer-evolution-genome-analysis-computer-science-all/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1152893/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/behavioural-congruences-quantitative-models-rule-formats-theoretical-computer-science-computer-science-all/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/belief-set-binary-decision-diagrams-conformant-planning-heuristics-software-artificial-intelligence-computer-science-applications1707-computer-vision-and-pattern-recognition/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/bisulfite-bwt-dna-methylation-ngs-succinct-hashing-cpg-islands-dna-data-compression-genome/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/tag/burrows-wheeler-transform/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099121/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-logic-in-computer-science-computer-science-logic-in-computer-science-f.1.2-f.3.1-d.3.1/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1098488/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/dal-palu/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095058/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/tag/dna-sulfites-dna-methylation-epigenomics-software-applied-mathematics-structural-biology-biochemistry-molecular-biology-computer-science-applications1707-computer-vision-and-pattern-recognition/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/tag/dynamical-system-parallelotope-bundle-polytope-reachability-computer-networks-and-communications-computer-science-applications1707-computer-vision-and-pattern-recognition-control-and-systems-engineering/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099119/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1090681/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/federica-tabacco/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/flavio-vella/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/foundations-of-infinitesimal-calculus-nonstandard-analysis-proof-checking-proof-engineering/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/francesco-napolitano/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/francesco-vezzi/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/giorgia-mandrile/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/hereditarily-finite-sets-hyper-extensionality-non-well-foundedness-set-theory-theoretical-computer-science-computer-science/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/human-genomics-high-throughput-nucleotide-sequencing-humans-sequence-analysis/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246444/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/indexing/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1096377/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099123/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099125/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1126264/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/luciano-dereani/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/lz77/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/authors/maria-concetta-brocato/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/mario-de-marchi/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/max-kaller/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/tag/model-checking-quantum-circuits-quantum-languages-computer-science-all-theoretical-computer-science/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/multi-objective-optimization-robustness-system-design-temporal-logic-theoretical-computer-science-computer-science-all/ 2024-09-14T18:57:57+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099034/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/nicola-brunetti-pierri/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095060/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/paolo-benoli/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1096379/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/patrizia-annunziata/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/planning/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1152589/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/raffaele-castello/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/re-barbara/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099127/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/roberta-borzone/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095062/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/authors/stefano-tognazzi/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095056/ 2024-09-14T18:58:06+02:00 http://bioinf.dimi.uniud.it/publication/11390-1091046/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/tran-son/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070107/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/a-peron/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070102/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/tag/ackermann-bijection.-bisimulation-computable-set-theory-non-well-founded-sets-information-systems-computational-theory-and-mathematics-theoretical-computer-science-algebra-and-number-theory/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/adam-halasz/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/alessandro-romanel/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/algebras-bialgebras-coalgebras-continuous-state-systems-markov-processes-quantitative-aspects-rule-formats-stochastic-semantics-structural-operational-semantics/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/algorithms-experimentation-gene-regulatory-networks-bioinformatics-constraint-programming/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/andrea-toneguzzo/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/artificial-intelligence/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/asp-computation-asp-solvers-gpu-computing-simt-parallelism-computer-science-all/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/tag/assembly-reconciliation-hierarchical-assembly-pool-sequencing-next-generation-sequencing/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1099131/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1063735/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069402/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/behavioural-equivalences-robustness-systems-biology-unwinding-theoretical-computer-science-computer-science-all/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/bioinformatics-cnv-copy-number-variation-ngs-paired-end-method-structural-variation-agricultural-and-biological-sciences-all/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/biological-systems-parameter-synthesis-reachability-stl-computer-science-all-theoretical-computer-science/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-logic-programming-modeling-computer-science-all/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/tag/bwt/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/bwt-compression-lempel-ziv-computer-science-all-theoretical-computer-science/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/chiara-bodei/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/cnf-satisfiability-davis-putnam-logemann-loveland-procedure-general-purpose-gpu-computing-parallel-sat-solving-software-artificial-intelligence-theoretical-computer-science/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1073726/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/coinduction-denotational-semantics-foundations-of-logic-programming-information-systems-computational-theory-and-mathematics-theoretical-computer-science-algebra-and-number-theory/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246445/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/compressed-space/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-all-theoretical-computer-science/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-applications1707-computer-vision-and-pattern-recognition-mathematics-miscellaneous/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069108/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-cuda-general-purpose-graphical-processing-units-multi-agent-systems-protein-structure-prediction-software-artificial-intelligence-theoretical-computer-science/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070103/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/d-di-bernardo/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/dang-thao/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/davide-ancona/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/davide-chiarugi/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/discrete-modeling-gene-regulatory-networks-hybrid-system-quasi-steady-state-approximation-stochastic-noise-biochemistry-structural-biology-organic-chemistry-computational-mathematics/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069335/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/dna-algorithms-genome-hash-bwt/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/dynamic-bitvector/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/enrico-francia/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1068535/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1068702/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/federico-campeotto/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/fernando-jimenez/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1136809/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/g.-bacci/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/authors/gracia-sanchez/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/guido-sciavicco/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069956/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1096383/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/tag/inborn-errors-of-metabolism-flux-balance-analysis-model-checking-genome-scale-metabolic-network-reconstruction-spin-promela-systems-biology/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069124/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/lars-arvestad/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070109/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-declarative-programming-planning/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/authors/m-sangiovanni/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069229/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/maria-luisa-guerriero/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/nicola-pecchioni/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069951/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069324/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070108/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070151/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070160/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070101/ 2024-09-14T18:57:43+02:00 http://bioinf.dimi.uniud.it/tag/process-calculi-coalgebraic-semantics-weak-behavioural-equivalences-saturation-semantics/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/authors/r-pagliarini/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-963553/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/riccardo-vicedomini/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/sequence-analysis/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/publication/11390-1119226/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/authors/simone-scalabrin/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/simulation-preorder-simulation-quotient-directed-acyclic-graphs-rank-simulation-algorithms/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039437/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/authors/tomasz-brengos/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1070150/ 2024-09-14T18:57:29+02:00 http://bioinf.dimi.uniud.it/authors/william-yeoh/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039443/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1021548/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039442/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-991547/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/a.-bizjak/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-871762/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-logic-programming/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/casagrande-alberto/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1038358/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-logic-in-computer-science-computer-science-logic-in-computer-science-f.1.2-f.3.2/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-gpu-parallelism/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/cristian-del-fabbro/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1038356/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1024948/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1024947/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1024951/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1024950/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1021549/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1031553/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/f.-cordero/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/f.-lazzarato/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/f.-nadalin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/fages-francois/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039441/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-1032554/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/giuseppe-lancia/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039440/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1038366/ 2024-09-14T18:57:56+02:00 http://bioinf.dimi.uniud.it/tag/hereditarily-finite-sets-hypersets-bisimulation-membership-graphs/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/tag/hybrid-automata-unwinding/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1032553/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/j.-fabrikova/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/l.-birkedal/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/authors/m.-beccuti/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/m.-carrara/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/mansutti-alessio/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039439/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-1039438/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/tag/next-generation-sequencing-parallel-algorithm-alignment/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/palu-alessandro-dal/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/authors/peron-adriano/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1032555/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/r.-calogero/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/r.-rizzi/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/s.-donatelli/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1022156/ 2024-09-14T18:57:42+02:00 http://bioinf.dimi.uniud.it/publication/11390-1069403/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/authors/tardivo-fabio/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1024946/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1112975/ 2024-09-14T18:58:05+02:00 http://bioinf.dimi.uniud.it/publication/11390-963552/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/tag/%CE%B5-semantics-hybrid-systems-reachability-problem/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1029947/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/a-barakat/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1049403/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-892151/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246464/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-865357/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-876562/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/a-orellana/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/a-stella/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-871332/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/a-zuccolo/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/a.-castellini/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/action-languages-constraint-logic-programming-multi-agent-systems/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/ag-abbott/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/alexandru-ioan-tomescu/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246528/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/ancona-davide/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-logic-programming-cuda-parallelism/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-874853/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/arvestad-lars/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-874255/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/b-lazzari/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/b-sosinski/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/biological-oscillator-computational-modeling-discrete-dynamics-membrane-computing-metabolic-p-systems-mp-systems-systems-biology-markup-language-sbml/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/c-wells/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-893541/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/tag/computational-complexity-conceptual-modeling-entity-relationship-model-graph-theory-xml-schema/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-bioinformatics-protein-structure-prediction/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-963554/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-893540/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/d-bielenberg/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/d-copetti/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/d-main/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/d.-bassi/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/d.-gubiani/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246446/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/differential-flux-analysis-flux-balance-analysis-hepatocyte-metabolism-inborn-errors-of-metabolism-mathematical-modeling/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/dm-goodstein/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/ds-horner/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/ds-rokhsar/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/e-mica/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/e-vendramin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/e.-vendramin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-893342/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-893345/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-893344/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-893341/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-1038368/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/encodings-hereditarily-finite-sets-hypersets/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/f-cattonaro/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/f-salamini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/f-vella/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/f.-campeotto/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/f.-cattonaro/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/francesco-gregoretti/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/g.-franco/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/gabriel-ciobanu/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1029950/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/gennaro-gambardella/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/gennaro-oliva/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/giannina-vizzotto/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/guido-cipriani/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/h-silva/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-876224/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/tag/hybrid-automata-symbolic-computation-approximation/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/authors/i-verde/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/i.-verde/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/j-grimwood/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/j-jenkins/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/j-maldonado/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/j-schmutz/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/l-dondini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/l-rossini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/l.-marchetti/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/l.-rossini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/la-meisel/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-co-induction/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/luca-di-gaspero/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/m-turconi/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1030152/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/massimo-franceschet/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246527/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246447/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/mt-dettori/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/oana-agrigoroaiei/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/p-arus/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/p-tonutti/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/p-xuan/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263204/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1032552/ 2024-09-14T18:57:28+02:00 http://bioinf.dimi.uniud.it/publication/11390-1187985/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/tag/protein-structure-prediction-constraint-programming-cuda-parallelism/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-1037395/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/r-pirona/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/r.-pirona/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/rachele-falchi/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/raffaele-cipriano/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/authors/raffaele-testolin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-ficklin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-gonzalez/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-jung/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-lucas/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-prochnik/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-scalabrin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-shu/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s-tartarini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s.-pinosio/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/s.-scalabrin/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/t-mitros/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/t-zhebentyayeva/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-879642/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/v-aramini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/v-decroocq/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/v.-aramini/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/v.-manca/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/vincenzo-manca/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-1042566/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-1029953/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/zhou-neng-fa/ 2024-09-14T18:57:41+02:00 http://bioinf.dimi.uniud.it/publication/11390-872030/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-871416/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/a-vezzi/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/tag/acyclic-graphs-efficient-simulation-memory-requirements/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/campeotto-federico/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/critical-problems/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/e-omodeo/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-893343/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-866366/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-868854/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-870357/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/emanuele-de-paoli/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/publication/11390-991346/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/eugenio-omodeo/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-872281/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263187/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/filtering-technique/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/fioretto-ferdinando/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/fragment-assembly/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/g-bacci/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/tag/high-degree-of-freedom/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-870439/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/hybrid-automata-model-checking/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/hybrid-automata-symbolic-computation-systems-biology/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/ilaria-sambarino/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-865076/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-1038363/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-869125/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-1050798/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-868477/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-869022/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/modeling-problems/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/multi-body-systems/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/ngs-short-reads-alignment/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/tag/np-completeness/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/authors/paviotti-marco/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/tag/protein-conformation/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/protein-domains-scop-classification-blosum-spectrum/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-870297/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-867136/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/r-gentilini/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-870941/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/relative-positions/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-871735/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/tag/sat-logic-programming-cuda-parallelism/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/tag/search-spaces/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-865169/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/tag/sub-structures/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-866141/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-867861/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/vezzi-francesco/ 2024-09-14T18:57:55+02:00 http://bioinf.dimi.uniud.it/authors/vitor-santos-costa/ 2024-09-14T18:57:40+02:00 http://bioinf.dimi.uniud.it/publication/11390-696765/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-865075/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/a.-rohde/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/a.-tomescu/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/alberto-castellini/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/b.-mishra/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-697260/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/best-michael/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/bhattarai-kabi/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-881158/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/c-maiero/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/c.-bastien/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/c.-urban/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-1043158/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-697174/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-multi-agent-systems/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-prolog/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-697107/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/dang-hung/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246529/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/domain-knowledge/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-865901/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-865524/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-869227/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-869089/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-871107/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/f-vezzi/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/f.-fabbrini/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-868298/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/g.-zaina/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/giuditta-franco/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-870775/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/le-trung/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-constraint-programming-bioinformatics/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/m.-gaudet/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-sabatti/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-steenackers/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/mascardi-viviana/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/mp-systems-modeling-non-photochemical-quenching-npq-pipeline-data-analysis-stepwise-regression-neural-networks-optimization-variable-selection-mitotic-cycle-log-gain-model-validation/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/publication/11390-868301/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/n.-marron/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-696940/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-870165/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/prolog-programs/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/protein-domains-scop-classification-blosum-spectrum-domain-family-characterization/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-697006/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/s.-dillen/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263186/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/shortest-path-problem/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/stalla-alessio/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/tag/sub-problems/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/authors/t.-ruttink/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-867839/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/v.-jorge/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/v.-storme/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/w.-boerjan/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-883782/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/zanucco-davide/ 2024-09-14T18:57:39+02:00 http://bioinf.dimi.uniud.it/publication/11390-860566/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-882207/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/a-tomescu/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/tag/action-description-languages-constraint-logic-programming-knowledge-representation-planning/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/tag/action-description-languages-constraint-logic-programming-multi-agent-planning/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/authors/alberto-ferrarini/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/alessandro-spadotto/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-880565/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-878259/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/andrea-cavallini/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/andrea-zuccolo/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-881923/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/authors/c-de-rosa/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/c.-segala/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/cesare-casati/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-883533/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-878958/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/tag/configuration-systems-clpfd/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-857708/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/tag/constraint-solving-global-constraints-protein-structure-determination/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/authors/d-campagna/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/d.-campagna/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/davide-grohmann/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/donatella-gubiani/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/e-frare/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-864925/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-893346/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-860640/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/publication/11390-860693/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/erica-mica/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/f.-fages/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/authors/f.-vezzi/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/federica-cattonaro/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-1096387/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/g-franco/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/g.-coppola/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/g.-faes/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/g.-malacarne/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/g.-prete/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/g.-valle/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/giorgio-cionini-pier/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/giorgio-valle/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-878110/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/graziano-pesole/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-862379/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-716073/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-696560/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/i.-jurman/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/irena-jurman/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/k.-crary/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/karl-crary/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/authors/l-bortolussi/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-1173266/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/authors/lucia-natali/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/m.-moroldo/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/m.-pindo/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/m.-troggio/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/manna-crespan/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/marilena-ceccarelli/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/mario-pezzotti/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/massimo-delledonne/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/mauro-cresti/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-696565/ 2024-09-14T18:58:04+02:00 http://bioinf.dimi.uniud.it/publication/11390-879086/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-879397/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/authors/n.-felice/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/p.-fontana/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/pe-enrico/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/pe-m.-enrico/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-878428/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-876821/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/authors/r.-marconi/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/r.-velasco/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246530/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/rita-vignani/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/s.-grando/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/s.-horner-david/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/s.-will/ 2024-09-14T18:57:38+02:00 http://bioinf.dimi.uniud.it/tag/semi-algebraic-automata-reachability-systems-biology/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/stefano-meneghetti/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/tag/string-algorithms-randomized-algorithms/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/t.-jesse/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-860042/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/publication/11390-881233/ 2024-09-14T18:57:54+02:00 http://bioinf.dimi.uniud.it/authors/tommaso-giordani/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/v-manca/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/authors/vania-sarri/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/veronica-ferrillo/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/viviana-piccolo/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-878739/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-878935/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-881985/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-864460/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246531/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/a.-belaj/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/a.-buonamici/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/a.-porceddu/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/a.-salimonti/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/action-language/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/allelic-ladder-cultivar-characterization-fingerprinting-olea-europaea-repeat-motif-ssr/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246533/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/publication/11390-878934/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-881723/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/answer-set-programming-logic-programming-non-monotonic-reasoning/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-691884/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/arithmetic-constraints/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/assembly-assembly-reconciliation/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-728245/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-713448/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/biological-modeling-p-systems-mp-systems-metabolic-flux-estimation-heuristic-algorithms/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/authors/bortolussi-luca/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/c.-ricciolini/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/casati-cesare/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/tag/combinatorial-problems-constraint-solving-logic-programming/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/combined-effect/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/computation-model/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/concurrency-constraints/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-technology/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-local-search/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/constraint-based/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/crystal-lattice-structure/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/d-grohmann/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/databases-xml-conceptual-modeling-graph-theory-logical-design/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/david-s.-horner/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-692597/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/declarative-descriptions/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/delayed-effects/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/delledonne-massimo/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-879078/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-877035/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-862995/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/e.-perri/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/e.-quintarelli/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/effective-solution/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-742678/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/tag/ehrenfeucht-fraisse-games-optimal-strategies-complexity/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/elisabetta-de-maria/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-864155/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/f-del-tedesco/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/ferrarini-alberto/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/tag/finite-domains/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-883898/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/authors/g.-g.-vendramin/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/g.-rossi/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-991548/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-881575/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-719037/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/gianfranco-rossi/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/giorgio-bacci/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-878442/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-859816/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/hybrid-automata-reachability-semi-algebraic-first-order-formulae/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/publication/11390-691837/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/i.-muzzalupo/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/i.-trujillo/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/interacting-agents/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/l.-baldoni/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/l.-rallo/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/large-class/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-881899/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/m.-a.-ojeda/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/m.-enrico-pe/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/mica-erica/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/tag/multi-agent/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/multi-agent-planning/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/n.-g.-cultrera/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/novel-methodology/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/o.-lain/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/pesole-graziano/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/pezzotti-mario/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/piccolo-viviana/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/tag/planning-domains/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-693125/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/protein-sequences/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/tag/protein-structures/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/r.-mariotti/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/r.-messina/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/r.-testolin/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-882279/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/s.-arcioni/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/s.-zorzan/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/semistructured-databases-model-checking/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/authors/simone-zorzan/ 2024-09-14T18:58:10+02:00 http://bioinf.dimi.uniud.it/tag/simulation-of-chemical-reactions-spim-stochastic-pi-calculus/ 2024-09-14T18:57:27+02:00 http://bioinf.dimi.uniud.it/tag/stable-model/ 2024-09-14T18:57:37+02:00 http://bioinf.dimi.uniud.it/publication/11390-692269/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-881922/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-863099/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-1246532/ 2024-09-14T18:58:11+02:00 http://bioinf.dimi.uniud.it/tag/transposable-elements-structured-motif-string-algorithms/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/v.-sarri/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/valle-giorgio/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/authors/a-bossi/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-877927/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-851584/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-882947/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-877168/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-853899/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/alberto-ferrari/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/alberto-sangiovanni-vincentelli/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-708453/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/biconnected-components-massive-graphs-model-checking-ordered-binary-decision-diagrams-strongly-connected-components/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/bud-mishra/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/compact-lists-lists-membership-and-equality-constraints-multisets-sets/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-690455/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/computer-science-all-biochemistry/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-combinatorial-problems/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-bioinformatics/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-857750/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/davide-bresolin/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/tag/decidability-pi-calculus-program-verification-security-of-data/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-737486/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-883050/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/emanuele-mazzi/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/f.-honsell/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/first-order-logics-over-the-reals-hybrid-automata-model-checking/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/furio-honsell/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/tag/genetics-and-molecular-biology-all-theoretical-computer-science/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-692631/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-691472/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-692868/ 2024-09-14T18:57:53+02:00 http://bioinf.dimi.uniud.it/publication/11390-880634/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-878295/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-691404/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/ivan-scagnetto/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/authors/j.-mauro/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/l.-bortolussi/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-1128026/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/authors/luca-benvenuti/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/matteo-mio/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-693468/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-691405/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-881787/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/pieter-collins/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/pietro-corvaja/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/r.-cipriano/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/r.-mardare/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263185/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/authors/silvia-crafa/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-877227/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-693464/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-878629/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/temesghen-kahsai/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-691473/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/tiziano-villa/ 2024-09-14T18:58:12+02:00 http://bioinf.dimi.uniud.it/publication/11390-693457/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/publication/11390-853484/ 2024-09-14T18:58:03+02:00 http://bioinf.dimi.uniud.it/authors/will-sebastian/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/a-billault/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/a-canaguier/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-847797/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/a-lecharny/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/a.-bossi/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/authors/a.-f.-adam-blondon/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/tag/aautomata-theory/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/action-description-languages/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/action-languages/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/adaptation-angiosperm-chronology-evolution-genome-genotype-polyploidy-vine-assembly/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-877403/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/agent-based-technologies-computational-biology-multi-agent-optimization-protein-structure-prediction-computer-science-all/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/alberto-ciaffaglione/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/alessandra-corazza/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/algebr/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-882882/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/b-noel/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/b-segurens/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/b.-ruperti/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/biological-systems/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/biotechnology/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-concurrency-noninterference-security/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/authors/c-bruyere/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/c-clepet/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/c-dasilva/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/c-jubin/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/c-scarpelli/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/claudio-schneider/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/tag/clp-fd/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-689009/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/tag/computational-complexity/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/conditional-effects/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-clip/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-bioinformatics-np-completeness/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-parallel-processing-protein-structure-prediction/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/d-horner/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/d-jublot/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/d-merdinoglu/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-690154/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/dynamic-models/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/e-dalla/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/e-durand/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/e-ugarte/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-692553/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/f-artiguenave/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/f-legeai/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/f-quetier/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/g-malacrida/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/g-pesole/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/g-valle/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/gennaro-esposito/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/gilberto-giugliarelli/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/grohmann-davide/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/heidelberg-co/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/i-juman/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/i-le-clainche/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/tag/innovation/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/tag/international-conferences/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/j-poulain/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/j-weissenbach/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/j.-m.-aury/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/k.-casey/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/l-liquori/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/l.-pieri/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/m-alaux/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-caboche/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-delledonne/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-gouyvenoux/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-moroldo/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-pezzotti/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/m-zantoni/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/marco-zantoni/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-744122/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-877826/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-881936/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/n-choisne/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/n-felice/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/n-vitulo/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/o-jaillon/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-849229/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/p-chatelet/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/p-hugueney/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/p.-wincker/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/paolo-viglino/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/pe-me/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/tag/prototype-implementations/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/authors/r.-falchi/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/publication/11390-738662/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-730038/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/s-aubourg/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/s-paillard/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-876975/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-850028/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-857030/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-694782/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-878817/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-882969/ 2024-09-14T18:57:26+02:00 http://bioinf.dimi.uniud.it/authors/v-anthouard/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/v-dumas/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/v-laucou/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/v-vico/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-852107/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/publication/11390-706842/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/and-e.-omodeo/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/andrea-fusiello/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/anna-bucalo/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/axiomatization-classical-higher-order-logic-functor-category-higher-order-abstract-syntax-model-based-opc-recursions-structural-induction-theory-of-contexts-functional-programming-formal-logic/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-855017/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/authors/c.-schneider/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-853452/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/tag/computable-set-theory-unification/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-855290/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-878308/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/constraint-programming-bioinformatics-model-checking/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-854554/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/e.-dalla/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/e.-de-maria/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-856326/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-739053/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/f.-sepic/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/fabio-gadducci/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-851701/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-882895/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-882996/ 2024-09-14T18:57:36+02:00 http://bioinf.dimi.uniud.it/publication/11390-690297/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/m-farenzena/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/m-hofmann/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/m-massarini/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/m.-zantoni/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-690895/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-857883/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/policriti-alberto/ 2024-09-14T18:57:52+02:00 http://bioinf.dimi.uniud.it/tag/prenex-sentences/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/quantifier-elimination/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-881780/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/satisfiability-problem/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-692496/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/set-hyperset-theories/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-849972/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/tag/syllogistics/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-692835/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/authors/ugo-montanari/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/unification/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/v-mysore/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-850825/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-691637/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-851886/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-691314/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-690500/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-849262/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-852313/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-882337/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/b-mishra/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/tag/calculus-of-inductive-constructions-languages-with-binders-logical-expressivity-nominal-logics-theory-of-contexts/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/computational-biology-agent-based-technologies-concurrent-constraint-programming/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-answer-set-programming-combinatorics/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/d-macedonio/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/f.-winkler/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/tag/games-string-algorithms/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-847684/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-852535/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-690226/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-857405/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/k.-yemane/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/m.-antoniotti/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/m.-farenzena/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/process-algebra-contexts-bisimulation-trace-equivalence/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-851961/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/publication/11390-690834/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/tag/structured-motif-string-algorithms-computational-complexity-transposable-elements/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-878867/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-854292/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-878628/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-848368/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/authors/v.-mysore/ 2024-09-14T18:57:25+02:00 http://bioinf.dimi.uniud.it/authors/a-balluchi/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/a-cortesi/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/a-policriti/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/a-sangiovanni-vincentelli/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/a.-belussi/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/a.-cortesi/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/aci/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-882496/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/acoustic-wave-propagation/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/alarm-systems/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/ambient-calculus-security-static-analysis/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-877173/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-689023/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-hybrid-automata-qualitative-analysis-biochemical-models-collapsing/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-non-well-founded-sets-obdds-rank-based-methods-verification/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/c-braghin/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/c.-braghin/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-850216/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/clp/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/complexity/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/computer-aided-design/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/computer-simulation/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/computer-software/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/concurrent-constraint-programming-bioinformatics-protein-structure-prediction/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-878833/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-bioinformatics/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-850902/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/d.-rocchesso/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-689042/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/disunification/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-712061/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/e.-pivato/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/equational-theories/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/f-gadducci/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/f-honsell/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/f.-avanzini/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/f.-l.-luccio/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-1263184/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/l-benvenuti/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-oudspeakers/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/m-lenisa/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/m.-simeoni/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/marina-lenisa/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/tag/mathematical-models/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-883246/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-689496/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-689041/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-856947/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-852441/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-685370/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/publication/11390-694408/ 2024-09-14T18:57:35+02:00 http://bioinf.dimi.uniud.it/authors/r-bruni/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/authors/r-focardi/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/authors/r.-focardi/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/ray-tracing/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/sets/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-689614/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/tag/structured-motif-string-algorithms-computational-complexity/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-881947/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/tag/systems-analysis-acoustic-emissions/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/t-villa/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/publication/11390-881198/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-858630/ 2024-09-14T18:57:51+02:00 http://bioinf.dimi.uniud.it/authors/u.-montanari/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-880665/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-856681/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/publication/11390-849642/ 2024-09-14T18:57:24+02:00 http://bioinf.dimi.uniud.it/tag/%CF%80-calculus-abstractions-binding-operator-bisimulation-coalgebra/ 2024-09-14T18:58:02+02:00 http://bioinf.dimi.uniud.it/publication/11390-738645/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-669176/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-1092767/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-735651/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/a.-momigliano/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/alessandra-carbone/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/amir-pnueli/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/animals-biochemistry-cells-computational-biology-humans-models/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/archisman-rudra/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-677361/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/bing-sun/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/biological/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-668707/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-complexity-semistructured-data/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-partition-refinement-problems-simulation/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-680619/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/categorical-metamodels-initial-algebra-semantics-metalanguages-for-syntax-and-semantics-of-languages-presheaf-categories-typed-abstract-syntax-with-variable-binding/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/charles-r-cantor/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-857882/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/computable-set-theory/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/computational-theory-and-mathematics/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-745858/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/d.-macedonio/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/david-harel/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/e.-jane-albert-hubbard/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/f.-park/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/fang-cheng/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-854654/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/frank-park/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/franz-winkler/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-684960/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/authors/g.-goguadze/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/tag/genetic-purines-software-systems-analysis-evolution/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-739889/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-685365/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-672852/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-677560/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/interpretation-modal-logic-polyadic-operators/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/authors/iuliana-ioniata/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/jiawu-feng/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-aggregates-programming-with-sets/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/luigi-liquori/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/marc-rejali/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/marco-antoniotti/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/marina-spivak/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/marta-simeoni/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-679872/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/michael-wigler/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/mikhael-gromov/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-667573/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-883047/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/molecular-models/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/mysore-venkatesh/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/n.-ugel/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/nadia-ugel/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/naomi-silver/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/ofer-gill/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/paolo-barbano/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/tag/programming-with-sets-constraint-logic-programming/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/ramesh-hariharan/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/raoul-sam-daruwala/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-737526/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-667145/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/s.-filippone/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/salvatore-paxia/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-858407/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/shih-chieh-lin/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-674445/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-876788/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-669159/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/publication/11390-1128038/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/authors/thomas-anantharaman/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/vera-cherepinsky/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/vijay-chandru/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/william-casey/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/y.-venema/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/authors/yi-zhou/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/yuri-lazebnik/ 2024-09-14T18:57:23+02:00 http://bioinf.dimi.uniud.it/authors/a.-peron/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/alessandra-burelli/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-716451/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-677720/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/tag/ambient-calculus-inductive-contructions-logical-framework-lf-theory-of-contexts/ 2024-09-14T18:58:01+02:00 http://bioinf.dimi.uniud.it/publication/11390-673005/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-682503/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/computer-aided-software-engineering/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-678380/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/tag/data-storage-equipment/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/data-structures/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-1197464/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-880715/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/publication/11390-687521/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-877094/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/authors/g.-sciavicco/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/tag/hierarchical-systems/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/interval-temporal-logics-time-granularity-decidability/ 2024-09-14T18:58:09+02:00 http://bioinf.dimi.uniud.it/authors/j-reid/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/l.-tanca/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/m.-burato/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/m.-slanina/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/tag/modal-logics-first-order-logics-automatic-translations-of-modal-logics-set-theory/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-670777/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-677705/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-728837/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/tag/semantics/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-738686/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-709441/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-667576/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-681795/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-670199/ 2024-09-14T18:57:22+02:00 http://bioinf.dimi.uniud.it/publication/11390-668796/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/websites/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-684791/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-739851/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-687639/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/a.-villanueva/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/tag/abstract-syntax-computer-aided-proof-development-first-order-encoding-formal-reasoning/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-738098/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-739046/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-algorithms/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/tag/bisimulation-hidden-markov-model/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-constructive-negation-programming-with-sets/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-multisets-computable-set-theory/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-674951/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-673269/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-745476/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/higher-order-abstract-syntax-induction-logical-frameworks-abstract-syntax-axiomatic-approach-induction-principles-recursion-operators/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/authors/m-falaschi/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/authors/m.-bicego/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-685961/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-687253/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-667088/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-720464/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/tag/multisets-computable-set-theory/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-717438/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-676896/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-677290/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/semistructured-databases-graphical-languages-bisimulation/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-684786/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-737550/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/authors/v.-murino/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/%CE%BC-calculus-formal-methods-modal-and-temporal-logics-type-theory/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-687248/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/algorithms-languages-computable-set-theory-constraints-declarative-programming/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-738669/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-constructive-negation/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/authors/m.-falaschi/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/tag/metric-and-layered-temporal-logic-time-granularity/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-685926/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-877319/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-738672/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-722553/ 2024-09-14T18:57:50+02:00 http://bioinf.dimi.uniud.it/publication/11390-743477/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/publication/11390-739860/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/authors/alberto-giulio-marcone/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/tag/algorithms/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/automata-theory-programmable-logic-controllers-theorem-proving-calculus-of-inductive-constructions-computer-aided-proofs-higher-order-abstract-syntax-interactive-development-natural-deduction-proofs-problematic-issues-proof-system/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/computational-linguistics/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/authors/d.-aliffi/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/publication/11390-681763/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-708482/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-678312/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/authors/franco-parlamento/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-675357/ 2024-09-14T18:57:34+02:00 http://bioinf.dimi.uniud.it/tag/membership-functions/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-687319/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-710699/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-674475/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-668306/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-894144/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-717862/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/authors/arnon-avron/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/axiomatic-set-theory-unification/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/computable-set-theory-constraint-logic-programming/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/authors/cristian-paravano/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/publication/11390-677200/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/tag/hubert-and-natural-deduction-proof-systems-for-modal-logics-logical-frameworks-proof-assistants-typed-a-calculus/ 2024-09-14T18:58:00+02:00 http://bioinf.dimi.uniud.it/authors/j.-van-benthem/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-725247/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-855575/ 2024-09-14T18:57:21+02:00 http://bioinf.dimi.uniud.it/authors/sanchez-puri-arenas/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/unification-computable-set-theory/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-851366/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-674489/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/tag/cic/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/computer-aided-formal-reasoning-logical-frameworks/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/coq-formal-methods/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095054/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/kpsb-rao/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/publication/11390-722498/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/tag/modal-logics/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-853980/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/operational-and-natural-semantics-dynamic-logics/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/program-veri%EF%AC%81cation-axiomatic/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-681963/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/theorem-proving-logic-programming/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-851233/ 2024-09-14T18:57:49+02:00 http://bioinf.dimi.uniud.it/tag/%C2%B5-calculus-consequence-relations/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-682297/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-722859/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/consequence-relations-design-decisions-interactive-proof-development-logical-frameworks-natural-deduction-program-logic-proof-assistant-sound-and-complete/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-667567/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-735868/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/authors/dikran-dikranjan/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/authors/dovier-agostino/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-673195/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-670151/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-678131/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-745859/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-710038/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/algebra/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/j.-t.-schwartz/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/logic/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/message-passing/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-851985/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-1095052/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/authors/p-arenas-sanchez/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/plugs/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/set-theoretic-translation-methods-modal-logics-set-theory-deduction-systems/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/shape/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/tag/sockets/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-672425/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/tag/unification-theory-combinatorics/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-848068/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/authors/p.-bruscoli/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-1128033/ 2024-09-14T18:57:59+02:00 http://bioinf.dimi.uniud.it/publication/11390-710673/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-680506/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-685914/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-computable-set-theory-programming-with-sets/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/constraint-logic-programming-programming-with-sets-computable-set-theory/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/publication/11390-674020/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/programming-with-sets-logic-programming/ 2024-09-14T18:57:33+02:00 http://bioinf.dimi.uniud.it/tag/rstricted-formuale-set-theory-undecidability/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-678962/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-687879/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/programming-with-sets-logic-programming-computable-set-theory/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-720043/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-722237/ 2024-09-14T18:57:48+02:00 http://bioinf.dimi.uniud.it/publication/11390-681330/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/tag/logic-programming-computable-set-theory-programming-with-sets/ 2024-09-14T18:57:32+02:00 http://bioinf.dimi.uniud.it/publication/11390-685243/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/assioma-infinito-insiemi/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/deduzione-automatica-teorie-dellappartenenza/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-680401/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-685262/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-671214/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/truth-tables-combinatorial-kernel-set-theory/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-682603/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-681355/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/f-parlamento/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-667920/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/set-theory-decidability-restricted-formulae/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-718860/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/authors/v-cutello/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/publication/11390-681765/ 2024-09-14T18:57:47+02:00 http://bioinf.dimi.uniud.it/tag/.-modal-logic-modal-deduction-translation-methods-set-theory-second-order-logic./ http://bioinf.dimi.uniud.it/tag/cancer-progression./ http://bioinf.dimi.uniud.it/categories/ http://bioinf.dimi.uniud.it/tag/conformational-entropy-entropy-kth-nearest-neighbor-translation/rotation-entropy/ http://bioinf.dimi.uniud.it/events/ http://bioinf.dimi.uniud.it/tag/polymodal-logic-translation-methods-set-theory-theorem-proving./ http://bioinf.dimi.uniud.it/authors/pontelli-e./ http://bioinf.dimi.uniud.it/authors/schwartz-jacob-t./