BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Finland
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × Spain
3 × USA
Collaborated with:
P.Bonizzoni A.Bertoni N.Sabadini C.d.Felice R.Zizza G.Cattaneo E.Formenti P.Miglioli M.Torelli C.Ferretti A.R.S.Mary P.Barone G.D.Vedova A.Leporati L.Manzoni A.E.Porreca C.Zandron M.Bellini D.Besozzi P.Cazzaniga M.S.Nobile
Talks about:
problem (4) languag (4) regular (3) system (3) splice (3) character (2) automata (2) generat (2) analysi (2) reflex (2)

Person: Giancarlo Mauri

DBLP DBLP: Mauri:Giancarlo

Facilitated 2 volumes:

DLT 2011Ed
DLT 2011Ed

Contributed to:

LATA 20152015
PDP 20142014
LATA 20092009
DLT 20062006
DLT 20032003
DLT 20022002
SAC 20012001
DLT 19951995
ICALP 19821982
STOC 19811981
ICALP 19791979
ICALP 19771977

Wrote 12 papers:

LATA-2015-MauriLMPZ #complexity #overview
Complexity Classes for Membrane Systems: A Survey (GM, AL, LM, AEP, CZ), pp. 56–69.
PDP-2014-BelliniBCMN #analysis #gpu #simulation
Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU (MB, DB, PC, GM, MSN), pp. 590–593.
LATA-2009-BonizzoniFMM
Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
DLT-2006-BonizzoniM #reflexive
A Decision Procedure for Reflexive Regular Splicing Languages (PB, GM), pp. 315–326.
DLT-2003-BonizzoniFMZ #finite #reflexive #regular expression
Regular Languages Generated by Reflexive Finite Splicing Systems (PB, CdF, GM, RZ), pp. 134–145.
DLT-2002-BonizzoniFMZ #linear #problem
Decision Problems for Linear and Circular Splicing Systems (PB, CdF, GM, RZ), pp. 78–92.
SAC-2001-BaroneBVM #algorithm #analysis #approximate #problem
An approximation algorithm for the shortest common supersequence problem: an experimental analysis (PB, PB, GDV, GM), pp. 56–60.
DLT-1995-CattaneoFM #automaton
Rule Space Transformations and One-Dimensional Cellular Automata (GC, EF, GM), pp. 409–419.
ICALP-1982-BertoniMS #equivalence #problem
Equivalence and Membership Problems for Regular Trace Languages (AB, GM, NS), pp. 61–71.
STOC-1981-BertoniMS #polynomial #random
A Characterization of the Class of Functions Computable in Polynomial Time on Random Access Machines (AB, GM, NS), pp. 168–176.
ICALP-1979-BertoniMM #invariant
A Characterization of Abstract Data as Model-Theoretic Invariants (AB, GM, PM), pp. 26–37.
ICALP-1977-BertoniMT #automaton #probability #problem #recursion
Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata (AB, GM, MT), pp. 87–94.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.