sign in · help · news · about ·

BibSonomy :: author :: Quer ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(100)

<< < 1 | 2 | 3 > >>

Full-Symbolic ATPG for Large Circuits.
Gianpiero Cabodi, Paolo Camurati, and Stefano Quer ITC, page 980-988. IEEE Computer Society, (1994)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Modeling and Generation of Space-Time Correlated Signals for Sensor Network Fields.
Davide Zordan, Giorgio Quer, Michele Zorzi, and Michele Rossi GLOBECOM, page 1-6. IEEE, (2011)
to dblp by dblp on Jan 24, 2012, 12:00 AM
URL | BibTeX
Cognitive Call Admission Control for VoIP over IEEE 802.11 Using Bayesian Networks.
Giorgio Quer, Nicola Baldo, and Michele Zorzi GLOBECOM, page 1-6. IEEE, (2011)
to dblp by dblp on Jan 24, 2012, 12:00 AM
URL | BibTeX
Dynamic Scheduling and Clustering in Symbolic Image Computation.
Gianpiero Cabodi, Paolo Camurati, and Stefano Quer DATE, page 150-156. IEEE Computer Society, (2002)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
Binary Decision Diagrams and the Multiple Variable Order Problem
Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, and Christian Stangier Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
to dblp by dblp on Dec 29, 2011, 12:00 AM
BibTeX
Benchmarking a model checker for algorithmic improvements and tuning for performance.
Gianpiero Cabodi, Sergio Nocco, and Stefano Quer Formal Methods in System Design 39(2):205-227 (2011)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
PABRE-Man: Management of a requirement patterns catalogue.
Cristina Palomares, Carme Quer, and Xavier Franch RE, page 341-342. IEEE, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Interpolation sequences revisited.
Gianpiero Cabodi, Sergio Nocco, and Stefano Quer DATE, page 316-322. IEEE, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX
Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models.
Carme Quer, and Antoni Olivé Inf. Syst. 19(3):211-227 (1994)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Best Paper Award 2004: Characterization of a Taxonomy for Business Applications and the Relationships Among Them.
Juan Pablo Carvallo, Xavier Franch, Carme Quer, and Marco Torchiano ICCBSS, volume 3412 of Lecture Notes in Computer Science, page 12. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
A Framework for Selecting Workflow Tools in the Context of Composite Information Systems.
Juan Pablo Carvallo, Xavier Franch, Carme Quer, and Nuria Rodríguez DEXA, volume 3180 of Lecture Notes in Computer Science, page 109-119. Springer, (2004)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Characterization of a Taxonomy for Business Applications and the Relationships Among Them
Juan Pablo Carvallo, Xavier Franch, Carme Quer, and Marco Torchiano ICCBSS, volume 2959 of Lecture Notes in Computer Science, page 221-231. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Towards a Quality Model for the Selection of ERP Systems.
Pere Botella, Xavier Burgués Illa, Juan Pablo Carvallo, Xavier Franch, Joan Antoni Pastor, and Carme Quer Component-Based Software Quality, volume 2693 of Lecture Notes in Computer Science, page 225-245. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Defining a Quality Model for Mail Servers.
Juan Pablo Carvallo, Xavier Franch, and Carme Quer ICCBSS, volume 2580 of Lecture Notes in Computer Science, page 51-61. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification.
Gianpiero Cabodi, Sergio Nocco, and Stefano Quer CAV, volume 2404 of Lecture Notes in Computer Science, page 471-484. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
Combined Selection of COTS Components.
Xavier Burgués Illa, Christian A. Estay-Niculcar, Xavier Franch, Joan Antoni Pastor, and Carme Quer ICCBSS, volume 2255 of Lecture Notes in Computer Science, page 54-64. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Transforming boolean relations by symbolic encoding.
Gianpiero Cabodi, Stefano Quer, and Paolo Camurati CHARME, volume 987 of Lecture Notes in Computer Science, page 161-170. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
A BMC-formulation for the scheduling problem in highly constrained hardware Systems.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, and Yosinori Watanabe Electr. Notes Theor. Comput. Sci. 89(4):623-638 (2003)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.
Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, and Robert K. Brayton Formal Methods in System Design 17(2):107-134 (2000)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Fields of definition of building blocks.
Jordi Quer Math. Comput. 78(265):537-554 (2009)
to dblp by dblp on Apr 9, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100