Conferences in DBLP
Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto A LTS Semantics of Ambients via Graph Synchronization with Mobility. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Alessi , Mariangiola Dezani-Ciancaglini , Furio Honsell Filter Models and Easy Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Silvia Ghilezan , Viktor Kuncak Confluence of Untyped Lambda Calculus via Simple Types. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Coppo , Daniel Hirschkoff Incremental Inference of Partial Types. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Paolini Call-by-Value Separability and Computability. [Citation Graph (0, 0)][DBLP ] Conf ] Juraj Hromkovic , Kathleen Steinhöfel , Peter Widmayer Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Jansen , Monaldo Mastrolilli , Roberto Solis-Oba Job Shop Scheduling Problems with Controllable Processing Times. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Mereghetti , Beatrice Palano Upper Bounds on the Size of One-Way Quantum Finite Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Besozzi , Claudio Zandron , Giancarlo Mauri , Nicoletta Sabadini P Systems with Gemmation of Mobile Membranes. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Prencipe Instantaneous Actions vs. Full Asynchronicity : Controlling and Coordinating a Set of Autonomous Mobile Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandra Cherubini , Stefano Crespi-Reghizzi , Pierluigi San Pietro Some Structural Properties of Associative Language Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Dora Giammarresi , Rosa Montalbano , Derick Wood Block-Deterministic Regular Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Marcella Anselmo Constructing Finite Maximal Codes from Schützenberger Conjecture. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Ancona , Christopher Anderson , Ferruccio Damiani , Sophia Drossopoulou , Paola Giannini , Elena Zucca An Effective Translation of Fickle into Java. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Bugliesi , Giuseppe Castagna , Silvia Crafa Subtyping and Matching for Mobile Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Diletta Cacciagrano , Flavio Corradini On Synchronous and Asynchronous Communication Paradigms. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Jacobsen , Kim S. Larsen Complexity of Layered Binary Search Trees with Relaxed Balance. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Fiala , Jan Kratochvíl , Andrzej Proskurowski Distance Constrained Labeling of Precolored Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Jacobsen , Kim S. Larsen Exponentially Decreasing Number of Operations in Balanced Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Ausiello , Paolo Giulio Franciosa , Daniele Frigioni Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alexis C. Kaporis , Lefteris M. Kirousis , Yannis C. Stamatiou , Malvina Vamvakari , Michele Zito Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold. [Citation Graph (0, 0)][DBLP ] Conf ] André Große , Jörg Rothe , Gerd Wechsung Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo D'Arco On the Distribution of a Key Distribution Center. [Citation Graph (0, 0)][DBLP ] Conf ] Stelvio Cimato , Annalisa De Bonis Online Advertising: Secure E-coupons. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Olivetti , Camilla Schwind A Calculus and Complexity Bound for Minimal Conditional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Matteo Baldoni , Laura Giordano , Alberto Martelli , Viviana Patti Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Emanuele Viola E-unifiability via Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] 