Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ugo Dal Lago, Francesco Gavazzo |
Differential Logical Relations Part II: Increments and Derivatives. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Petra Wolf 0002 |
From Decidability to Undecidability by Considering Regular Sets of Instances. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Francesco Arena, Miriam Di Ianni |
Complexity of Scorpion Solitaire and applications to Klondike. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Diodato Ferraioli, Adrian Meier, Paolo Penna, Carmine Ventre |
Novel Paradigm for the design of Obviously Strategyproof Mechanisms. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Alberto Momigliano |
Why Proof-Theory Matters in Specification-Based Testing. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Marco Girardi, Roberto Zunino, Marco Benini |
A General Syntax for Nonrecursive Higher Inductive Types. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Neeldhara Misra, Aditi Sethia |
Fair Division is Hard even for Amicable Agents. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Stefan Hoffmann 0001 |
On A Class of Constrained Synchronization Problems in NP. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Pratibha Choudhary, Venkatesh Raman 0001 |
Structural Parameterizations of Tracking Paths Problem. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Giorgio Ausiello, Francesco Cristiano, Paolo Fantozzi, Luigi Laura |
Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Jasine Babu, Veena Prabhakaran, Arko Sharma |
A Substructure based Lower Bound for Eternal Vertex Cover Number. |
ICTCS |
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. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone |
Breaking Symmetries on Tessellation Graphs via Asynchronous Robots. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Antonio Macaluso, Stefano Lodi, Claudio Sartori 0001 |
Quantum Algorithm for Ensemble Learning. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
Equational Logic and Set-Theoretic Models for Multi-Languages. |
ICTCS |
2020 |
DBLP BibTeX RDF |
|
1 | Riccardo Dondi, Mohammad Mehdi Hosseinzadeh, Giancarlo Mauri, Italo Zoppis |
Top-k Overlapping Densest Subgraphs: Approximation and Complexity. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Eugenio Moggi, Amin Farjudian, Walid Taha |
System Analysis and Robustness. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Chiari, Dino Mandrioli, Matteo Pradella |
Word- and Tree-based Temporal Logics for Operator Precedence Languages. |
ICTCS |
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. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Cosimo Vinci |
Coping with Selfishness in Congestion Games (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
Model Checking Timeline-Based Systems over Dense Temporal Domains. |
ICTCS |
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. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Samuele Buro, Isabella Mastroeni |
On the Semantic Equivalence of Language Syntax Formalisms. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Federica Adobbati, Luca Bernardinello, Lucia Pomello |
Asynchronous Games on Petri Nets and Partial Order. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Simone Spolaor |
Bridging Qualitative and Quantitative Modeling with FuzzX. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Amoretti, Gianluigi Ferrari 0001 |
Resilience Analysis of Time-varying Networks with Addition and Deletion of Nodes. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Sabrina Mantaci, Antonio Restivo, Giuseppe Romana, Giovanna Rosone, Marinella Sciortino |
String Attractors and Combinatorics on Words. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Marc Demange, David Ellison, Raffaella Gentilini |
Online Firefighting on Grids. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Michele Chiari |
Temporal Logic for Operator Precedence Words (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Ugo de'Liguoro, Riccardo Treglia |
Intersection Types for the Computational lambda-Calculus. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Tiziana Calamoneri, Angelo Di Mambro, Blerina Sinaimeri |
Comparing Related Phylogenetic Trees. |
ICTCS |
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. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona |
Corecursive Featherweight Java Revisited. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Giovanni Pighizzini |
Limited Automata: Power and Complexity (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Massimiliano Goldwurm, Jianyi Lin, Marco Vignati |
Saddle Point Method in the analysis of pattern statistics for regular languages. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Vincenzo Auletta, Diodato Ferraioli, Gianluigi Greco |
On the Complexity of Opinion Consensus under Majority Dynamics. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi |
Modeling Imperative Constructs in the Pi-Calculus. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Filippo Bonchi |
Interacting Hopf Algebras: the Theory of Linear Systems (text not included). |
ICTCS |
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. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Deque Languages, Automata and Planar Graphs (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Giorgio Marabelli, Alberto Momigliano |
Formalizing Program Equivalences in Dependent Type Theory. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Geatti, Federico Igne, Marino Miculan |
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Sara Giuliani, Zsuzsanna Lipták, Romeo Rizzi |
When a Dollar Makes a BWT. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
Iterated Uniform Finite-State Transducers. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Emanuele Natale |
From Distributed Computing to Natural Algorithms and Beyond (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Davide Ancona, Luca Franceschini, Angelo Ferrando 0001, Viviana Mascardi |
A Deterministic Event Calculus for Effective Runtime Verification. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Pietro Maugeri |
Polynomial-Time Satisfiability Tests for 'Small' Membership Theories. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Domenico Cantone, Pietro Maugeri, Stefano Scafiti |
A Potential-Based Variant of the Bellman-Ford Algorithm. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Giovanni Pighizzini, Luca Prigioniero |
Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract. |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Francesco Gavazzo |
Coinductive Techniques for Higher-order Languages with Algebraic Effect (text not included). |
ICTCS |
2019 |
DBLP BibTeX RDF |
|
1 | Paola Giannini, Marco Servetto, Elena Zucca |
Tracing and Preventing Sharing and Mutation. |
ICTCS |
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. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Alessio Mansutti, Marino Miculan |
Deciding Hedged Bisimilarity. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Pietro Sala |
Metric Right Propositional Neighborhood Logic with an Equivalence Relation. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Vittorio Bilò, Cosimo Vinci |
The Price of Anarchy of Affine Congestion Games with Similar Strategies. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Serafino Cicerone, Mattia D'Emidio, Daniele Frigioni |
On Mining Distances in Large-Scale Dynamic Graphs. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Stefano Bistarelli, Antonio Caruso 0001 |
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Paolo Massazza |
On the Generating Functions of Languages Accepted by Deterministic One-reversal Counter Machines. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Riccardo Focardi, Flaminia L. Luccio |
Neural Cryptanalysis of Classical Ciphers. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Ugo Dal Lago, Gabriele Vanoni |
On Randomised Strategies in the λ-calculus. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Tommaso Padoan |
Relating some Logics for True Concurrency. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Maria Chiara Meo, Francesca Scozzari |
A Taxonomy of Program Analyses. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Nicola Prezza |
On String Attractors. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Emilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca |
On the Emergent Behavior of the 2-Choices Dynamics. |
ICTCS |
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. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Francesco Dagnino |
Flexible Coinduction for Infinite Behaviour. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Silvia Crafa, Daniele Varacca |
On the Reactive Nature of Financial Networks. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Ivano Salvo, Daniele Gorla, Pietro Cenciarelli |
Graph Theoretic Detection of Inefficiencies in Network Models. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno |
Threshold-Bounded Dominating Set with Incentives. |
ICTCS |
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. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Davide Sangiorgi |
Bisimilarity Via Unique-Solution Techniques. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Shima Moghtasedi |
Time-Based Similar Trajectories on Graphs. |
ICTCS |
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. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Gianpiero Monaco, Luca Moscardelli, Yllka Velaj |
Hedonic Games with Social Context. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
1 | Loredana Sorrentino, Sasha Rubin, Aniello Murano |
Graded CTL* over Finite Paths. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nilotpal Arjun, Ayushi Marwah, Shyam Akashe |
Realization of Schmitt Trigger in Low Power SRAM Cell. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Prasad Kulkarni, Balaji G. Hogade, Vidula Kulkarni |
Simulation of Digital Signal Processor-FFT for Communication System Applications. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rachita Gupta |
Food Security and Safety using advanced Information and Communication Technologies (ICTs). |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vangipuram Radhakrishna, Puligadda Veereswara Kumar, Vinjamuri Janaki |
A Single Database Scan Approach for Mining Temporally Similar Association Patterns. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | L. Greeshma, G. Pradeepini |
Unique Constrained Class labeled Association Rule Mining. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Raj, Shyam Akashe |
Power and Area Efficient Capacitor Multiplier Technique for Multi-Fin Two Stage Opamp. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pratik K. Agrawal, Abrar S. Alvi, G. R. Bamnote |
Enhancement of Hybrid Tagger by using Rule Based Approach. |
ICTCS |
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. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Hinge, Jigyasu Dubey |
Opinion based trusted AODV routing protocol for MANET. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Kumar Patra, Sarojananda Mishra |
Self Similarity Effect of RTT and RTO in Network Congestion Control Mechanism. |
ICTCS |
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. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Singh Kunwar, Priyanka Sharma |
Malware Analysis: Tools and Techniques. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Basavaraj Patil, S. R. Biradar |
Cluster Based Authentication Scheme for Wireless Multimedia Sensor Networks. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Devansh Sinha, Shyam Akashe |
Design of low power 3-bit TIQ based ADC by using FinFET Technology. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Soham Banerjee, Sanjeev Thakur |
A Critical Study of Factors Promoting Cyberloafing in Organizations. |
ICTCS |
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. |
ICTCS |
2016 |
DBLP DOI BibTeX RDF |
|