Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
87 | Antonio Bucciarelli, Ivano Salvo |
Totality, Definability and Boolean Ciruits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 808-819, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Scott's Model, Logical Relations, Boolean Circuits, PCF |
78 | Ulrich Berger 0001 |
Density Theorems for the Domains-with-Totality Semantics of Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 3-30, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
totality, dependent types, universes, domains, continuous functionals |
72 | Christine Tasson |
Algebraic Totality, towards Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 325-340, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
72 | Kirsten Lackner Solberg |
Strictness and Totality Analysis with Conjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 501-515, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
45 | Lill Kristiansen, Dag Normann |
Total objects in inductively defined types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 36(6), pp. 405-436, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
42 | Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena |
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings, pp. 265-279, 2005, Springer, 3-540-29106-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Geir Waagbø |
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 38(1), pp. 19-60, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Sandeep Kumar Sharma, Vijay Shankar Sharma, Shakila Basheer, Amit Chaurasia, Chiranji Lal Chowdhary |
An Astute Automaton Model for Objects Extraction Using Outer Totality Cellular Automata (OTCA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 123876-123890, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Dragan Stevanovic |
Ordering Starlike Trees by the Totality of Their Spectral Moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 39(1), pp. 77-94, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Karen S. Osmundsen, Christian Meske, Devinder Thapa |
Familiarity with digital twin totality: Exploring the relation and perception of affordances through a Heideggerian perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 32(5), pp. 1064-1091, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Basil A. Karádais |
Nonflatness and totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 29(2), pp. 309-338, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Srecko Kovac |
The Totality of Predicates and the Possibility of the Most Real Being. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 5(7), pp. 1523-1552, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
27 | Lucila Maria Costi Santarosa, Débora Conforto, Fernanda Chagas Schneider |
One Computer per Student City - Total UCA An All Inclusive Totality under Discussion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 19(11), pp. 1597-1614, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Yuting Wang 0001, Gopalan Nadathur |
Towards Extracting Explicit Proofs from Totality Checking in Twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1738, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Yuting Wang 0001, Gopalan Nadathur |
Towards extracting explicit proofs from totality checking in twelf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013, pp. 55-66, 2013, ACM, 978-1-4503-2382-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Pierre Clairambault, Russ Harmer |
Totality in arena games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(5), pp. 673-689, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Pierre Clairambault |
Logique et Interaction : une Étude Sémantique de la Totalité. (Logic and Interaction : a Semantic Study of Totality). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
27 | Christine Tasson |
Algebraic totality, towards completeness ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0912.2349, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Justin Zobel, Alistair Moffat, Laurence Anthony F. Park |
Against recall: is it persistence, cardinality, density, coverage, or totality? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR Forum ![In: SIGIR Forum 43(1), pp. 3-8, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena |
Enforcing and defying associativity, commutativity, totality, and strong noninvertibility for worst-case one-way functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 401(1-3), pp. 27-35, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Shouhui Zhao, Dongbo Zhang |
The Totality of Chinese Characters - A Digital Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chin. Lang. Comput. ![In: J. Chin. Lang. Comput. 17(1), pp. 107-125, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
27 | Shweta Aneja, Youn-Kyung Lim |
Designing for totality of mobile and non-mobile interaction: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2007 Conference on Human Factors in Computing Systems, CHI 2007, San Jose, California, USA, April 28 - May 3, 2007, pp. 1685-1690, 2007, ACM, 978-1-59593-642-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information capture, non-mobile context, real estate industry, shared interaction, evaluation, mobility, user experience, user centered design, information management, user research, mobile context |
27 | Yixiang Chen, Guo-Qiang Zhang 0001 |
Maximality and totality of stable functions in the category of stable bifinite domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 51(6-7), pp. 1011-1020, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena |
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0503049, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
27 | Mohammad Fraiwan Al-Saleh |
On the totality of ranked set sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 147(2), pp. 527-535, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ulrich Berger 0001 |
Computability and Totality in Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 12(3), pp. 281-294, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Mario Coppo, Ferruccio Damiani, Paola Giannini |
Strictness, totality, and non-standard-type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 272(1-2), pp. 69-112, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Ronald E. Day |
Totality and representation: A history of knowledge management through European documentation, critical modernity, and post-Fordism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 52(9), pp. 725-735, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Gordon D. Plotkin |
Full abstraction, totality and PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 9(1), pp. 1-20, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
27 | Andrej Bauer |
Equilogical spaces and domains with totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Domains ![In: Workshop on Domains IV 1998, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998, pp. 2, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson |
Strictness and Totality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 31(1), pp. 113-145, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Christos H. Papadimitriou, Mihalis Yannakakis |
Tie-Breaking Semantics and Structural Totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 54(1), pp. 48-60, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Mario Coppo, Ferruccio Damiani, Paola Giannini |
On Strictness and Totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings, pp. 138-164, 1997, Springer, 3-540-63388-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Erkki Mäkinen |
(0,1)-Totality is Undecidable for Arbitrary Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 27(4), pp. 413-415, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Gerhard Jäger, Thomas Strahm |
Totality in Applicative Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 74(2), pp. 105-120, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Kenneth A. Ross |
Structural Totality and Constraint Stratification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 22-25, 1995, San Jose, California, USA, pp. 184-195, 1995, ACM Press, 0-89791-730-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
27 | Lill Kristiansen, Dag Normann |
Interpreting higher computations as types with totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 33(4), pp. 243-259, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Ralph Loader |
Linear Logic, Totality and Full Completeness ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 292-298, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Kirsten Lackner Solberg |
Strictness and Totality Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, First International Static Analysis Symposium, SAS'94, Namur, Belgium, September 28-30, 1994, Proceedings, pp. 408-422, 1994, Springer, 3-540-58485-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Christos H. Papadimitriou, Mihalis Yannakakis |
Tie-Breaking Semantics and Structural Totality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 16-22, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Datalog |
27 | John A. Mills |
Semantic Integrity of the Totality of Corporate Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI ![In: Proceedings of the First International Conference on Systems Integration, Morristown, NJ, USA, April 1990, pp. 482-491, 1990, IEEE Computer Society, 0-8186-9027-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
15 | Ivan Marchesini, Corrado Cencetti, Pierluigi De Rosa |
A preliminary method for the evaluation of the landslides volume at a regional scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 13(3), pp. 277-289, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
GRASS GIS, Landslide volume, 3D slope stability analysis |
15 | Luciano Floridi |
Against digital ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 168(1), pp. 151-178, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Analogue, Digital ontology, Digital physics, Informational structural realism, Kant’s antinomies, Structural realism, Continuous, Digital, Discrete |
15 | Mats Lind, Jimmy Johansson 0001, Matthew D. Cooper |
Many-to-Many Relational Parallel Coordinates Displays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 13th International Conference on Information Visualisation, IV 2009, 15-17 July 2009, Barcelona, Spain, pp. 25-31, 2009, IEEE Computer Society, 978-0-7695-3733-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dhrupad Mathur |
Business Process Transformation Grid: An Empirical Model for Strategic Decision Making Towards IT Enabled Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIS (Workshops) ![In: Business Information Systems Workshops, BIS 2009 International Workshops, Poznan, Poland, April 27-29, 2009. Revised Papers, pp. 62-68, 2009, Springer, 978-3-642-03423-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IT-enablement, Grid, Transformation, Process, e-Business |
15 | Antonio Villegas, Antoni Olivé |
On Computing the Importance of Entity Types in Large Conceptual Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 22-32, 2009, Springer, 978-3-642-04946-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez |
Embedding a logical theory of constructions in Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009, pp. 59-66, 2009, ACM, 978-1-60558-330-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
general recursion, logical theory of constructions, type theory |
15 | Vanderson Botelho, Fabrício Enembreck, Bráulio Coelho Ávila, Hilton de Azevedo, Edson Emílio Scalabrin |
Encrypted certified trust in multi-agent system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 13th International Conference on Computers Supported Cooperative Work in Design, CSCWD 2009, April 22-24, 2009, Santiago, Chile, pp. 227-232, 2009, IEEE, 978-1-4244-3534-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Diederik Aerts, Bart D'Hooghe |
Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 128-142, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | James D. Edge, Adrian Hilton 0001, Philip J. B. Jackson |
Model-based synthesis of visual speech movements from 3D video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2009, New Orleans, Louisiana, USA, August 3-7, 2009, Poster Proceedings, 2009, ACM, 978-1-4503-7928-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jorge Santos 0002, Rodrigo M. Santos, Javier Orozco |
On the Feasibility of Early Detection of Environmental Events through Wireless Sensor Networks and the Use of 802.15.4 and GPRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSN ![In: GeoSensor Networks, Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings, pp. 122-130, 2009, Springer, 978-3-642-02902-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
environmental events, wireless sensor network, Early warning |
15 | Tosca Lahiri, Mark Woodman |
A Business Service Selection Model for Automated Web Service Discovery Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems, 11th International Conference, ICEIS 2009, Milan, Italy, May 6-10, 2009. Proceedings, pp. 790-803, 2009, Springer, 978-3-642-01346-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Business Service Model, Web Services, Interoperability, Requirements, Discovery |
15 | Marc Denecker, Eugenia Ternovska |
A logic of nonmonotone inductive definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(2), pp. 14:1-14:52, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
logic programming, classical logic, Inductive definitions |
15 | Bartel A. Van de Walle, Murray Turoff |
Decision support for emergency situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 6(3), pp. 295-316, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Emergency situations, Information systems, Decision support, Crisis management, High reliability |
15 | Vimal K. Reddy, Eric Rotenberg |
Coverage of a microarchitecture-level fault check regimen in a superscalar processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska, USA, Proceedings, pp. 1-10, 2008, IEEE Computer Society, 978-1-4244-2397-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Zhikun Zhang, Jianguo Xiao, Hanyi Li, Youping Geng |
An Extended Permission-Based Delegation Authorization Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 696-699, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Paola Perchinunno, Francesco Rotondo, Carmelo Maria Torre |
A Multivariate Fuzzy Analysis for the Regeneration of Urban Poverty Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I, pp. 137-152, 2008, Springer, 978-3-540-69838-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
urban poverty, urban regeneration, fuzzy, semantic distance, multicriteria analysis |
15 | Antonina Kolokolova |
Many Facets of Complexity in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 316-325, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Baltasar Trancón y Widemann, David Lorge Parnas |
Tabular Expressions and Total Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 219-236, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hyunkyoung Cho, Joonsung Yoon |
How to See the Beauty That Is Not There : The Aesthetic Element of Programming in the Computer- Based Media Art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Online Communities and Social Computing, Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, pp. 292-300, 2007, Springer, 978-3-540-73256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
beauty, aesthetic object, open code, subject, code reading |
15 | Tsau Young Lin |
Granular Computing and Modeling the Human Thoughts in Web Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 263-270, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
rough set, topology, granular computing, simplicial complex, neighborhood system |
15 | Christopher J. Prom, Christopher A. Rishel, Scott W. Schwartz, Kyle J. Fox |
A unified platform for archival description and access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2007, Vancouver, BC, Canada, June 18-23, 2007, Proceedings, pp. 157-166, 2007, ACM, 978-1-59593-644-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Archon, archival information systems, encoded archival description, databases, web interfaces |
15 | Eva-Henrietta Dulf, Clement Festila |
Model Predictive Control of the (13c) Isotope Separation Column. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACI ![In: 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 195-198, 2007, IEEE, 1-4244-1234-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Victor V. Toporkov |
Multicriteria Scheduling Strategies in Scalable Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings, pp. 313-317, 2007, Springer, 978-3-540-73939-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, scalability, resource allocation, strategy, quality criteria |
15 | Xicai Yue, Emmanuel M. Drakakis, Hua Ye, Mayasari Lim, Athanasios Mantalaris, Nicki Panoskaltsis, Anna Radomska, Chris Toumazou, T. Cass |
An On-line, Multi-Parametric, Multi-Channel Physicochemical Monitoring Platform for Stem Cell Culture Bioprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 1215-1218, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Raul Hakli, Sara Negri |
Proof Theory for Distributed Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, pp. 100-116, 2007, Springer, 978-3-540-88832-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Foued Melakessou, Ulrich Sorger, Zdzislaw Suchanecki, Charles King |
Route diversity: A future for transmission protocols? ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: Fourth International Conference on Broadband Communications, Networks and Systems, (BROADNETS 2007), 10-14 September 2007, Raleigh, North-Carolina, USA, pp. 311-313, 2007, IEEE, 978-1-4244-1432-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ricardo José Colom-Palero, Rafael Gadea Gironés, Angel Sebastià-Cortés |
A Novel FPGA Architecture of a 2-D Wavelet Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(3), pp. 273-284, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
image processing, VLSI, signal processing, programmable logic device |
15 | Yun Chi, Belle L. Tseng, Jun'ichi Tatemura |
Eigen-trend: trend analysis in the blogosphere based on singular value decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, pp. 68-77, 2006, ACM, 1-59593-433-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher-order singular value decomposition, singular value ecomposition, blog, trend analysis, blogosphere |
15 | Ernest Mnkandla, Barry Dwolatzky |
Defining Agile Software Quality Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 36, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
agile quality assurance, software development, software quality, Agile methodologies |
15 | Tsau Young Lin, Mong-Hang Vo |
Granular Computing: Modeling Human Thoughts in the Web by Polyhedron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WImBI ![In: Web Intelligence Meets Brain Informatics, First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers, pp. 143-163, 2006, Springer, 978-3-540-77027-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Naftaly H. Minsky |
Law-governed multi-agent systems: from anarchy to order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert |
Pipelining Broadcasts on Heterogeneous Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 16(4), pp. 300-313, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Scheduling, grids, heuristics, broadcast, NP-completeness, collective communications, heterogeneous clusters |
15 | Sanjay Rawat 0001, Ved Prakash Gulati, Arun K. Pujari |
A Fast Host-Based Intrusion Detection System Using Rough Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets IV, pp. 144-161, 2005, Springer, 3-540-29830-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Data mining, Intrusion Detection, Rough Set, Decision Table, Anomaly, Misuse |
15 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 233-246, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bi-directional programming, XML, lenses, harmony, view update problem |
15 | Bernd Mahr, Sebastian Bab |
inT-Integration of Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software and Systems Modeling ![In: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday, pp. 204-219, 2005, Springer, 3-540-24936-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Elena V. Goncharova, Alexander I. Ovseevich |
Limit Shapes of Reachable Sets for Linear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing, 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers, pp. 231-238, 2005, Springer, 3-540-31994-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jordi Casademont, Ferran Perdrix, Martin Einhoff, Josep Paradells, Georg Dummer, Anne Boyer |
ELIN: A Framework to Deliver Media Content in an Efficient Way Based in MPEG Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 841-842, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Eliane Martins, Vanessa Gindri Vieira |
Regression Test Selection for Testable Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 453-470, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Mordechai Ben-Menachem, Garry S. Marliss |
Inventorying Information Technology Systems: Supporting the "Paradigm of Change". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(5), pp. 34-43, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
enterprise asset classes, IT portfolio managemen, asset management, software economics |
15 | Peter G. Neumann |
The big picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 47(9), pp. 112, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 264-264, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Beaumont, Arnaud Legrand, Loris Marchal, Yves Robert |
Pipelining Broadcasts on Heterogeneous Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann |
Modular Proof Systems for Partial Functions with Weak Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 168-182, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Noriyuki Kushiro, Yukio Ohsawa |
A Chance Discovery Process to Understanding Spiral Behaviors of Consumers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 807-814, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Boris A. Galitsky |
A Library of Behaviors: Implementing Commonsense Reasoning About Mental World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part III, pp. 307-313, 2004, Springer, 3-540-23205-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Josh Buresh-Oppenheim, Tsuyoshi Morioka |
Relativized NP Search Problems and Propositional Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA, pp. 54-67, 2004, IEEE Computer Society, 0-7695-2120-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Mathieu Ciet, Christophe Giraud 0001 |
Transient Fault Induction Attacks on XTR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security, 6th International Conference, ICICS 2004, Malaga, Spain, October 27-29, 2004, Proceedings, pp. 440-451, 2004, Springer, 3-540-23563-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
public-key system XTR, smart cards, countermeasures, Differential fault analysis |
15 | N. Venkateswaran 0002, C. Chandramouli |
General Purpose Processor Architecture for Modeling Stochastic Biological Neuronal Assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003, Proceedings, pp. 387-397, 2003, Springer, 3-540-00730-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Anton Riabov, Zhen Liu 0001, Joel L. Wolf, Philip S. Yu, Li Zhang 0002 |
New Algorithms for Content-Based Publication-Subscription Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 678-686, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam |
Testing Safety Critical Ada Code Using Non Real Time Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings, pp. 382-392, 2003, Springer, 3-540-40376-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Dag Normann |
Continuity, proof systems and the theory of transfinite computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(8), pp. 765-788, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Dag Normann |
Representation theorems for transfinite computability and definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 41(8), pp. 721-741, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Anton Riabov, Zhen Liu 0001, Joel L. Wolf, Philip S. Yu, Li Zhang 0002 |
Clustering Algorithms for Content-Based Publication-Subscription Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 133-142, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andrew P. Kosoresow, Matthew P. Johnson 0001 |
Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 344-355, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
genetic algorithms, Evolutionary algorithms, search, online algorithms, optimization algorithms |
15 | G. M. Germano, Stefano Mazzanti |
Non-Deterministic Closure Theory and Universal Arrows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 339-364, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
closure theory, reflection theory, universal arrows, non-deterministic programs, while-do commands |
15 | Ken Kaneiwa, Satoshi Tojo |
An Order-Sorted Resolution with Implicitly Negative Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 300-314, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Richard Rasala, Jeff Raab, Viera K. Proulx |
Java power tools: model software for teaching object-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2001, Charlotte, North Carolina, USA, 2001, pp. 297-301, 2001, ACM, 1-58113-329-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Java |
15 | Mihalis Psarakis, Antonis M. Paschalis, Nektarios Kranitis, Dimitris Gizopoulos, Yervant Zorian |
Robust and Low-Cost BIST Architectures for Sequential Fault Testing in Datapath Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 19th IEEE VLSI Test Symposium (VTS 2001), Test and Diagnosis in a Nanometric World, 29 April - 3 May 2001, Marina Del Rey, CA, USA, pp. 15-21, 2001, IEEE Computer Society, 0-7695-1122-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | David A. Duffy, Jürgen Giesl |
Closure Induction in a Z-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 471-490, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|