Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yannick Chevalier, Michaël Rusinowitch |
Implementing Security Protocol Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 22-34, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Fedotov, Anton Khritankov |
Statistical Model Checking of Common Attack Scenarios on Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 65-77, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Schreiner, Franz-Xaver Reichl |
First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 99-113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mbarka Soualhia, Foutse Khomh, Sofiène Tahar |
Failure Analysis of Hadoop Schedulers using an Integration of Model Checking and Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 114-128, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
E-Cyclist: Implementation of an Efficient Validation of FOLID Cyclic Induction Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 129-135, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Symbolic Computation in Software Science: My Personal View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 1-13, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia (eds.) |
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Thibault Gauthier |
Learned Provability Likelihood for Tactical Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 78-85, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei |
Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 35-48, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Luis Berlioz |
ArGoT: A Glossary of Terms extracted from the arXiv. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 14-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
Querying RDF Databases with Sub-CONSTRUCTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 49-64, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dohan Kim 0001, Christopher Lynch |
Congruence Closure Modulo Permutation Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021., pp. 86-98, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida, Stephen M. Watt |
Origami folds in higher-dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 83-95, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hiba Ouni, Kais Klai, Chiheb Ameur Abid, Belhassen Zouari |
A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 107-119, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty |
Transforming Prefix-constrained or Controlled Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 49-62, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja |
Asynchronous testing of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 42-48, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula |
A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 120-132, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maha Boussabbeh, Mohamed Tounsi 0001, Ahmed Hadj Kacem, Mohamed Mosbah 0001 |
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 96-106, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula |
Automatic detection and correction of firewall misconfigurations- A formal approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 68-76, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula |
Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 77-82, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mosbah 0001, Michaël Rusinowitch (eds.) |
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![EasyChair The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Jon Haël Brenas, Rachid Echahed, Martin Strecker |
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 29-41, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jaweher Zouari, Mohamed Hamdi, Tai-Hoon Kim |
Private Profile Matching for Mobile Social Networks Based on Fuzzy Extractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 63-67, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Wolfgang Schreiner |
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 1-15, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Seyed H. Haeri, Sibylle Schupp |
Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia, pp. 16-28, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Youyou Cong, Kenichi Asai |
Implementing a stepper using delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 42-54, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuro Yamashita, Xavier Dahan |
Bit-size reduction of triangular sets in two and three variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 169-182, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 29-41, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Phil Scott, Jacques D. Fleuriot |
Compass-free Navigation of Mazes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 143-155, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Yukiyoshi Kameyama |
Automatic Staging via Partial Evaluation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 1-13, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mitsuhiro Kondo, Takuya Matsuo, Yoshihiro Mizoguchi, Hiroyuki Ochiai |
A Mathematica module for Conformal Geometric Algebra and Origami Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 68-80, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Temur Kutsia, Besik Dundua |
A rewrite-based computational model for functional logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 95-106, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Baudouin Le Charlier, Mêton Mêton Atindehou |
A Data Structure to Handle Large Sets of Equal Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 81-94, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Mathis, Pascal Schreck |
Determining automatically compass and straightedge unconstructibility in triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 130-142, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama |
Critical Pair Analysis in Nominal Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 156-168, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boutry, Gabriel Braun, Julien Narboux |
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 14-28, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Toshiaki Matsushima, Yoshihiro Mizoguchi, Alexandre Derouet-Jourdan |
Verification of a brick Wang tiling algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 107-116, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Seyed H. Haeri, Sibylle Schupp |
Expression Compatibility Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 55-67, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi |
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016, pp. 117-129, 2016, EasyChair. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Fadoua Ghourabi (eds.) |
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![EasyChair The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Anh-Dung Phan |
νZ - Maximal Satisfaction with Z3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 1-9, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Thomas Martin Gawlitza, Martin D. Schwarz |
Parametric Strategy Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 62-76, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Franzen, David Aspinall 0001 |
Towards an amortized type system for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 12-26, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia, Andrei Voronkov (eds.) |
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![EasyChair The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Marisa Navarro, Fernando Orejas |
A refutation procedure for proving satisfiability of constraint specifications on XML documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 47-61, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Lionel Mamane, Josef Urban |
Machine Learning of Coq Proof Guidance: First Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 27-34, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Martiny, Ralf Möller 0001 |
PDT Logic for Stream Reasoning in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 35-46, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William M. Farmer |
Meaning Formulas for Syntax-Based Mathematical Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014, pp. 10-11, 2014, EasyChair. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine (eds.) |
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi |
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 50-63, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
Decision Problems for Linear Recurrence Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 3, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li 0022 |
A Semantic Framework for Program Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 2, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazuko Takahashi, Shizuo Yoshimaru, Mizuki Goto |
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 93-107, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Luca Torella |
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 31-49, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Mathematics of 21st Century: A Personal View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 1, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Severin Neumann |
A modified parallel F4 algorithm for shared and distributed memory architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 70-80, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Róbert Vajda |
Lebesgue Constants and Optimal Node Systems via Symbolic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 125, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Parametric Exploration of Rewriting Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 4-18, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Temur Kutsia (eds.) |
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko |
Usage of Invariants for Symbolic Verification of Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 124, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matan Ziv-Av, Mikhail H. Klin |
Computer algebra investigation of known primitive triangle-free strongly regular graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 108-123, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Luca Torella |
Automatic Inference of Term Equivalence in Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 19-30, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano, Hideki Sakurada |
Automated Verification of Equivalence on Quantum Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 64-69, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria, pp. 81-92, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ryma Abassi, Sihem Guemara El Fatmi |
Delegation Management Modeling in a Security Policy based Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 85-95, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin, Pierre G. Paulin |
On the Verification of a WiMax Design Using Symbolic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 23-37, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naeem Abbasi, Osman Hasan, Sofiène Tahar |
Formal Analysis of Soft Errors using Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 75-84, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amira Henaien, Sorin Stratulat |
Performing Implicit Induction Reasoning with Certifying Proof Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 97-108, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch |
Compiling symbolic attacks to protocol implementation tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 39-49, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker |
Formal verification of a proof procedure for the description logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 51-61, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 63-73, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji |
A New PVSS Scheme with a Simple Encryption Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 11-22, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012., pp. 1-9, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tarek M. Sobh, Khaled M. Elleithy (eds.) |
Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![Springer, 978-90-481-9111-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anna Derezinska, Przemyslaw Oltarzewski |
Model-Driven Engineering Support for Building C# Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 449-454, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yousef Abofathi, Bager Zarei, Saeed Parsa |
Learning Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 207-211, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amala VijayaSelvi Rajan, Arumugam Siri Bavan, Geetha Abeysinghe |
Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 23-28, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ghulam Rasool 0002, Ilka Philippow |
Software Artifacts Extraction for Program Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 443-447, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Deniss Kumlander |
Contextual Semantic: A Context-aware Approach for Semantic Web Based Data Extraction from Scientific Articles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 241-244, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hongmei Wang |
PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS Communication of Spatial Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 45-50, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | S. Shervin Ostadzadeh, Mohammad Ali Nekoui |
A Petri-Nets Based Unified Modeling Approach for Zachman Framework Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 615-618, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zhengping Wu, Lifeng Wang |
Enforcement of Privacy Policies over Multiple Online Social Networks for Collaborative Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 583-588, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | O. N. Shalasiah, S. M. F. Rohani, H. Zulkifli |
Jawi Generator Software Using ARM Board Under Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 331-335, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marisa de Camargo Silveira, Brandon Link, Silvio Johann, Adolfo Alberto Vanti, Rafael Alejandro Espín Andrade |
Analysis of Strategic Maps for a Company in the Software Development Sector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 515-521, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hieu Nguyen Trung, Duy Nguyen, Tan Dang Cao |
Building Security System Based on Grid Computing To Convert and Store Media Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 255-258, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peng Ren 0002, Armando Barreto, Malek Adjouadi |
Multi-step EMG Classification Algorithm for Human-Computer Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 183-188, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Nada, Badie Sartawi |
The RDF Generator (RDFG) - First Unit in the Semantic Web Framework (SWF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 523-525, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Petra Maresová, M. Hedvicakova |
The State of Knowledge Management in Czech Companies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 161-166, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Félix A. Silva Júnior, Neander Furtado Silva |
Computational Shape Grammars and Non-Standardization: a Case Study on the City of Music of Rio de Janeiro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 623-625, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel G. Schwartz |
Formal Specifications for a Document Management Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 111-116, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erki Eessaar, Rünno Sgirka |
A SQL-Database Based Meta-CASE System and its Query Subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 57-62, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Popa 0001, A. S. Popa, Titus Slavici, D. Darvasi |
Mashup - Based End User Interface for Fleet Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 273-277, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | R. M. Bogza, Dorin Zaharie, Silvia Avasilcai, Laura Bacali |
Architecture Models and Data Flows in Local and Group Datawarehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 627-632, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Adam Piórkowski, Anna Pieta, A. Kowal, Tomasz Danek |
The Performance of Geothermal Field Modeling in Distributed Component Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 279-283, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jashua Rajesh Modapothala, Biju Issac 0001, E. Jayamani |
Appraising the Corporate Sustainability Reports - Text Mining and Multi-Discriminatory Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 489-494, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Izzat Mahmoud Alsmadi, Mahmoud Dieri |
Separation of Concerns in Teaching Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 29-38, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Redmond, Timothy Highley |
Empirical Analysis of Case-Editing Approaches for Numeric Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 79-84, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Piedrahita Ospina, Alcides Montoya Cañola, Demetrio Arturo Ovalle Carranza |
Performance Evaluation of an Intelligent Agents Based Model within Irregular WSN Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 571-576, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dongguang Li |
Analysis of Moment Invariants on Image Scaling and Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 415-419, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Augusto de Moraes Lourenço, Rafael Veras Guimarães, Nikolas Jorge S. Carneiro, Aruanda Simões Goncalves Meiguins, Bianchi Serique Meiguins |
Using Multiple Datasets in Information Visualization Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS ![In: Innovations in Computing Sciences and Software Engineering, Proceedings of the 2009 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 09), Bridgeport, Connecticut, USA, December 4-12, 2009, pp. 601-606, 2009, Springer, 978-90-481-9111-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|