|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 15 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lavinia Egidi, Giovanni Faglia |
Double-exponential inseparability of Robinson subsystem Q+.  |
J. Symb. Log.  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lavinia Egidi, Giovanni Manzini |
Spaced Seeds Design Using Perfect Rulers. |
SPIRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Paolo Terenziani |
A modular approach to user-defined symbolic periodicities. |
Data Knowl. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Marinella Petrocchi |
Modelling a Secure Agent with Team Automata. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Paolo Terenziani |
A mathematical framework for the semantics of symbolic languages representing periodic time. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 68T30 Knowledge representation |
| 1 | Lavinia Egidi, Marco Furini |
From digital audiobook to secure digital multimedia-book. |
Computers in Entertainment |
2006 |
DBLP DOI BibTeX RDF |
multimedia over wireless, music distribution, multimedia communications, multimedia applications |
| 1 | Lavinia Egidi, Paolo Terenziani |
A flexible approach to user-defined symbolic granularities in temporal databases. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
user-defined granularities, temporal databases, symbolic languages |
| 1 | Lavinia Egidi, Paolo Terenziani |
A Lattice of Classes of User-Defined Symbolic Periodicities. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
user-defined periodicity, classification, symbolic languages |
| 1 | Lavinia Egidi, Paolo Terenziani |
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
user-defined periodicity, semantics, Presburger Arithmetic, symbolic languages |
| 1 | Lavinia Egidi, Giovanni Porcelli |
Anonymity and certification: e-mail, a case study. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
anonymity, certification, e-mail |
| 1 | Lavinia Egidi, Paolo Terenziani |
Orthogonal Operators for User-Defined Symbolic Periodicities. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
user-defined periodicities, orthogonal operators, symbolic languages |
| 1 | Lavinia Egidi, Giovanni Porcelli |
Minimal Information Disclosure in a Centralized Authorization System. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Maurizio Melato |
Authentication and Access Delegation with User-Released Certificates. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Anna Bernasconi, Lavinia Egidi |
Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi |
A quantifier elimination for the theory of p-adic numbers. |
Computational Complexity |
1998 |
DBLP DOI BibTeX RDF |
theory of p -adic numbers, Complexity, cylindrical algebraic decomposition |
| 1 | Lavinia Egidi |
The Complexity of the Theory of p-adic Numbers |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
elementary upper bound, p-adic numbers, double exponential alternating time, double exponential space, cell decomposition, complexity, lower bound, decision problem, semi-algebraic sets |
| 1 | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
Operational, denotational and logical descriptions: a case study. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |
The lazy call-by-value Lamda-Calculus. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")