Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ugo Dal Lago, Francesco Gavazzo |
Differential Logical Relations Part II: Increments and Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 101-114, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Petra Wolf 0002 |
From Decidability to Undecidability by Considering Regular Sets of Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 33-46, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Arena, Miriam Di Ianni |
Complexity of Scorpion Solitaire and applications to Klondike. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 172-183, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Diodato Ferraioli, Adrian Meier, Paolo Penna, Carmine Ventre |
Novel Paradigm for the design of Obviously Strategyproof Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 184-189, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Alberto Momigliano |
Why Proof-Theory Matters in Specification-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 95-100, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Marco Girardi, Roberto Zunino, Marco Benini |
A General Syntax for Nonrecursive Higher Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 223-229, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Neeldhara Misra, Aditi Sethia |
Fair Division is Hard even for Amicable Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 202-207, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
On A Class of Constrained Synchronization Problems in NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 145-157, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Pratibha Choudhary, Venkatesh Raman 0001 |
Structural Parameterizations of Tracking Paths Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 15-27, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Giorgio Ausiello, Francesco Cristiano, Paolo Fantozzi, Luigi Laura |
Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 190-201, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Jasine Babu, Veena Prabhakaran, Arko Sharma |
A Substructure based Lower Bound for Eternal Vertex Cover Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 1-14, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
Time Series Checking with Fuzzy Interval Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 250-262, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone |
Breaking Symmetries on Tessellation Graphs via Asynchronous Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 122-136, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Antonio Macaluso, Stefano Lodi, Claudio Sartori 0001 |
Quantum Algorithm for Ensemble Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 149-154, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
Equational Logic and Set-Theoretic Models for Multi-Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020., pp. 236-249, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis |
Top-k Overlapping Densest Subgraphs: Approximation and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 110-121, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Eugenio Moggi, Amin Farjudian, Walid Taha |
System Analysis and Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 1-7, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Chiari, Dino Mandrioli, Matteo Pradella |
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 222-228, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Mohammad Abouei Mehrizi, Federico Corò, Emilio Cruciani, Gianlorenzo D'Angelo, Stefano Ponziani |
Models and Algorithms for Election Control through Influence Maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 97-103, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Cosimo Vinci |
Coping with Selfishness in Congestion Games (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
Model Checking Timeline-Based Systems over Dense Temporal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 235-247, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Alessandra Cherubini, Nicoletta Sabadini, Simone Tini (eds.) |
Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Samuele Buro, Isabella Mastroeni |
On the Semantic Equivalence of Language Syntax Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 34-51, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Federica Adobbati, Luca Bernardinello, Lucia Pomello |
Asynchronous Games on Petri Nets and Partial Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 139-144, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Simone Spolaor |
Bridging Qualitative and Quantitative Modeling with FuzzX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 14-19, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Amoretti, Gianluigi Ferrari 0001 |
Resilience Analysis of Time-varying Networks with Addition and Deletion of Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 210-221, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Sabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino |
String Attractors and Combinatorics on Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 57-71, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marc Demange, David Ellison, Raffaella Gentilini |
Online Firefighting on Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 91-96, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Chiari |
Temporal Logic for Operator Precedence Words (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 184-189, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Tiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri |
Comparing Related Phylogenetic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 8-13, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen |
On the Axiomatizability of Priority III: The Return of Sequential Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 145-157, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona |
Corecursive Featherweight Java Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 158-170, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giovanni Pighizzini |
Limited Automata: Power and Complexity (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Massimiliano Goldwurm, Jianyi Lin, Marco Vignati |
Saddle Point Method in the analysis of pattern statistics for regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 78-90, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco |
On the Complexity of Opinion Consensus under Majority Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 104-109, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
Modeling Imperative Constructs in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 136-138, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Filippo Bonchi |
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano |
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 229-234, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Deque Languages, Automata and Planar Graphs (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giorgio Marabelli, Alberto Momigliano |
Formalizing Program Equivalences in Dependent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 204-209, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Geatti, Federico Igne, Marino Miculan |
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 171-183, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Sara Giuliani, Zsuzsanna Lipták, Romeo Rizzi |
When a Dollar Makes a BWT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 20-33, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Iterated Uniform Finite-State Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 52-57, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Emanuele Natale |
From Distributed Computing to Natural Algorithms and Beyond (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Luca Franceschini, Angelo Ferrando 0001, Viviana Mascardi |
A Deterministic Event Calculus for Effective Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 248-260, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Pietro Maugeri |
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 261-273, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Pietro Maugeri, Stefano Scafiti |
A Potential-Based Variant of the Bellman-Ford Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 122-135, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Giovanni Pighizzini, Luca Prigioniero |
Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 72-77, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Gavazzo |
Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Tracing and Preventing Sharing and Mutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019., pp. 190-203, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Félix Carvalho Rodrigues, Guido Schäfer, Eduardo C. Xavier |
On the Effectiveness of Connection Tolls in Fair Cost Facility Location Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 36-47, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alessio Mansutti, Marino Miculan |
Deciding Hedged Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 218-229, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pietro Sala |
Metric Right Propositional Neighborhood Logic with an Equivalence Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 140-151, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Vittorio Bilò, Cosimo Vinci |
The Price of Anarchy of Affine Congestion Games with Similar Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 48-59, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone, Mattia D'Emidio, Daniele Frigioni |
On Mining Distances in Large-Scale Dynamic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 77-81, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Antonio Caruso 0001 |
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 179-190, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Paolo Massazza |
On the Generating Functions of Languages Accepted by Deterministic One-reversal Counter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 191-202, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 162-173, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Riccardo Focardi, Flaminia L. Luccio |
Neural Cryptanalysis of Classical Ciphers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 104-115, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ugo Dal Lago, Gabriele Vanoni |
On Randomised Strategies in the λ-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 92-103, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Tommaso Padoan |
Relating some Logics for True Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 242-253, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
A Taxonomy of Program Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 213-217, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Nicola Prezza |
On String Attractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 12-16, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Emilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca |
On the Emergent Behavior of the 2-Choices Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 60-64, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001 (eds.) |
Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Dagnino |
Flexible Coinduction for Infinite Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 17-23, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Silvia Crafa, Daniele Varacca |
On the Reactive Nature of Financial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 230-241, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ivano Salvo, Daniele Gorla, Pietro Cenciarelli |
Graph Theoretic Detection of Inefficiencies in Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 87-91, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno |
Threshold-Bounded Dominating Set with Incentives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 65-76, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger |
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 116-127, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Davide Sangiorgi |
Bisimilarity Via Unique-Solution Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 7-11, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Shima Moghtasedi |
Time-Based Similar Trajectories on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 82-86, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Armando B. Matos, Luca Paolini, Luca Roversi |
The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 128-139, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Gianpiero Monaco, Luca Moscardelli, Yllka Velaj |
Hedonic Games with Social Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 24-35, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Loredana Sorrentino, Sasha Rubin, Aniello Murano |
Graded CTL* over Finite Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 152-161, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ram Shringar Raw, Loveleen, Arvind Kumar, Arushi Kadam, Nanhay Singh |
Analysis of Message Propagation for Intelligent Disaster Management through Vehicular Cloud Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 46:1-46:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nilotpal Arjun, Ayushi Marwah, Shyam Akashe |
Realization of Schmitt Trigger in Low Power SRAM Cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 92:1-92:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Narander Kumar, Priyanka Chaudhary |
Implementation of Modified RSA Cryptosystem for Data Encryption and Decryption based on n Prime number and Bit Stuffing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 120:1-120:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Prasad Kulkarni, Balaji G. Hogade, Vidula Kulkarni |
Simulation of Digital Signal Processor-FFT for Communication System Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 109:1-109:4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rachita Gupta |
Food Security and Safety using advanced Information and Communication Technologies (ICTs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 58:1-58:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | N. Rama Rao 0002, K. Chandra Sekharaiah |
A Methodological Review Based Version Control System with Evolutionary Research for Software Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 14:1-14:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vangipuram Radhakrishna, Puligadda Veereswara Kumar, Vinjamuri Janaki |
A Single Database Scan Approach for Mining Temporally Similar Association Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 77:1-77:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | L. Greeshma, G. Pradeepini |
Unique Constrained Class labeled Association Rule Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 119:1-119:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Majumder, Subhrajyoti Deb, Sudipta Roy 0001 |
Classification and Performance Analysis of Intra-domain Mobility Management Schemes for Wireless Mesh Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 113:1-113:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Raj, Shyam Akashe |
Power and Area Efficient Capacitor Multiplier Technique for Multi-Fin Two Stage Opamp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 93:1-93:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sushruta Mishra, Pamela Chaudhury, Brojo Kishore Mishra, Hrudaya Kumar Tripathy |
An implementation of Feature ranking using Machine learning techniques for Diabetes disease prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 42:1-42:3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pratik K. Agrawal, Abrar S. Alvi, G. R. Bamnote |
Enhancement of Hybrid Tagger by using Rule Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 21:1-21:4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Nazar Hassan, Omprakash Kaiwartya, Abdul Hanan Abdullah, Dalya Khalid Sheet, Shiv Prakash |
Geometry based Inter Vehicle Distance Estimation for Instantaneous GPS Failure in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 72:1-72:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karuna C. Gull, Akshata B. Angadi |
Text Mining Predictive Modeling Algorithm for classifying Attitudes of customers with Accuracy Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 62:1-62:7, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Hinge, Jigyasu Dubey |
Opinion based trusted AODV routing protocol for MANET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 126:1-126:5, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Kumar Patra, Sarojananda Mishra |
Self Similarity Effect of RTT and RTO in Network Congestion Control Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 146:1-146:4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akashdeep Bhardwaj, G. V. B. Subrahmanyam, Vinay Avasthi, Hanumat G. Sastry |
Three Tier Network Architecture to Mitigate DDoS Attacks on Hybrid Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 109:1-109:7, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hiral Patel, Satyen Parikh |
Comparative analysis of different statistical and neural network based forecasting tools for prediction of stock data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 126:1-126:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Singh Kunwar, Priyanka Sharma |
Malware Analysis: Tools and Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 144:1-144:4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Basavaraj Patil, S. R. Biradar |
Cluster Based Authentication Scheme for Wireless Multimedia Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 99:1-99:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ajay Jangra, Niharika Singh, Upasana Lakhina |
VIP: Verification and Identification Protective data handling layer implementation to achieve MVCC in cloud computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 124:1-124:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Devansh Sinha, Shyam Akashe |
Design of low power 3-bit TIQ based ADC by using FinFET Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 95:1-95:4, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Soham Banerjee, Sanjeev Thakur |
A Critical Study of Factors Promoting Cyberloafing in Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 139:1-139:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Kumar Singh, Ram Shringar Raw, Sanjeev Kumar, Arvind Kumar Singh, Sanjay Kumar Soni 0001 |
Analysis of Angle Based Opportunistic Routing Protocol for Vehicular Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: ICTCS, pp. 121:1-121:6, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|