| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Colin Boyd, Willy Susilo (eds.) |
8th Australasian Information Security Conference 2010, AISC 2010, Brisbane, Australia, January 2010  |
AISC  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Simon R. Lang, Neville I. Williams |
Impeding CAPTCHA Breakers with Visual Decryption. |
AISC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Salahuddin Alfawaz, Karen Nelson, Kavoos Mohannak |
Information security culture: A Behaviour Compliance Conceptual Framework. |
AISC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hüseyin Hisil, Kenneth Koon-Ho Wong, Gary Carter, Ed Dawson |
Faster Group Operations on Elliptic Curves. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto |
Strong Designated Verifier Signature in a Multi-user Setting. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yu-Cheng Tu 0001, Clark D. Thomborson |
Preliminary Security Specification for New Zealand's igovt System. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Vicky Liu, Luis Franco, William J. Caelli, Lauren May, Tony Sahama |
Open and Trusted Information Systems/Health Informatics Access Control (OTHIS/HIAC). |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Masato Arai, Hidehiko Tanaka |
Proposal for Effective Information Flow Control Model for Sharing and Protecting Sensitive Information. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Routo Terada, Eduardo T. Ueda |
A New Version of the RC6 Algorithm, Stronger against χ2 Cryptanalysis. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Volker Fusenig, Eugen Staab, Uli Sorger, Thomas Engel 0001 |
Slotted Packet Counting Attacks on Anonymity Protocols. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Reza Z'aba, Håvard Raddum, Leonie Simpson, Ed Dawson, Matt Henricksen, Kenneth Koon-Ho Wong |
Algebraic Analysis of LEX. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ljiljana Brankovic, Willy Susilo (eds.) |
Seventh Australasian Information Security Conference, AISC 2009, Wellington, New Zealand, January 2009 |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Clark D. Thomborson |
Foundation for Systems Security. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gilbert Notoatmodjo, Clark D. Thomborson |
Passwords and Perceptions. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Baptiste Alcalde, Eric Dubois 0001, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic |
Towards a Decision Model Based on Trust and Security Risk Management. |
AISC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Samiha Ayed, Nora Cuppens-Boulahia, Frédéric Cuppens |
Deploying Access Control in Distributed Workflow. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mohammed Al Zomai, Bander AlFayyadh, Audun Jøsang, Adrian McCullagh |
An Experimental Investigation of the Usability of Transaction Authorization in Online Bank Security Systems. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Quan Pham, Jason Reid, Adrian McCullagh, Ed Dawson |
Commitment Issues in Delegation Process. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto |
ID-based One-pass Authenticated Key Establishment. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Suriadi Suriadi, Ernest Foo, Rong Du |
Layered Identity Infrastructure Model for Identity Meta Systems. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Audun Jøsang, Bander AlFayyadh |
Robust WYSIWYS: A Method for Ensuring that What You See Is What You Sign. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ljiljana Brankovic, Mirka Miller (eds.) |
Sixth Australasian Information Security Conference, AISC 2008, Wollongong, NSW, Australia, January 2008 |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Volker Fusenig, Dagmara Spiewak, Thomas Engel 0001 |
Acimn: A protocol for Anonymous Communication In Multi hop wireless networks. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Qiong Ren, Yi Mu 0001, Willy Susilo |
Mitigating Phishing with ID-based Online/Offline Authentication. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hani Alzaid, Ernest Foo, Juan Manuel González Nieto |
Secure Data Aggregation in Wireless Sensor Network: a survey. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Timo Wiander |
Implementing the ISO/IEC 17799 standard in practice - experiences on audit phases. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pino Caballero-Gil |
Current Topics in Security of Mobile Ad-hoc NETworks. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amparo Fúster-Sabater, Pino Caballero-Gil |
Linear Cellular Automata as Discrete Models for Generating Cryptographic Sequences. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alex Murray, Duncan A. Grove |
PULSE: a Pluggable User-space Linux Security Environment paper. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vijayakrishnan Pasupathinathan, Josef Pieprzyk, Huaxiong Wang |
Formal Security Analysis of Australian E-passport Implementation. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Eli Biham, Jennifer Seberry |
A New Very Fast Stream Cipher : Tpy. |
AISC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yongli Sun, Jianping Yu |
Implicitization of Rational Curves. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Songxin Liang, David J. Jeffrey |
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Complete discrimination system, complete root classification, root classification, parametric polynomial |
| 1 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Extension of First-Order Theories into Trees. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Ioan Sucan |
A Search Engine for Mathematical Formulae. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio |
Labeled @-Calculus: Formalism for Time-Concerned Human Factors. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Labeled @-calculus, time-concerned knowledge and belief, Shigaraki Kougen Railway accident |
| 1 | Weikun Sun, Hongbo Li 0012 |
On the Mixed Cayley-Sylvester Resultant Matrix. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Mixed Cayley-Sylvester resultant matrix, Cayley quotient, Sylvester dialytic, block structure |
| 1 | Jun Yan 0009, Jian Zhang 0001, Zhongxing Xu |
Finding Relations Among Linear Constraints. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Feinsilver, René Schott |
Operator Calculus Approach to Solving Analytic Systems. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjeh M. Cohen |
Interactive Mathematical Documents. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Shemyakova |
A Full System of Invariants for Third-Order Linear Partial Differential Operators. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Laplace invariants, partial differential operators, Maple |
| 1 | Heisuke Hironaka |
Algebra and Geometry. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong-Bin Li |
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
quasi-normal zero, algorithm CharSer, characteristic set, Triangular sets |
| 1 | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
Hierarchical Representations with Signatures for Large Expression Management. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Veiling Strategy, Zero Test, Large Expression Management, Symbolic LU Decomposition, Time Complexity, Signature, Hierarchical Representation |
| 1 | Sheng Liu, Jian Zhang 0001 |
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Yang, Bican Xia |
Quantifier Elimination for Quartics. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William McCune |
Semantic Guidance for Saturation Provers. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang 0001 |
Solving Dynamic Geometric Constraints Involving Inequalities. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Immanuel Normann |
Enhanced Theorem Reuse by Partial Theory Inclusions. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard |
The Confluence Problem for Flat TRSs. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
Flat, Term rewriting system, Confluence, Decision problem |
| 1 | Jacques Calmet, Tetsuo Ida, Dongming Wang 0001 (eds.) |
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
An Inductive Inference System and Its Rationality. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
inference, induction, Belief, rationality, refutation |
| 1 | Stefan Ratschan, Zhikun She |
Constraints for Continuous Reachability in the Verification of Hybrid Systems. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Minzlaff, Jacques Calmet |
A New Definition for Passivity and Its Relation to Coherence. |
AISC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei D. Miasnikov |
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger, John A. Campbell (eds.) |
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio 0001 |
Four Approaches to Automated Reasoning with Differential Algebraic Structures. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dolzmann, Lorenz A. Gilch |
Generic Hermitian Quantifier Elimination. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Rosenkranz |
The Algorithmization of Physics: Math Between Science and Engineering. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nao Hirokawa, Aart Middeldorp |
Polynomial Interpretations with Negative Coefficients. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Granvilliers, Mina Ouabiba |
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm |
| 1 | Temur Kutsia |
Solving Equations Involving Sequence Variables and Sequence Functions. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahat Khelfallah, Belaid Benhamou |
Two Revision Methods Based on Constraints: Application to a Flooding Problem. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
Linear constraints, Geographic information, Revision |
| 1 | David Déharbe, Abdessamad Imine, Silvio Ranise |
Abstraction-Driven Verification of Array Programs. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peep Küngas |
Abstraction Within Partial Deduction for Linear Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina |
Verified Computer Algebra in Acl2. Gröbner Bases Computation. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Stachniak |
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
Proving and Constraint Solving in Computational Origami. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Mechveliani |
From a Computer Algebra Library to a System with an Equational Prover. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
equational prover, term rewriting, computer algebra |
| 1 | Helmut Schwichtenberg |
Proof Search in Minimal Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Zhang 0001, Hantao Zhang 0001 |
Extending Finite Model Searching with Congruence Closure Computation. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Tveretina |
A Decision Procedure for Equality Logic with Uninterpreted Functions. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
equality logic with uninterpreted functions, DPLL procedure, satisfiability |
| 1 | Tom Kelsey, Steve Linton, Colva M. Roney-Dougal |
New Developments in Symmetry Breaking in Search Using Computational Group Theory. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christelle Scharff, Leo Bachmair |
On the Combination of Congruence Closure and Completion. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jørgen Villadsen |
A Paraconsistent Higher Order Logic. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Bundy |
Planning and Patching Proof. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Gottfried |
Singularities in Qualitative Reasoning. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías |
An Expert System on Detection, Evaluation and Treatment of Hypertension. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-bachir Menai |
An Evolutionary Local Search Method for Incremental Satisfiability. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
Incremental Satisfiability, Self-Organized Criticality, Stochastic Local Search, Extremal Optimization |
| 1 | Bruno Buchberger |
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Hunter |
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Topic. Symbolic Computations for Expert Systems and Machine Learning, Classification, Genetic Programming, Symbolic Regression, ROC Curves, Multiobjective Optimisation |
| 1 | Martin Charles Golumbic, Assaf Siani |
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Colton |
Making Conjectures about Maple Functions. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Bernhaupt, Jochen Pfalzgraf |
On Mathematical Modeling of Networks and Implementation Aspects. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, David J. Jeffrey |
The Wright omega Function. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Chetty |
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Smirnova |
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florina Piroi, Bruno Buchberger |
Focus Windows: A New Technique for Proof Presentation. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki |
Inductive Synthesis of Functional Programs. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Inductive program synthesis, recursive program schemes Topics: Symbolic computations and machine learning, term rewriting, folding |
| 1 | Eugene C. Freuder |
Constraint Acquisition. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beeson, Freek Wiedijk |
The Meaning of Infinity in Calculus and Computer Algebra Systems. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Colmerauer |
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ranise |
Combining Generic and Domain Specific Reasoning by Using Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Zimmer, Louise A. Dennis |
Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
| 1 | Sophie Loriette-Rougegrez |
From Numerical to Symbolic Data during the Recognition of Scenarii. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.) |
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license